Communicating sequential processes
Communicating sequential processes
IEEE Transactions on Software Engineering
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object oriented programming: an evolutionary approach
Object oriented programming: an evolutionary approach
Toward a general object-oriented software development methodology
ACM SIGAda Ada Letters
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
Using VDM in an object-oriented development method for Ada software
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Simulating inheritance with Ada
ACM SIGAda Ada Letters
Object-oriented development for Ada
ACM SIGSOFT Software Engineering Notes
Structuring for the VDM specification language
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Transformation of data flow analysis models to object oriented design
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Communication and concurrency
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
Object-oriented analysis
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
A comparison of object-oriented and structured development methods
ACM SIGSOFT Software Engineering Notes
Functional Programming for Loosely-Coupled Multiprocessors
Functional Programming for Loosely-Coupled Multiprocessors
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Proceedings of the Europe Symposium on VDM - The Way Ahead
VDM '88 Proceedings of the Europe Symposium on VDM - The Way Ahead
FACILE: A Symmetric Integration of Concurrent and Functional Programming
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages
Structured Analysis and System Specification
Structured Analysis and System Specification
Hi-index | 0.02 |