Program development by stepwise refinement
Communications of the ACM
Chapter I: Notes on structured programming
Structured programming
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
Towards a Unified Programming Language
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Proposals for ALGOL H - A Superlanguage of ALGOL 68
ALGOL Bulletin
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Classics in software engineering
Programming Languages The First 25 Years
IEEE Transactions on Computers
IEEE Transactions on Computers
Abstractness, specificity, and complexity in software design
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
A programming aid for structured programmers
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
A mode analyzing algebraic manipulation program
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Structured control in programming languages
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Top-down programming of an interactive cardiac pathology data system
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Formal fundamentals of component interoperability in programming
Cybernetics and Systems Analysis
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
Teaching UML is teaching software engineering is teaching abstraction
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Computer Languages
| Hi-index | 0.01 |