Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Automated abstraction of class diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
Automatic Synthesis of Agent Designs in UML
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Representing Embedded System Sequence Diagrams as a Formal Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Automated Prototyping of User Interfaces Based on UML Scenarios
Automated Software Engineering
Synthesis of system state models
ACM SIGPLAN Notices
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
The application of use cases in systems analysis and design specification
Information and Software Technology
User interface prototyping based on UML scenarios and high-level Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming
Modeling of IMS call flows: load estimation for core network components
Journal of Mobile Multimedia
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
Hi-index | 0.00 |