LOTOSphere: software development with LOTOS

Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers

doi:10.1007/978-1-4615-2203-4

LOTOSphere: software development with LOTOS

Tommaso Bolognesi
, Jeroen van de Lagemaat
, Chris Vissers

Research output: Book/Report › Book editing › Academic

92 Downloads (Pure)

Abstract

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.

Original language	English
Place of Publication	Boston, MA
Publisher	Kluwer Academic Publishers
Number of pages	488
ISBN (Electronic)	978-1-4615-2203-4
ISBN (Print)	978-1-4613-5924-1
DOIs	https://doi.org/10.1007/978-1-4615-2203-4
Publication status	Published - 1995
Event	3rd LotoSphere Workshop & Seminar 1992 - Pisa, Italy Duration: 14 Sept 1992 → 16 Sept 1992

Keywords

Browser
C programming language
Compiler
Language of temporal ordering specification
Standard
Communication
Development
Production

Access to Document

10.1007/978-1-4615-2203-4

1995 BookmatterFinal published version, 1.6 MB

Cite this

@book{f1cc2bea7aeb41f8820c0152b3d449a0,

title = "LOTOSphere: software development with LOTOS",

abstract = "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.",

keywords = "Browser, C programming language, Compiler, Language of temporal ordering specification, Standard, Communication, Development, Production",

author = "Tommaso Bolognesi and \{van de Lagemaat\}, Jeroen and Chris Vissers",

year = "1995",

doi = "10.1007/978-1-4615-2203-4",

language = "English",

isbn = "978-1-4613-5924-1",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

note = "3rd LotoSphere Workshop \& Seminar 1992 ; Conference date: 14-09-1992 Through 16-09-1992",

}

TY - BOOK

T1 - LOTOSphere

T2 - 3rd LotoSphere Workshop & Seminar 1992

AU - Bolognesi, Tommaso

AU - van de Lagemaat, Jeroen

AU - Vissers, Chris

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

KW - Browser

KW - C programming language

KW - Compiler

KW - Language of temporal ordering specification

KW - Standard

KW - Communication

KW - Development

KW - Production

U2 - 10.1007/978-1-4615-2203-4

DO - 10.1007/978-1-4615-2203-4

M3 - Book editing

SN - 978-1-4613-5924-1

BT - LOTOSphere

PB - Kluwer Academic Publishers

CY - Boston, MA

Y2 - 14 September 1992 through 16 September 1992

ER -

LOTOSphere: software development with LOTOS

Abstract

Keywords

Access to Document

Fingerprint

Cite this