Three logics for branching bisimulation
Journal of the ACM (JACM)
Analysis of a scheduler for a CAD framework
Proceedings of the 21st international conference on Software engineering
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Formal Specifications of User Requirements
Automated Software Engineering
Building Tools for LOTOS Symbolic Semantics in Maude
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Model-Based Service Creation in the Friends Project
PROMS 2001 Proceedings of the 6th International Conference on Protocols for Multimedia Systems
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Locating crosscutting concerns in the formal specification of distributed reactive systems
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Abstract Interactions and Interaction Refinement in Model-Driven Design
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
Requirements traceability in model-driven development: Applying model and transformation conformance
Information Systems Frontiers
Tracing integration analysis in component-based formal specifications
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Hi-index | 0.00 |