Maintaining Consistency across Engineering Artifacts

Egyed, Alexander; Zeman, Klaus; Hehenberger, Peter; Demuth, Andreas

doi:10.1109/MC.2018.1451666

by Alexander Egyed, Klaus Zeman, Peter Hehenberger, Andreas Demuth

Abstract:

Software and systems engineering combine artifacts from diverse domains and tools. This article explores how incremental consistency checking is able to automatically and continuously detect inconsistencies among these artifacts.

View PDF

Reference:

Maintaining Consistency across Engineering Artifacts (Alexander Egyed, Klaus Zeman, Peter Hehenberger, Andreas Demuth), In IEEE Computer, volume 51, 2018.

Bibtex Entry:

@Article{DBLP:journals/computer/EgyedZHD18,
  author    = {Alexander Egyed and Klaus Zeman and Peter Hehenberger and Andreas Demuth},
  journal   = {{IEEE} Computer},
  title     = {Maintaining Consistency across Engineering Artifacts},
  year      = {2018},
  number    = {2},
  pages     = {28--35},
  volume    = {51},
  abstract  = {Software and systems engineering combine artifacts from diverse domains and tools. This article explores how incremental consistency checking is able to automatically and continuously detect inconsistencies among these artifacts.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl    = {https://dblp.org/rec/bib/journals/computer/EgyedZHD18},
  doi       = {10.1109/MC.2018.1451666},
  file      = {:Journals\\IEEE Computer 2018 - Maintaining Consistency Across Engineering Artifacts\\Maintaining Consistency Across Engineering Artifacts-preprint.pdf:PDF},
  keywords  = {FWF P25289, LCM, Pro2Future},
  timestamp = {Tue, 06 Mar 2018 17:05:11 +0100},
  url       = {https://doi.org/10.1109/MC.2018.1451666},
}