Inference of message sequence charts
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
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Automated Support for Modeling OO Software
IEEE Software
Animation and presentation tools for object-oriented design
Nordic Journal of Computing
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Towards an Abstract Language for Dynamic Modeling in Object-Oriented Design
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Telecommunications Systems - Modeling, analysis, design and management
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Synthesis of system state models
ACM SIGPLAN Notices
Controller Synthesis from LSC Requirements
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
An approach for generating state machine designs from scenarios
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting use case based requirements engineering
Information and Software Technology
Patterns for monitoring scenarios to handle state based crosscutting concerns
Proceedings of the 15th Conference on Pattern Languages of Programs
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
Scenarios and techniques for choreography design
BIS'07 Proceedings of the 10th international conference on Business information systems
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Towards a framework for estimating system NFRs on behavioral models
Knowledge-Based Systems
Composition of use cases using synchronization and model checking
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Synthesis of distributed processes from scenario-based specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Using sequence diagrams to specify and to generate RTL assertions
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Hi-index | 0.00 |