The representation of policies as system objects
COCS '91 Proceedings of the conference on Organizational computing systems
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Formalizing Object-Oriented Models in the Object Calculus
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
From Implicit Specifications to Explicit Designs in Reactive System Development
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Software Package Requirements and Procurement
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Object-Oriented specification composition and refinement via category theoretic computations
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A formal approach to design patterns in Re-engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |