LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to co

Partial Contents: Architecture Framework & Components; Formal Methods; Metrics & Quality Assurance; Software Design Methodology; Validation & Verification; UML;

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea

Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formalit

This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant bran