You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
415-416
Preface
Introduction to the special section on fundamental approaches to software engineering
Michel Wermelinger, Tiziana Margaria and Maura Cerioli
417-427
Special section FASE'04/05
A correlation framework for the CORBA component model
Georg Jung and John Hatcliff
429-445
A framework for counterexample generation and exploration
Marsha Chechik and Arie Gurfinkel
447-456
An operational semantics for Stateflow
Grégoire Hamon and John Rushby
457-470
Model based development of access policies
Ruth Breu, Gerhard Popp and Muhammad Alam
471-487
Modeling software product lines using color-blind transition systems
Kim G. Larsen, Ulrik Nyman and Andrzej Wasowski
489-504
Slicing concurrent Java programs using Indus and Kaveri
Venkatesh Prasad Ranganath and John Hatcliff
505-525
The software model checker Blast Applications to software engineering
Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar
527-544
Tools for secure systems development with UML
Jan Jürjens and Pasha Shabalin
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info