Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	512-527
Number of pages	10
Journal	Computer Languages, Systems and Structures
Volume	54
DOIs	https://doi.org/10.1016/j.cl.2017.11.002
Publication status	Published - 2018

Fields of science

@article{d4584b010dd64735a41d987d4ea92e57,

title = "Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements",

author = "Nils Przigoda and Filho, \{Jonas Gomes\} and Philipp Niemann and Robert Wille and Rolf Drechsler",

year = "2018",

doi = "10.1016/j.cl.2017.11.002",

language = "English",

volume = "54",

pages = "512--527",

journal = "Computer Languages, Systems and Structures",

issn = "1477-8424",

publisher = "Elsevier",

}

TY - JOUR

T1 - Frame Conditions in the Automatic Validation and Verification of UML/OCL Models A Complementary Approach Using modifies only Statements

AU - Przigoda, Nils

AU - Filho, Jonas Gomes

AU - Niemann, Philipp

AU - Wille, Robert

AU - Drechsler, Rolf

PY - 2018

Y1 - 2018

U2 - 10.1016/j.cl.2017.11.002

DO - 10.1016/j.cl.2017.11.002

M3 - Article

SN - 1477-8424

VL - 54

SP - 512

EP - 527

JO - Computer Languages, Systems and Structures

JF - Computer Languages, Systems and Structures

ER -