Optimol: automatic online picture collection via incremental model learning
The explosion of the Internet provides us with a tremendous resource of images shared
online. It also confronts vision researchers the problem of finding effective methods to …
online. It also confronts vision researchers the problem of finding effective methods to …
Inference of message sequence charts
Software designers draw Message Sequence Charts for early modeling of the individual
behaviors they expect from the concurrent system under design. Can they be sure that …
behaviors they expect from the concurrent system under design. Can they be sure that …
Synthesis of behavioral models from scenarios
Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as
part of a requirements specification. A scenario is a partial story, describing how system …
part of a requirements specification. A scenario is a partial story, describing how system …
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
Behavior modeling has proved to be successful in helping uncover design flaws of
concurrent and distributed systems. Nevertheless, it has not had a widespread impact on …
concurrent and distributed systems. Nevertheless, it has not had a widespread impact on …
Realizability and verification of MSC graphs
Scenario-based specifications such as message sequence charts (MSC) offer an intuitive
and visual way to describe design requirements. MSC-graphs allow convenient expression …
and visual way to describe design requirements. MSC-graphs allow convenient expression …
An evaluation of scenario notations and construction approaches for telecommunication systems development
D Amyot, A Eberlein - Telecommunication Systems, 2003 - Springer
The elicitation, modeling and analysis of requirements have consistently been one of the
main challenges during the development of complex systems. Telecommunication systems …
main challenges during the development of complex systems. Telecommunication systems …
Realizability and verification of MSC graphs
Scenario-based specifications such as message sequence charts (MSC) offer an intuitive
and visual way of describing design requirements. MSC-graphs allow convenient …
and visual way of describing design requirements. MSC-graphs allow convenient …
Monitoring and control in scenario-based requirements analysis
Scenarios are an effective means for eliciting, validating and documenting requirements. At
the requirements level, scenarios describe sequences of interactions between the software …
the requirements level, scenarios describe sequences of interactions between the software …
Multiple instances and symbolic variables in executable sequence charts
We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams,
and provide the extension with an executable semantics. The extension involves support for …
and provide the extension with an executable semantics. The extension involves support for …
Detecting implied scenarios analyzing non-local branching choices
H Muccini - Fundamental Approaches to Software Engineering: 6th …, 2003 - Springer
Scenarios are powerful tools to model and analyze software systems. However, since they
do not provide a complete description of the system, but just some possible execution paths …
do not provide a complete description of the system, but just some possible execution paths …