Blank Cover Image

Unifying Models and Engineering Theories of Composed Software Systems

著者名:
Broy, Manfred  
掲載資料名:
Models, algebras and logic of engineering software
シリーズ名:
NATO science series. Series 3, Computer and systems sciences
シリーズ巻号:
191
発行年:
2003
開始ページ:
1
終了ページ:
42
総ページ数:
42
出版情報:
Amsterdam: IOS Press
ISSN:
13876694
ISBN:
9781586033422 [1586033425]
言語:
英語
請求記号:
N17060/191
資料種別:
国際会議録

類似資料:

1 国際会議録 Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures

Broy, Manfred

Springer
7 国際会議録 Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems

Broy M.

Springer-Verlag
2 国際会議録 Mathematical Methods in System and Software Engineering

Broy M.

Springer
8 国際会議録 From States to Histories: Relating State and History Views onto Systems

Broy,M.

IOS Press
3 国際会議録 A Logical Basis for Modular Systems Engineering

Broy M.

IOS Press
9 国際会議録 Unified Spin Gauge Theory Models

FARWELL. S. R, CHISHOLM. R. S. J

D.Reidel Publishing Company
4 国際会議録 (Inter-) Action Refinement: The Easy Way

Broy Manfred

Springer-Verlag
10 国際会議録 AN ANALYSIS OF SEMANTIC MODELS FOR ALGEBRAIC SPECIFICATIONS

Wirsing M., Broy M.

D. Reidel
5 国際会議録 Towards a Design Methodology for Distributed Systems

Broy M.

Springer-Verlag
11 国際会議録 Data Modelling Technologies for Dependable System-Software Engineering

J.P. Blanquart, G. Bulsa, D. Lesens

ESA Communication Production Office
6 国際会議録 Functional Specification of Time Sensitive Communicating Systems

Broy M.

Springer-Verlag
12 テクニカルペーパー Achieving Control and Interoperability Through Unified Model-Based Systems and Software Engineering

Rasmussen, R., Ingham, M., Dvorak, D.

American Institute of Aeronautics and Astronautics
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12