Author:
Kraemer Frank Alexander,Herrmann Peter
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Object Management Group. Unified Modeling Language: Superstructure, version 2.0, formal/2005-07-05 (2005)
2. Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology (2008)
3. Kraemer, F.A., Herrmann, P.: Service Specification by Composition of Collaborations — An Example. In: Proceedings of the 2006 WI-IAT Workshops (2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology), pp. 129–133. IEEE Computer Society, Los Alamitos (2006)
4. Lecture Notes in Computer Science;F.A. Kraemer,2009
5. IFIP International Federation for Information Processing;P. Herrmann,2007
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Analyzing Incremental Natures of Developing Software;ACM Transactions on Management Information Systems;2019-06-30
2. Formal Analysis of Control Software for Cyber-Physical Systems;2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C);2017-07
3. Formal Model-Based Development in Industrial Automation with Reactive Blocks;Software Technologies: Applications and Foundations;2016
4. Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation;Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering;2016
5. A Methodology for Model-based Development and Safety Analysis of Transport Systems;Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering;2016