Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
ACM SIGSOFT Software Engineering Notes
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
A hierarchy of communication models for message sequence charts
Science of Computer Programming
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Shared Variables Interaction Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Reconciling scenario-centered controller design with state-based system models
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
From scenarios to aspects: exploring product lines
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Model-based run-time monitoring of end-to-end deadlines
Proceedings of the 5th ACM international conference on Embedded software
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Efficient exploration of service-oriented architectures using aspects
Proceedings of the 28th international conference on Software engineering
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
Automating software architecture exploration with M2Aspects
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Infinite-state high-level MSCs: Model-checking and realizability
Journal of Computer and System Sciences
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Service-Oriented Blueprint for COTS Integration: the Hidden Part of the Iceberg
IWICSS '07 Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques
Aspect-oriented modeling approach to define routing in enterprise service bus architectures
Proceedings of the 2008 international workshop on Models in software engineering
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Proceedings of the 10th annual conference on Genetic and evolutionary computation
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
A General Approach for Scenario Integration
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
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
Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Polymorphic Scenario-Based Specification Models: Semantics and Applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Combining Sequence Diagrams and OCL for Liveness
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based code generation for HLA federates
Software—Practice & Experience
Activity-driven synthesis of state machines
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
S2A: a compiler for multi-modal UML sequence diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Capturing overlapping, triggered, and preemptive collaborations using MSCs
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Replaying play in and play out: synthesis of design models from scenarios by learning
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Applying service-oriented development to complex systems: BART case study
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Runtime verification of interactions: from MSCs to aspects
RV'07 Proceedings of the 7th international conference on Runtime verification
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling of IMS call flows: load estimation for core network components
Journal of Mobile Multimedia
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Synthesizing state-machine behaviour from UML collaborations and use case maps
SDL'05 Proceedings of the 12th international conference on Model Driven
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Applying story driven modeling to the paderborn shuttle system case study
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Pattern synthesis from multiple scenarios for parameterized real-time UML models
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Control flow analysis of UML 2.0 sequence diagrams
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
On the power of play-out for scenario-based programs
Concurrency, Compositionality, and Correctness
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
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
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
A framework for pathologies of message sequence charts
Information and Software Technology
Assume-guarantee scenarios: semantics and synthesis
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Counter play-out: executing unrealizable scenario-based specifications
Proceedings of the 2013 International Conference on Software Engineering
Analyzing the scalability of a social network of agents
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Hi-index | 0.00 |