Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
State-based approaches: from Z to object-Z
Formal methods for distributed processing
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
A Weakest Precondition Semantics for Refinement of Object-Oriented Programs
IEEE Transactions on Software Engineering
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Forward engineering and UML: from UML static models to Eiffel code
UML and the unified process
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
Config: a case study in combining software engineering techniques
Scientific Programming
Refactoring Real-time Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing Objects through Refinement
FM '08 Proceedings of the 15th international symposium on Formal Methods
A Minimal Set of Refactoring Rules for Object-Z
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Static Class Elements for Object-Z
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Towards the formalisation of object-oriented methodologies
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Derivation of UML class diagrams as static views of formal b developments
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
Property preserving redesign of specifications
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Development of concurrent systems in B AMN
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A Use Case Interpretation of B AMN
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Object-oriented operations have two parts
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A formal theory for the views-a relationship
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Methods integration: time for reflection (and reorientation?)
Methods'96 Proceedings of the 1996 international conference on Methods Integration
The impact of class model redesign on state machines
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Hi-index | 0.00 |