Documenting Assumptions About the Operational Context of Long-Living Collaborative Embedded Systems
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[2] Claudia Linnhoff-Popien,et al. CoOL: A Context Ontology Language to Enable Contextual Interoperability , 2003, DAIS.
[3] Marian Daun,et al. Requirements Viewpoint , 2012, Model-Based Engineering of Embedded Systems.
[4] Marian Daun,et al. Function-centered engineering of embedded systems: Evaluating industry needs and possible solutions , 2014, 2014 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).
[5] Yves Le Traon,et al. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation , 2009, MoDELS.
[6] Manfred Broy,et al. Model-Based Engineering of Embedded Systems , 2012, Springer Berlin Heidelberg.
[7] Marian Daun,et al. On the Model-based Documentation of Knowledge Sources in the Engineering of Embedded Systems , 2014, Software Engineering.