A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A problem-oriented analysis of basic UML static requirements modeling concepts
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
A Formal Analysis of the CORBA Security Service
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Domain-specific Semantics and Data Refinement of Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
Object orientation without extending Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An object-oriented structuring for z based on views
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Mapping object diagrams into B specifications
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |