Advertisement

Introduction to the special section on fundamental approaches to software engineering

  • Michel Wermelinger
  • Tiziana MargariaEmail author
  • Maura Cerioli
Preface
  • 34 Downloads

Keywords

Model Checker Software Product Line Integrate Development Environment Software Model Checker Softw Tool Technol Transfer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag 2007

Authors and Affiliations

  • Michel Wermelinger
    • 1
  • Tiziana Margaria
    • 2
    Email author
  • Maura Cerioli
    • 3
  1. 1.Computing DepartmentThe Open UniversityMilton KeynesUK
  2. 2.Chair “Service and Software Engineering” Institute for InformaticsUniversity PotsdamPotsdamGermany
  3. 3.Dipartimento di Informatica e Scienze dell’InformazioneUniversità di GenovaGenovaItaly

Personalised recommendations