• Publications
  • Influence
Formal Modeling for Product Families Engineering
  • A. Fantechi, S. Gnesi
  • Computer Science, Mathematics
  • 12th International Software Product Line…
  • 8 September 2008
TLDR
In this paper we propose 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. Expand
  • 101
  • 16
  • PDF
Use case-based testing of product lines
TLDR
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). Expand
  • 83
  • 15
  • PDF
The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool
TLDR
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. Expand
  • 126
  • 11
PLUTO: A Test Methodology for Product Families
TLDR
We present a simple methodology we are developing for this purpose, called PLUTO, relying on the early requirements specification expressed as Use Cases. Expand
  • 89
  • 9
  • PDF
A model-checking verification environment for mobile processes
TLDR
This article presents a semantic-based environment for reasoning about the behavior of mobile systems that exploits a novel automata-like model that allows finite-state verification of systems specified in π-calculus. Expand
  • 81
  • 8
  • PDF
Web Service Composition Approaches: From Industrial Standards to Formal Methods
TLDR
We propose the use of formal models, and their tool support, to increase one's confidence in web service compositions. Expand
  • 158
  • 7
  • PDF
An automatic tool for the analysis of natural language requirements
TLDR
This paper presents a methodology and a tool (called QuARS Quality Analyzer for Requirement Specifications) for analyzing NL requirements in a systematic and automatic way. Expand
  • 142
  • 7
  • PDF
Model checking UML Statechart diagrams using JACK
TLDR
In this paper, we present a branching-time model-checking approach to the automatic verification of the formal correctness of UML Statechart diagram specifications. Expand
  • 90
  • 7
  • PDF
Formal Description of Variability in Product Families
TLDR
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 MHML interpreted in a deontic way over such MTSs. Expand
  • 100
  • 6
  • PDF
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
TLDR
A system is described which supports proofs of both behavioural and logical properties of concurrent systems; these are specified by means of a process algebra and its associated logics. Expand
  • 61
  • 6
...
1
2
3
4
5
...