Program evolution: processes of software change
Program evolution: processes of software change
Specification of computer programs
Specification of computer programs
Program verification: the very idea
Communications of the ACM
Development methods for trusted computer systems
Formal Aspects of Computing
Uncertainty in computer application and its control through the engineering of software
Journal of Software Maintenance: Research and Practice
Software aspects of strategic defense systems
Communications of the ACM
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Social processes and proofs of theorems and programs
Communications of the ACM
Communications of the ACM
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Programming Methodology: A Collection of Articles by Members of IFIP WG 2.3
Programming Methodology: A Collection of Articles by Members of IFIP WG 2.3
Another look at software design methodology
ACM SIGSOFT Software Engineering Notes
Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968, Brussels, Scientific Affairs Division, NATO
Towards management of software as assets: A literature review with additional sources
Information and Software Technology
| Hi-index | 48.22 |