LOTOSphere

Bolognesi, T., Lagemaat, J. v. d., & Vissers, C. A. (1995). LOTOSphere: Software Development with LOTOS. Kluwer Academic.

Type

Book

Intellectual base

Review or monograph

Year

1995

DOI

10.1007/978-1-4615-2203-4

ISBN

9781461359241

Link

https://doi.org/10.1007/978-1-4615-2203-4

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Domain-specific

• Language of Temporal Ordering Specification
  • LOTOSphere subsequently treated LOTOS as a software-development method rather than only as notation for standards documents, supporting specification, analysis, implementation-oriented transformation, and testing.

    This sourceMulti-year software-engineering method and application record.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:fd758bcd63bb · see in the full table