Introduction to the special section on fundamental approaches to software engineering Michel WermelingerTiziana MargariaMaura Cerioli Preface 07 August 2007 Pages: 415 - 416
A correlation framework for the CORBA component model Georg JungJohn Hatcliff Special section FASE'04/05 23 August 2007 Pages: 417 - 427
A framework for counterexample generation and exploration Marsha ChechikArie Gurfinkel Special section FASE'04/05 24 July 2007 Pages: 429 - 445
An operational semantics for Stateflow Grégoire HamonJohn Rushby Special section FASE'04/05 31 July 2007 Pages: 447 - 456
Model based development of access policies Ruth BreuGerhard PoppMuhammad Alam Special section FASE'04/05 27 July 2007 Pages: 457 - 470
Modeling software product lines using color-blind transition systems Kim G. LarsenUlrik NymanAndrzej Wasowski Special section FASE'04/05 08 September 2007 Pages: 471 - 487
Slicing concurrent Java programs using Indus and Kaveri Venkatesh Prasad RanganathJohn Hatcliff Special section FASE'04/05 25 July 2007 Pages: 489 - 504
The software model checker Blast Dirk BeyerThomas A. HenzingerRupak Majumdar Special section FASE'04/05 13 September 2007 Pages: 505 - 525
Tools for secure systems development with UML Jan JürjensPasha Shabalin Special section FASE'04/05 25 July 2007 Pages: 527 - 544
