Fundamentals of Software Engineering

1. Rewriting Approximations for Properties Verification over CCS Specifications

   • Roméo Courbis

   Pages 299-315

2. Type Checking Cryptography Implementations

   • Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva

   Pages 316-334

3. Intentional Automata: A Context-Dependent Model for Component Connectors

   • David Costa, Milad Niqui, Jan Rutten

   Pages 335-342

4. Nested Dynamic Condition Response Graphs

   • Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

   Pages 343-350

5. Efficient Verification of Evolving Software Product Lines

   • Hamideh Sabouri, Ramtin Khosravi

   Pages 351-358

6. Extending Interface Automata with Z Notation

   • Zining Cao, Hui Wang

   Pages 359-367

7. A Specification Language for Reo Connectors

   • Alexandra Silva

   Pages 368-376

8. Back Matter

   PDF

This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods.

• distributed declarative logic
• formal program development
• model checking
• probabilistic specification
• type theory

• Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands

  Farhad Arbab

• Reykjavik University, Reykjavik, Iceland

  Marjan Sirjani

Policies and ethics