Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineering
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Object-oriented programming and software development: a critical assessment
Programming methodology
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems
| Hi-index | 0.00 |