Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
UCSIM: A Tool for Simulating Use Case Scenarios
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Specifying Use Case Sequencing Constraints Using Description Elements
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Executable misuse cases for modeling security concerns
Proceedings of the 30th international conference on Software engineering
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Improving model checking with context modelling
Advances in Software Engineering
Hi-index | 0.00 |
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and learning but is a barrier to automated methods for test case generation, validation or simulation. This paper presents use case charts, a precise way of specifying use cases that aims to retain the benefits of easy understanding but also supports automated analysis. The graphical and abstract syntax of use case charts are given, along with a sketch of their formal semantics.