Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Mixed Formal Specifications with PVS
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Formal Specification and Proof Techniques for Mixed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A temporal approach to specification and verification of pointer data-structures
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation)
Proceedings of the 2010 ACM Symposium on Applied Computing
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
Architectural specifications for reactive systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
DO-Casl: an observer-based casl extension for dynamic specifications
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |