Share This Author
Formal Modeling for Product Families Engineering
This paper proposes a behavioural model, namely the generalized extended modal transition systems, as a basis for the formalization of different notions of variability usually present in product families definitions, and compared with previous proposals also based on labelled transition systems.
Use case-based testing of product lines
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs), based on the Category Partition method.
The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool
- F. Fabbrini, M. Fusani, S. Gnesi, G. Lami
- Computer ScienceProceedings 26th Annual NASA Goddard Software…
- 27 November 2001
The paper presents a methodology for the analysis of natural language requirements based on a quality model addressing a relevant part of the interpretation problems that can be approached at linguistic level.
An automatic tool for the analysis of natural language requirements
A methodology and a tool (called QuARS Quality Analyzer for Requirement Specifications) for analyzing NL requirements in a systematic and automatic way and able to partially support the consistency and completeness analysis by clustering the requirements according to specific topics.
PLUTO: A Test Methodology for Product Families
A simple methodology for derivation of test cases for product families is outlined, called PLUTO, relying on the early requirements specification expressed as Use Cases, which is focused here on test planning.
A model-checking verification environment for mobile processes
A semantic-based environment for reasoning about the behavior of mobile systems using a novel automata-like model that allows finite-state verification of systems specified in the π-calculus is presented.
Web Service Composition Approaches: From Industrial Standards to Formal Methods
- M. Beek, A. Bucchiarone, S. Gnesi
- Computer ScienceSecond International Conference on Internet and…
- 13 May 2007
This paper advocates the use of formal models, and their tool support, to increase one's confidence in web service compositions and can assist web service composition designers and developers to deliver lasting solutions, in concordance with the technology's critical needs.
Model checking UML Statechart diagrams using JACK
- S. Gnesi, D. Latella, M. Massink
- Computer ScienceProceedings 4th IEEE International Symposium on…
- 17 November 1999
This paper uses a formal operational semantics for building a labelled transition system (automaton) which is used as a model to be checked against correctness requirements expressed in Action-Based Temporal Logic (ACTL).
Formal Description of Variability in Product Families
- P. Asirelli, M. Beek, S. Gnesi, A. Fantechi
- Philosophy15th International Software Product Line…
- 22 August 2011
We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic…
An Automatic Quality Evaluation for Natural Language Requirements
This paper presents a tool called QuARS (Quality Analyzer of Requirements Specification) for the analysis of natural language software requirements based on a special Quality Model for software requirements.