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
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated synthesis of interface adapters for reusable classes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inheritance of interface specifications (extended abstract)
IDL '94 Proceedings of the workshop on Interface definition languages
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
NDHORM: an OO approach to requirements modeling
ACM SIGSOFT Software Engineering Notes
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Behavioural subtyping using invariants and constraints
Formal methods for distributed processing
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
From CSP-OZ to Java with Processes
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Formal methods and standards: an idiosyncratic view
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Verification of hardware interaction properties of software
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |