A formal framework for viewpoint consistency
From MaRDI portal
Publication:698095
DOI10.1023/A:1016000201864zbMATH Open1019.68061OpenAlexW2079413298MaRDI QIDQ698095FDOQ698095
Authors: M. W. A. Steen, Howard Bowman, Eerke 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
Recommendations
Cited In (9)
- Title not available (Why is that?)
- Partial order semantics for use case and task models
- Title not available (Why is that?)
- Viewpoints modelling
- Analysing neurobiological models using communicating automata
- A priority-based negotiations approach for handling inconsistencies in multi-perspective software requirements
- Consistency analysis method of entity relationship of C<SUP>4</SUP>ISR architecture products
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: A formal framework for viewpoint consistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698095)