Lotosphere Software Development With Lotos
Download Lotosphere Software Development With Lotos PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Lotosphere Software Development With Lotos book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
LOTOSphere: Software Development with LOTOS
Author: Tommaso Bolognesi
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques. LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation and testing. LOTOSphere: Software Development with LOTOS is divided into six parts. The first introduces the reader to LOTOS and the project LOTOSphere. The five remaining each treat an important part of the software development life cycle using LOTOS. This is the first book to give a comprehensive treatment of the use of these formal description techniques in a software engineering environment. It will thus be a valuable reference for researchers and software developers and can also be used as a text for an advanced course on the subject.
Models, Algebras and Logic of Engineering Software
This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice.
Formal Methods for Open Object-Based Distributed Systems
Author: Martin Steffen
language: en
Publisher: Springer Science & Business Media
Release Date: 2005-06-03
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.