BibSonomy :: author  ::

bookmarks

publications

(88)

• Product Line Use Cases: Scenario-Based Specification and Testing of Requirements
  Antonia Bertolino and Alessandro Fantechi and Stefania Gnesi and Giuseppe Lami Software Product Lines - Research Issues in Engineering and Management 425--445 (2006)
  to PLUC PLUTO cases line product requirements scenario-based specification testing use by ist_spl on 2008-09-30 16:10:38
  | URL | BibTeX  
• An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
  Maurice H. ter Beek and Alessandro Fantechi and Stefania Gnesi and Franco Mazzanti FMICS 133-148 (2007)
  to dblp by dblp on 2008-06-24 00:00:00
  | URL | BibTeX  
• Assisting Requirement Formalization by Means of Natural Language Translation.
  Alessandro Fantechi and Stefania Gnesi and Gioia Ristori and Michele Carenini and Massimo Vanocchi and Paolo Moreschini Formal Methods in System Design 4 243-263 (1994)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Session Types for Orchestration Charts.
  Alessandro Fantechi and Elie Najm COORDINATION 117-134 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• A Model Checking Approach for Verifying COWS Specifications.
  Alessandro Fantechi and Stefania Gnesi and Alessandro Lapadula and Franco Mazzanti and Rosario Pugliese and Francesco Tiezzi FASE 230-245 (2008)
  to dblp by dblp on 2008-04-21 00:00:00
  | URL | BibTeX  
• A behavioural model for product families.
  Alessandro Fantechi and Stefania Gnesi ESEC/SIGSOFT FSE 521-524 (2007)
  to dblp by dblp on 2007-10-23 00:00:00
  | URL | BibTeX  
• Model Driven Development and Code Generation: An Automotive Case Study.
  Michele Banci and Alessandro Fantechi and Stefania Gnesi and Giovanni Lombardi SDL Forum 19-34 (2007)
  to dblp by dblp on 2007-09-06 00:00:00
  | URL | BibTeX  
• Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.
  Cinzia Bernardeschi and Alessandro Fantechi and Fabio Paternò SEKE 234-243 (1995)
  to dblp by dblp on 2007-01-31 00:00:00
  | URL | BibTeX  
• Achieving Fault Tolerance by a Formally Validated Interaction Policy.
  Alessandro Fantechi and Stefania Gnesi and Laura Semini RODIN Book 133-152 (2006)
  to dblp by dblp on 2007-01-03 00:00:00
  | URL | BibTeX  
• A comparison between handwritten and automatic generation of C code from SDL using static analysis.
  Marcello Becucci and Alessandro Fantechi and Marco Giromini and Emilio Spinicci Softw., Pract. Exper. 35 1317-1347 (2005)
  to dblp by dblp on 2006-12-20 00:00:00
  | URL | BibTeX