Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures-Reference-Cited by-同舟云学术

Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures

Published: Issue: Volume: Page:47-81
ISSN:
Container-title:Engineering Theories of Software Intensive Systems
language:
Short-container-title:

Author:

Broy Manfred

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/1-4020-3532-2_2.pdf

Reference32 articles.

1. Baeten, J. and Bergstra, J. (1992). Process algebras with signals and conditions. In Broy, M., editor, Programming and Mathematical Method, volume 88 of NATO ASI Series, Series F: Computer and System Sciences, pages 273–324. Springer.

2. Berry, G. and Gonthier, G. (1988). The esterel synchronous programming language: Design, semantics, implementation. Research Report 842, INRIA.

3. Booch, G. (1991). Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA.

4. Booch, G., Rumbaugh, J., and Jacobson, I. (1997). The unified modeling language for object-oriented development, version 1.0. Technical report, RATIONAL Software Cooperation.

5. Broy, M. (1991). Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing, 3:21–57.

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

1. Seamless Model-Based System Development: Foundations;Engineering Trustworthy Software Systems;2020

2. AHR: Human-Centred Aspects of Test Design;Communications in Computer and Information Science;2016

3. From Actions, Transactions, and Processes to Services;Application and Theory of Petri Nets and Concurrency;2016

4. Formal Models for Intelligent Speed Validation and Adaptation;Procedia Computer Science;2016

5. Efficient Testing based on Logical Architecture;Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference;2015-09-28