On the criteria to be used in decomposing systems into modules
Communications of the ACM
Managing a Programming Project, 2nd Ed.
Managing a Programming Project, 2nd Ed.
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Data Processing, 1980-85
Program Development Process: The Individual Programmer
Program Development Process: The Individual Programmer
Data Processing Project Management
Data Processing Project Management
Elements of Programming Style
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The Software Development System
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Software requirements: Are they really a problem?
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A requirements engineering methodology for real-time processing requirements
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An extendable approach to computer-aided software requirements engineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Quantitative evaluation of software quality
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Managing the development of reliable software
Proceedings of the international conference on Reliable software
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
A methodology for verifying programs
Proceedings of the international conference on Reliable software
A new approach to program testing
Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
The influence of software structure on reliability
Proceedings of the international conference on Reliable software
Software design validation tool
Proceedings of the international conference on Reliable software
Testing for software reliability
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Toward a theoretical basis for estimating programming effort
ACM '75 Proceedings of the 1975 annual conference
A verified program-verifier.
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Principles of Program Design
Reliable software through composite design
Reliable software through composite design
Chapter I: Notes on structured programming
Structured programming
Chapter II: Notes on data structuring
Structured programming
Computer
The Cost of Developing Large-Scale Software
IEEE Transactions on Computers
An Analysis of Some Commercial PL/I Programs
IEEE Transactions on Software Engineering
Higher Order Software A Methodology for Defining Software
IEEE Transactions on Software Engineering
PDL: a tool for software design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Understanding software through empirical reliability analysis
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
IBM Systems Journal
The use of object-oriented models in requirements engineering: a field study
ICIS '99 Proceedings of the 20th international conference on Information Systems
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
The MultiMedia Maintenance Management (M4) System
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
A Methodological Framework for Understanding IS Adaptation through Enterprise Change1
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A Taxonomy of Recursive Relationships and Their Structural Validity in ER Modeling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
SoftTrak: an industrial case study
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Exploring the neighborhood with dora to expedite software maintenance
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Requirements engineering: In search of the dependent variables
Information and Software Technology
Scenario support for effective requirements
Information and Software Technology
Developing natural language-based program analyses and tools to expedite software maintenance
Companion of the 30th international conference on Software engineering
Object-oriented system development in a banking project: methodology, experience, and conclusions
Human-Computer Interaction
Productivity in software maintenance
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Organizational issues of effective maintenance management
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Improving design-pattern identification: a new approach and an exploratory study
Software Quality Control
A quantitative assessment of requirements engineering publications-1963-2006
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
What role has scandinavian IS tradition in egovernment implementations
EGOV'06 Proceedings of the 5th international conference on Electronic Government
Formal concept analysis used for software analysis and modelling
Formal Concept Analysis
Abstract interpretation-based verification of non-functional requirements
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Empowering end-users: a pattern-centered groupware development process
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
Content engineering: bridging the gap between content creation and consumption
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Rigorous Methods for Software Construction and Analysis
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
International Journal of Information Management: The Journal for Information Professionals
Prediction of software failures
Journal of Systems and Software
Measuring the quality of structured designs
Journal of Systems and Software
Seven basic principles of software engineering
Journal of Systems and Software
Software requirements and specifications: A survey of needs and languages
Journal of Systems and Software
How do professional developers comprehend software?
Proceedings of the 34th International Conference on Software Engineering
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
Best Practices in Software Maintenance Projects
International Journal of IT/Business Alignment and Governance
Vendors' incentives to invest in software quality in enterprise systems
Decision Support Systems
Topology analysis of software dependencies
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 14.98 |
This paper provides a definition of the term "software engineering" and a survey of the current state of the art and likely future trends in the field. The survey covers the technology available in the various phases of the software life cycle requirements engineering, design, coding, test, and maintenance and in the overall area of software management and integrated technology-management approaches. It is oriented primarily toward discussing the domain of applicability of techniques (where and when they work), rather than how they work in detail. To cover the latter, an extensive set of 104 references is provided.