Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
Inheritance of interface specifications (extended abstract)
IDL '94 Proceedings of the workshop on Interface definition languages
An extensible program representation for object-oriented software
ACM SIGPLAN Notices
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Extending Z with State Transition Constraints
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Hi-index | 0.00 |