A formal framework for viewpoint consistency

DOI10.1023/A:1016000201864zbMath1019.68061OpenAlexW2079413298MaRDI QIDQ698095

M. W. A. Steen, Howard Bowman, Eerke A. Boiten, John Derrick

Publication date: 18 September 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016000201864

zbMATH Keywords

process algebraviewpointsLOTOSdevelopment modelsFDTsopen distributed processing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Partial order semantics for use case and task models ⋮ A priority-based negotiations approach for handling inconsistencies in multi-perspective software requirements ⋮ Analysing neurobiological models using communicating automata

Uses Software

• LOTOS

This page was built for publication: A formal framework for viewpoint consistency