Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Realizability and Verification of MSC Graphs
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Matching Specifications for Message Sequence Charts
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
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
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Behavioral Model Composition: a Non Functional Requirements Driven Approach
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Can i execute my scenario in your net? viptool tells you!
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Executable requirements specifications using triggered message sequence charts
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
MSCAN: a tool for analyzing MSC specifications
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |