Simulating the Behavior of Software Modules by Trace Rewriting
IEEE Transactions on Software Engineering
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
Functional documents for computer systems
Science of Computer Programming
ICSE '94 Proceedings of the 16th international conference on Software engineering
Tabular representations in relational documents
Relational methods in computer science
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Software fundamentals: collected papers by David L. Parnas
Software fundamentals: collected papers by David L. Parnas
On the design and development of program families
Software fundamentals
Inspection of safety-critical software using program-function tables
Software fundamentals
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Using assertions about traces to write abstract specifications for software modules
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
The modular structure of complex systems
ICSE '84 Proceedings of the 7th international conference on Software engineering
A procedure for designing abstract interfaces for device interface modules
ICSE '81 Proceedings of the 5th international conference on Software engineering
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
On a "buzzword": hierarchical structure
Software pioneers
Software engineering: multi-person development of multi-version programs
Dependable and Historic Computing
Hi-index | 0.00 |
Software Engineering is discussed as a branch of Engineering specialising in software intensive products. The process of developing good software is discussed and it is argued that writing programs, though obviously an essential step in the process, is only a small part of Software Engineering.