Reasoning about UML/OCL class diagrams using constraint logic programming and formula

Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key activities to ensure the quality of the system under development. This paper presents a framework to reason about the satisfiability of class mo...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Information systems (Oxford) Ročník 81; s. 152 - 177
Hlavní autori:	Pérez, Beatriz, Porres, Ivan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Oxford Elsevier Ltd 01.03.2019 Elsevier Science Ltd
Predmet:	Constraint logic programming Constraints Diagrams Frame analysis Information systems Logic Logic programming Modelling OCL Program verification (computers) Property Reasoning Software Software development Space technology Systems development UML Verification OCL Constraint logic programming UML Reasoning
ISSN:	0306-4379, 1873-6076
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!