Specification of synchronous sequential circuits using SDL and ObjectGEODE
Computer Standards & Interfaces
An automated approach to specification animation for validation
Journal of Systems and Software
A metamodel for federation architectures
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Transformation and Verification of Executable UML Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Scenario-based Specifications using Templates
Electronic Notes in Theoretical Computer Science (ENTCS)
SDL'03 Proceedings of the 11th international conference on System design
Why timed sequence diagrams require three-event semantics
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
A framework for pathologies of message sequence charts
Information and Software Technology
| Hi-index | 0.00 |