Strategic computing at DARPA: overview and assessment
Communications of the ACM
Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Building expert systems
The Department of Defense software initiative—a status report
Communications of the ACM
Certifying the reliability of software
IEEE Transactions on Software Engineering
Software engineering concepts
Defining the boundaries of computing across complex organizations
Critical issues in information systems research
The Soviet Bloc's Unified System of Computers
ACM Computing Surveys (CSUR)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Validation of Scientific Programs
ACM Computing Surveys (CSUR)
Program Transformation Systems
ACM Computing Surveys (CSUR)
ACM SIGCAS Computers and Society
Software Engineering
Software and Its Development
Software Verification and Validation: Realistic Project Approaches
Software Verification and Validation: Realistic Project Approaches
Software Engineering Economics
Software Engineering Economics
Art of Software Testing
Softwear Reliability
Interactive Programming Environments
Interactive Programming Environments
The Correctness Problem in Computer Science
The Correctness Problem in Computer Science
The modular structure of complex systems
ICSE '84 Proceedings of the 7th international conference on Software engineering
Reflections on the verification of the security of an operating system kernel
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Vulnerabilities of network control protocols: an example
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Software Technology for Adaptable, Reliable Systems (STARS) program strategy
ACM SIGSOFT Software Engineering Notes
From defects to failures: a view of dependable computing
ACM SIGARCH Computer Architecture News - Special Issue: Architectural Support for Operating Systems
An Ada-based software engineering course
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Computing, research, and war: if knowledge is power, where is responsibility?
Communications of the ACM
A first step towards an evaluation framework taxonomy
ACM SIGOIS Bulletin
Communications of the ACM
Integrating views on ethical behavior for computer professionals in an interdisciplinary environment
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
| Hi-index | 48.25 |
Given the devastating consequences of nuclear war, it is appropriate to look at current and planned uses of computers in nuclear weapons command and control systems, and to examine whether these systems can fulfill their intended roles.