1. Introduction to the special section on fundamental approaches to software engineering

   • Michel Wermelinger
   • Tiziana Margaria
   • Maura Cerioli

   Preface 07 August 2007 Pages: 415 - 416

2. A correlation framework for the CORBA component model

   • Georg Jung
   • John Hatcliff

   Special section FASE'04/05 23 August 2007 Pages: 417 - 427

3. A framework for counterexample generation and exploration

   • Marsha Chechik
   • Arie Gurfinkel

   Special section FASE'04/05 24 July 2007 Pages: 429 - 445

4. An operational semantics for Stateflow

   • Grégoire Hamon
   • John Rushby

   Special section FASE'04/05 31 July 2007 Pages: 447 - 456

5. Model based development of access policies

   • Ruth Breu
   • Gerhard Popp
   • Muhammad Alam

   Special section FASE'04/05 27 July 2007 Pages: 457 - 470

6. Modeling software product lines using color-blind transition systems

   • Kim G. Larsen
   • Ulrik Nyman
   • Andrzej Wasowski

   Special section FASE'04/05 08 September 2007 Pages: 471 - 487

7. Slicing concurrent Java programs using Indus and Kaveri

   • Venkatesh Prasad Ranganath
   • John Hatcliff

   Special section FASE'04/05 25 July 2007 Pages: 489 - 504

8. The software model checker Blast

   • Dirk Beyer
   • Thomas A. Henzinger
   • Rupak Majumdar

   Special section FASE'04/05 13 September 2007 Pages: 505 - 525

9. Tools for secure systems development with UML

   • Jan Jürjens
   • Pasha Shabalin

   Special section FASE'04/05 25 July 2007 Pages: 527 - 544