Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation-Reference-Cited by-同舟云学术

Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation

Published:2012 Issue: Volume: Page:309-372
ISSN:
Container-title:Conquering Complexity
language:
Short-container-title:

Author:

Broy Manfred

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-2297-5_14.pdf

Reference26 articles.

1. Abadi, M., Lamport, L.: The existence of refinement mappings. Tech. rep., Digital Systems Research Center, SRC Report 29 (1988)

2. Abadi, M., Lamport, L.: Composing specifications. Tech. rep., Digital Systems Research Center, SRC Report 66 (1990)

3. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1997)

4. Broy, M.: Compositional refinement of interactive systems. Tech. rep., DIGITAL Systems Research Center, SRC 89 (1992). Also in: J. ACM 44(6), 850–891 (1997)

5. Broy, M.: The ‘grand challenge’ in informatics: engineering software-intensive systems. IEEE Comput. 39(10), 72–80 (2006)

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

1. Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study;Software and Systems Modeling;2022-06-21

2. Software System Documentation: Coherent Description of Software System Properties;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022

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

4. Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions;Science of Computer Programming;2018-12

5. Basic problems in multi-view modeling;Software & Systems Modeling;2017-12-13