1 Table of Contents: “... software...”

2 Table of Contents: “... of Critical Software.- Supporting the Evolution of Free and Open Source Software Distributions.- Optimizing...”

3 Table of Contents: “... -- Lexicon Based Ontology Construction -- Multi-agent Systems and Security Requirements Analysis -- Software...”

4 Subjects: “...Software engineering...”

5 Table of Contents: “...Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering...”

6 Table of Contents: “... of Agent-Oriented Goals -- Early Development Phases and Software Reuse -- Improving Multi-Agent...”

7 Table of Contents: “... -- Achieving Critical System Survivability Through Software Architectures -- Reliability Support for the Model...”

8 Subjects: “...Software engineering...”

9 Table of Contents: “... Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services...”

10 Table of Contents: “... to Verification and Validation of Formal Software Models -- A Pattern-Based Approach for Modeling and Analyzing...”

11 Table of Contents: “... Component Based Real-Time Scheduling Architecture -- Fault Tolerance in Software Architectures -- A Fault...”

12 Subjects: “...Software engineering...”

13 Table of Contents: “... -- Formal Methods as an Improvement Tool -- Critical Software Technologies Experience with Formal Methods...”

14 Table of Contents: “...Component-Based Design of Embedded Software: An Analysis of Design Issues -- Component-Based Design...”

15 Table of Contents: “... to Incorporating Exception Handling into Dependable Software -- Adapting C++ Exception Handling to an Extended COM...”

16 Subjects: “...Software engineering...”

17 Subjects: “...Software engineering...”

18 Subjects: “...Software engineering...”

19 Table of Contents: “... Event B -- Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive...”

20 Subjects: “...Software engineering...”