Mapping a functional specification to an object-oriented specification in software re-engineering
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
Two-dimensional software development model combining object-oriented method with formal method
ACM SIGSOFT Software Engineering Notes
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formalizing GDMO Action and NotificationDefinitions — Results from a Case Study
Journal of Network and Systems Management
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Metamorphic development of a GUI for configuration management
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Verification and Validation Techniques of Object-Oriented Software Systems
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Extending Z with State Transition Constraints
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Object orientation without extending Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
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
| Hi-index | 0.00 |