Вы здесь

Главная

Inverardi P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Analysis of Architectural Patterns 2004 Caporuscio M., Inverardi P., Pelliccione P. Lecture Notes in Computer Science Lecture Notes in Computer Science 10.06.2004
СТ Correct Components Assembly for a Product Data Management Cooperative System 2004 Tivoli M., Inverardi P., Presutti V., Forghieri A., Sebastianis M. Lecture Notes in Computer Science 05.06.2004
СТ Software Architecture for Correct Components Assembly 2003 Inverardi P., Tivoli M. Lecture Notes in Computer Science 15.11.2003
СТ Formal Methods in Testing Software Architectures 2003 Bertolino A., Inverardi P., Muccini H. Lecture Notes in Computer Science 15.11.2003
СТ A Lightweight Infrastructure for Reconfiguring Applications 2003 Castaldi M., Carzaniga A., Inverardi P., Wolf A. L. Lecture Notes in Computer Science 31.05.2003
СТ Proving Deadlock Freedom in Component-Based Programming 2001 Inverardi P., Uchitel S. Lecture Notes in Computer Science 05.05.2001
СТ Reconfiguration of Software Architecture Styles with Name Mobility 2000 Hirsch D., Inverardi P., Montanari U. Lecture Notes in Computer Science 05.10.2000
СТ Static Analysis of Real-Time Component-Based Systems Configurations 1999 Attasio C., Corradini F., Inverardi P. Lecture Notes in Computer Science 18.05.1999
СТ Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance 1999 Attanasio C., Corradini F., Inverardi P. Lecture Notes in Computer Science 06.04.1999
СТ ESP-MC: An Experiment in the Use of Verification Tools 1995 Chen X., Inverardi P., Montangero C. Lecture Notes in Computer Science 12.01.1996
СТ Model Checking of Non-Finite State Processes by Finite Approximations 1995 De Francesco N., Fantechi A., Gnesi S., Inverardi P. Lecture Notes in Computer Science 11.01.1996
СТ Rational Rewriting 1994 Inverardi P., Zilli M. V. Lecture Notes in Computer Science 29.09.1994
СТ Proving Finiteness of CCS Processes by Non-Standard Semantics 1994 De Francesco N., Inverardi P. Acta Informatica 10.03.1994
СТ Yeast: A case study for a practical use of formal methods 1993 Inverardi P., Krishnamurthy B., Yankelevich D. Lecture Notes in Computer Science 26.05.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Software Architecture: Proc./13th International Conference, ECSA 2019, Paris, France, September 2019 2019 Lecture Notes in Computer Science
  1. Bures T.
  2. Duchien L.
  3. Inverardi P.
 17.10.2019
СБ Software Engineering for Self-Adaptive Systems 2009 Lecture Notes in Computer Science
  1. Cheng B.H. C.
  2. De Lemos R.
  3. Giese H.
  4. Inverardi P.
 26.02.2010
СБ Fundamental Approaches to Software Engineering: Proc./11th International Conference, FASE 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008 2008 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Inverardi P.
 07.06.2008
СБ Software Engineering Education in the Modern Age: Revised Lectures/Software Education and Training Sessions at the International Conference on Software Engineering,ICSE 2005,St.Louis,MO,USA,May 2005 2006 Lecture Notes in Computer Science
  1. Inverardi P.
  2. Jazayeri M.
 27.03.2007
СБ Formal Methods for Software Architectures: Advanced Lectures/Third Intern. School on Formal Methods for the Design of Computer, Communication and Software Systems - Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 2003 Lecture Notes in Computer Science
  1. Bernardo B.
  2. Inverardi P.
 14.11.2003