Synthesizing hierarchical state machines from expressive scenario descriptions

J Whittle, PK Jayaraman - ACM Transactions on Software Engineering …, 2010 - dl.acm.org
There are many examples in the literature of algorithms for synthesizing state machines from
scenario-based models. The motivation for these is to automate the transition from scenario …

Complementary use case scenario representations based on domain vocabularies

M Śmiałek, J Bojarski, W Nowakowski… - … Languages and Systems …, 2007 - Springer
Use cases are commonly used as notation for capturing functional requirements through
scenarios. The problem is that there is no universal notation for use case contents which is …

Specifying precise use cases with use case charts

J Whittle - International Conference on Model Driven Engineering …, 2005 - Springer
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 …

[PDF][PDF] Use Case Specification Using the SILABREQ Domain Specific Language.

D Savic, S Vlajic, S Lazarevic, I Antovic… - Comput …, 2015 - cai.type.sk
The software requirements engineering process is a part of a software development process
and one of the key processes in software development. The elicitation, analysis …

Use case specification at different levels of abstraction

D Savic, AR da Silva, S Vlajic… - … Conference on the …, 2012 - ieeexplore.ieee.org
Use cases are narrative description of interactions between users and a software system.
They are primary used to specify functional system requirements. Despite the fact that use …

Requirements-level language and tools for capturing software system essence

W Nowakowski, M Śmiałek… - Computer Science …, 2013 - doiserbia.nb.rs
Creation of an unambiguous requirements specification with precise domain vocabulary is
crucial for capturing the essence of any software system, either when develo** a new …

Language for use case specification

D Savic, I Antovic, S Vlajic… - 2011 IEEE 34th …, 2011 - ieeexplore.ieee.org
The software requirements engineering (RE) process is one of the key processes in software
development. The aim of requirements engineering process is capturing, understanding and …

Precise specification of use case scenarios

J Whittle - … Conference on Fundamental Approaches to Software …, 2007 - Springer
Despite attempts to formalize the semantics of use cases, they remain an informal notation.
The informality of use cases is both a blessing and a curse. Whilst it admits an easy learning …

Scenario construction tool based on extended UML metamodel

M Śmiałek, J Bojarski, W Nowakowski… - Model Driven Engineering …, 2005 - Springer
Scenario based notations are becoming more and more popular as means for user
requirements elicitation. They can be used in more formal specifications as part of detailed …

From Requirements to Java in a Snap

M Śmiałek, W Nowakowski - Model-Driven Requirements Engineering in …, 2015 - Springer
Back in 1988, Gerald M. Weinberg, in his seminal book “Understanding the Professional
Programmer”[180] has formulated the following statement:“… programming computers is by …