Rigorous identification and encoding of trace-links in model-driven engineering
- 作者Richard F. Paige; Nikolaos Drivalos; Dimitrios S. Kolovos; Kiran J. Fernandes; Christopher Power; Goran K. Olsen; Steffen Zschaler
- 卷第10卷
- 期第4期
- 印刷ISSN1619-1366
- 电子ISSN1619-1374
- 文件大小1026.76KB
- 发表时间2011-10
- DOI10.1007/s10270-010-0158-8
- 页码469-487
[IEEE 2013 Euromicro Conference on Digital System Design (DSD) - Los Alamitos, CA, USA (2013.09.4-2013.09.6)] 2013 Euromicro Conference on Digital System Design - Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded SystemsTokarnia, Alice M.; Cruz, Emerson P. · 2013
[American Institute of Aeronautics and Astronautics 41st International Conference on Environmental Systems - Portland, Oregon ()] 41st International Conference on Environmental Systems - Requirements Development and Test Results of High Aspect Ratio Trace Contaminant Control, Vehicle Level Post Fire Recovery and Reactive Plastic Carbon Dioxide Control SystemsZuniga, David; Finger, Barry; Harrington, Walter
[IEEE 2012 International Conference on Innovation Management and Technology Research (ICIMTR) - Malacca, Malaysia (2012.05.21-2012.05.22)] 2012 International Conference on Innovation Management and Technology Research - Hybrid ant colony technique for reactive power tracing in deregulated power systemHamid, Z.; Musirin, I.; Rahim, M. N. A.; Kamari, N. A. Mohamed · 2012
[IEE 6th International Conference on Advances in Power System Control, Operation and Management. Proceedings. APSCOM 2003 - Hong Kong, China (11-14 Nov. 2003)] 6th International Conference on Advances in Power System Control, Operation and Management. Proceedings. APSCOM 2003 - Consideration on reactive power service using power flow tracing of electricityImashima, K. · 2003
[IEEE 2014 International Conference on Control, Instrumentation, Energy and Communication (CIEC) - Calcutta, India (2014.1.31-2014.2.2)] Proceedings of The 2014 International Conference on Control, Instrumentation, Energy and Communication (CIEC) - Reactive power tracing of a multibus power system in presence of SVCMandal, Madhumita; nee Dey, Sunita Halder; Chakrabarti, Abhijit · 2014
[IEEE IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Coeur d'Alene, ID, USA (2007.09.23-2007.09.27)] IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Towards Trace Visualization and Exploration for Reactive SystemsMaoz, Shahar; Kleinbort, Asaf; Harel, David · 2007
[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Mining modal scenario-based specifications from execution traces of reactive systemsLo, David; Maoz, Shahar; Khoo, Siau-Cheng · 2007
A Compiler for Multimodal ScenariosMaoz, Shahar; Harel, David; Kleinbort, Asaf · ACM Transactions on Software Engineering and Methodology · 2011
Assert and negate revisited: Modal semantics for UML sequence diagramsDavid Harel; Shahar Maoz · 2008
[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - PlayGoHarel, David; Maoz, Shahar; Szekely, Smadar; Barkan, Daniel · 2010
[ACM Press the 14th ACM SIGSOFT international symposium - Portland, Oregon, USA (2006.11.05-2006.11.11)] Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14 - From multi-modal scenarios to codeMaoz, Shahar; Harel, David · 2006
[IEEE IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Coeur d'Alene, ID, USA (2007.09.23-2007.09.27)] IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Towards Trace Visualization and Exploration for Reactive SystemsMaoz, Shahar; Kleinbort, Asaf; Harel, David · 2007