Software and System Modeling Based on a Unified Formal Semantics-Reference-Cited by-同舟云学术

Software and System Modeling Based on a Unified Formal Semantics

Published:1998 Issue: Volume: Page:43-68
ISSN:0302-9743
Container-title:Requirements Targeting Software and Systems Engineering
language:
Short-container-title:

Author:

Broy Manfred,Huber Franz,Paech Barbara,Rumpe Bernhard,Spies Katharina

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10692867_2

Reference60 articles.

1. Lecture Notes in Computer Science,1985

2. Bjørner, N., Browne, A., Chang, E., Colón, M., Kapur, A., Manna, Z., Sipma, H.B., Uribe, T.E.: STeP: Deductive Algorithmic Verification of Reactive and Real-Time Systems. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102. Springer, Heidelberg (1996)

3. Broy, M., Breitling, M., Scätz, B., Spies, K.: Summary of Case Studies in Focus - Part II. SFB-Bericht 342/24/97 A, Technische Universität München (September 1997)

4. Basili, V.R., Caldiera, G., Rombach, H.-D.: Goal Question Metric Paradigm. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, pp. 528–532. John Wiley & Sons, Chichester (1994)

5. Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T.F., We-ber, R.: The Design of Distributed Systems - An Introduction to Focus. SFB-Bericht Nr. 342/2-2/92 A, Technische Universität München (January 1993)

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

1. Systematic Component-Oriented Language Reuse;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

2. Systems Engineering and Architecting for Intelligent Autonomous Systems;Automated Driving;2016-09-24

3. A framework for modeling transfer protocols;Computer Networks;2000-08