Statecharts: A visual formalism for complex systems
Science of Computer Programming
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
From use cases to code - rigorous software development with UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
SOFA/DCUP: Architecture for Component Trading and Dynamic Updating
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Bounding Component Behavior via Protocols
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Testable Use Cases in the Abstract State Machine Language
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Getting 'Whole Picture' Behavior In A Use Case Model
Journal of Integrated Design & Process Science
Modelling recursive calls with UML state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
On the extension of UML with use case maps concepts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Dealing with Active and Stateful Services in the Service-Oriented Architecture
Service-Oriented Computing - ICSOC 2007 Workshops
Towards Compositional Verification in MEDISTAM-RT Methodological Framework
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Automated Encapsulation of UML Activities for Incremental Development and Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Automatic generation of compatible interfaces from partitioned UML activities
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Views on behaviour protocols and their semantic foundation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Contracts for multi-instance UML activities
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A model-driven framework for component-based development
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
| Hi-index | 0.00 |