Prototyping versus specifying: a multiproject experiment
IEEE Transactions on Software Engineering
Software Engineering Journal - Controlling software projects
Datamation
Datamation
IEEE Transactions on Software Engineering
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Evaluation of competing software reliability predictions
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
NewSpeak: an unexceptional language
Software Engineering Journal - Special issue on programming languages
Gandalf: software development environments
IEEE Transactions on Software Engineering
Communications of the ACM
Formal specification- a comparison of two techniques
The Computer Journal
Cleanroom Software Development: An Empirical Evaluation
IEEE Transactions on Software Engineering
An alternative prototyping classification
The Computer Journal
A critique of cyclomatic complexity as a software metric
Software Engineering Journal
Program verification: the very idea
Communications of the ACM
A field study of the software design process for large systems
Communications of the ACM
A Strategy for Comparing Alternative Software Development Life Cycle Models
IEEE Transactions on Software Engineering
The psychology of computer programming
The psychology of computer programming
Introduction to special section on software testing
Communications of the ACM
The growth of software testing
Communications of the ACM
The Case for Electric Design of Real-Time Software
IEEE Transactions on Software Engineering
Is Ada too big? A designer answers the critics
Communications of the ACM
Conceptual Modeling of Coincident Failures in Multiversion Software
IEEE Transactions on Software Engineering
Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
A survey of exploratory software development
The Computer Journal - Special issue on methodologies (systems and software)
Software aspects of strategic defense systems
Computerization and controversy
The complexity of software testing
Software Engineering Journal
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Communications of the ACM
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
The operational versus the conventional approach to software development
Communications of the ACM
Prototyping interactive information systems
Communications of the ACM
The ACM position on standardization of the Ada language
Communications of the ACM
Scaling down Ada (or towards a standard Ada subset)
Communications of the ACM
Program developments: formal explanations of implementations
Communications of the ACM
ACM president's letter: throwaway programs
Communications of the ACM
Communications of the ACM
Social processes and proofs of theorems and programs
Communications of the ACM
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
The programmer's workbench—a machine for software development
Communications of the ACM
A very high level programming language for data processing applications
Communications of the ACM
The new math of computer programming
Communications of the ACM
Communications of the ACM
A simple technique for representing strings Fortran IV
Communications of the ACM
A genealogy of control structures
Communications of the ACM
Programming languages, natural languages, and mathematics
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Programming systems and languages 1965-1975
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A reply to the criticisms of the Knight & Leveson experiment
ACM SIGSOFT Software Engineering Notes
A comparison of object-oriented and structured development methods
ACM SIGSOFT Software Engineering Notes
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
A Discipline of Programming
Computer Systems Development: History Organization and Implementation
Computer Systems Development: History Organization and Implementation
Tailoring SQA to Fit Your Own Life Cycle
IEEE Software
A Compositional Approach to Multiparadigm Programming
IEEE Software
IEEE Software
IEEE Software
Toward Objective, Systematic Design-Method Comparisons
IEEE Software
Software Help Wanted: Revolutionary Thinkers
IEEE Software
Measuring Dynamic Program Complexity
IEEE Software
Has the Exploratory Approach Come of Age?
IEEE Software
Lessons Learned in Building a Corporate Metrics Program
IEEE Software
Guest Editor's Introduction: Formal Methods in Software Engineering
IEEE Transactions on Software Engineering
Providing Customized Assistance for Software Lifecycle Approaches
IEEE Transactions on Software Engineering
ACM '72 Proceedings of the ACM annual conference - Volume 2
A cognitively-based methodology for designing languages/environments/methodologies
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
Correctness concerns and, among other things, why they are resented
Proceedings of the international conference on Reliable software
A critique of the DOD common language effort
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The Cornell Program Synthesizer: a syntax-directed programming environment
ACM SIGPLAN Notices
On the use of the cyclomatic number to measure program complexity
ACM SIGPLAN Notices
An extension to the cyclomatic measure of program complexity
ACM SIGPLAN Notices
In defense of program testing or correctness proofs considered harmful
ACM SIGPLAN Notices
Can structured programs be efficient?
ACM SIGPLAN Notices
Some comments on structured Fortran
ACM SIGPLAN Notices
ACM SIGPLAN Notices
"Structured programming" considered harmful
ACM SIGPLAN Notices
Comments on mathematical overkill
ACM SIGPLAN Notices
Relationships among computational, software, and intuitive complexity
ACM SIGPLAN Notices
On a political pamphlet from the middle ages
ACM SIGSOFT Software Engineering Notes
Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis
ACM SIGSOFT Software Engineering Notes
On Dijkstra's position paper on software reliability
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Life cycle concept considered harmful
ACM SIGSOFT Software Engineering Notes
Stop the life-cycle, I want to get off
ACM SIGSOFT Software Engineering Notes
The life cycle: a debate over alternate models
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
A comparison of design methodologies
ACM SIGSOFT Software Engineering Notes
Another view of the Dijkstra-dMLP controversy
ACM SIGSOFT Software Engineering Notes
Letter on Parker's "design methodologies: a comparison"
ACM SIGSOFT Software Engineering Notes
The Ada language and environment
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Principles of Program Design
Programming Languages: History and Fundamentals
Programming Languages: History and Fundamentals
Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 Oct. 1969, Brussels, Scientific Affairs Division, NATO
Communications of the ACM
The MultiMedia Maintenance Management (M4) System
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
A new calibration for Function Point complexity weights
Information and Software Technology
Updating weight values for function point counting
International Journal of Hybrid Intelligent Systems
OAP: toward a process for an open world
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
The synthesis stage in the software agent development process
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Hi-index | 0.02 |
For the last quarter of a century, software technologists have worked to address the “software crisis” identified in the 1960s. Their efforts have focused on a number of different areas, but have often been marked by the search for singular “best” solutions. However, the fundamental nature of software-involving basic and poorly understood problem solving processes combined with unprecedented and multifaceted complexity-weighs heavily against the utility of singular approaches. Examination of the discourse of software technologists in a number of key professional and trade journals over the last 25 years illuminates various disputes central to the development of software engineering and highlights the necessity of a more pluralistic mind set revolving around synthesis and trade-offs