Specification Languages for Preserving Consistency between Models of Different Languages
When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for...
Saved in:
Superior document: | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
---|---|
: | |
Year of Publication: | 2019 |
Language: | English |
Series: | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
|
Physical Description: | 1 electronic resource (XX, 440 p. p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li.
by: Tsai, Jeffrey J.-P.
Published: (c2001.) -
Models and Metaphors : : Studies in Language and Philosophy / / Max Black.
by: Black, Max,
Published: ([2019]) -
Real time programming : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh.
by: Shyamasundar, Rudrapatna,
Published: (c2010.) -
Internal and external consistency in multimensional population projection models / by Nico Keilman
by: Keilman, Nico
Published: (1984) -
Consistency, choice, and rationality / Walter Bossert and Kotaro Suzumura.
by: Bossert, Walter.
Published: (2010.)