Service-Oriented Modeling of CoCoME with Focus and AutoFocus-Reference-Cited by-同舟云学术

Service-Oriented Modeling of CoCoME with Focus and AutoFocus

Published: Issue: Volume: Page:177-206
ISSN:0302-9743
Container-title:The Common Component Modeling Example
language:
Short-container-title:

Author:

Broy Manfred,Fox Jorge,Hölzl Florian,Koss Dagmar,Kuhrmann Marco,Meisinger Michael,Penzenstadler Birgit,Rittmann Sabine,Schätz Bernhard,Spichkova Maria,Wild Doris

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-85289-6_8.pdf

Reference18 articles.

1. Gruler, A., Harhurin, A., Hartmann, J.: Modeling the Functionality of Multi-Functional Software Systems. In: 14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS), pp. 349–358. IEEE Computer Society Press, Los Alamitos (2007)

2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer, New York (2001)

3. Broy, M.: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures–The Janus-Approach. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute, pp. 47–82. Springer, Heidelberg (2005)

4. Krüger, I., Mathew, R., Meisinger, M.: Efficient Exploration of Service-Oriented Architectures using Aspects. In: Proceedings of the 28th International Conference on Software Engineering (ICSE) (2006)

5. Broy, M., Krüger, I., Meisinger, M.: A Formal Model of Services. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(1) (2007)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. eQual: informing early design decisions;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07

2. Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems;International Journal on Software Tools for Technology Transfer;2019-06-01

3. Model-Based Analysis of Temporal Properties;Communications in Computer and Information Science;2018

4. Model-Based Generation of Natural Language Specifications;Software Technologies: Applications and Foundations;2016

5. Sustainable Transport System;Advances in Civil and Industrial Engineering;2016