scientific article; zbMATH DE number 2193913

MaRDI QIDQ5465489zbMATH OpenFDO

Authors Jochen M. Küster

Publication date 8 August 2005

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-3471-3

zbMATH Keywords

Consistency Workbenchsemantic domain

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Recommendations

• Towards inconsistency handling of object-oriented behavioral models
• Formal Methods for Components and Objects
• Consistency enforcement in Entity-Relationship and object-oriented models
• Consistency management in object-oriented databases
• scientific article; zbMATH DE number 5075963
• scientific article; zbMATH DE number 957978

Cited in

(14)

• Multi-view consistency in UML: a survey
• Intra- and interdiagram consistency checking of behavioral multiview models
• Consistency of the static and dynamic components of object-oriented specifications
• Towards inconsistency handling of object-oriented behavioral models
• Viewpoints modelling
• Causal behavioural profiles -- efficient computation, applications, and evaluation
• Consistency game: a didactic strategy for software engineering
• scientific article; zbMATH DE number 1946737 (Why is no real title available?)
• scientific article; zbMATH DE number 2006494 (Why is no real title available?)
• Behavioral constraints for visual models
• Dynamic consistency in process algebra: from paradigm to ACP
• Formal Methods for Components and Objects
• Consistency analysis method of entity relationship of C<SUP>4</SUP>ISR architecture products
• A formal framework for viewpoint consistency

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5465489)