Maintaining Consistency across Engineering Artifacts.
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.
| Publicado en: | Computer (00189162) Vol. 51; no. 2; pp. 28 - 36 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Feb2018
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=128241029&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 128241029 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Feb2018 vid: 51 iid: 2 pid: 13605 pub: IEEE artinfo: ui: 128241029 10.1109/MC.2018.1451666 ppf: 28 ppct: 8 formats: tig: atl: Maintaining Consistency across Engineering Artifacts. aug: au: Egyed, Alexander Zeman, Klaus Hehenberger, Peter Demuth, Andreas affil: Johannes Kepler University University of Applied Sciences Upper Austria Dynatrace su: Software engineering Systems engineering Computational complexity Computer input-output equipment Feedback control systems sug: subj: Software engineering Systems engineering Computational complexity Computer input-output equipment Feedback control systems keyword: artifact consistency artifacts Computational modeling DesignSpace engineering cloud Grippers Hardware Model/Analyzer Object Constraint Language OCL Robots software engineering Solid modeling Tools UML Unified modeling language ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2018 holdings: @attributes: islocal: N |
|---|