Forcing behavioral subtyping through specification inheritance
Proceedings of the 18th international conference on Software engineering
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
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
IEEE Transactions on Software Engineering
Data groups: specifying the modification of extended state
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Requirements and Specification Exemplars
Automated Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Recursive object types in a logic of object-oriented programs
Nordic Journal of Computing
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
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
Liberating Object-Oriented Modeling from Programming-Level Abstractions
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Language Independent Container Specification
Selected Papers from the International Seminar on Generic Programming
Generic Facilities in Object-Oriented ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Paradigm shift in software re-engineering: an experience report
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
| Hi-index | 0.00 |