-
1
-
-
23744454368
-
BMD-NA BM/C3 information architecture executable representation
-
Society for Computer Simulation, Portland, OR
-
M.P. Bienvenu and C.H. Daniel, BMD-NA BM/C3 Information Architecture Executable Representation, Proc 1996 Summer Comput Simulation Conf, July 21-25 1996, Society for Computer Simulation, Portland, OR, pp. 295-300.
-
(1996)
Proc 1996 Summer Comput Simulation Conf, July 21-25
, pp. 295-300
-
-
Bienvenu, M.P.1
Daniel, C.H.2
-
3
-
-
0003547470
-
-
Addison Wesley, Reading, Massachusetts
-
G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language user guide, Addison Wesley, Reading, Massachusetts, 1999.
-
(1999)
The Unified Modeling Language User Guide
-
-
Booch, G.1
Rumbaugh, J.2
Jacobson, I.3
-
4
-
-
0003815855
-
-
December 18
-
C4ISR Architecture Working Group, C4ISR Architecture Framework, Version 2.0, December 18, 1997 http://www.c3i.osd.mil/org/cio/i3/AWG_Digital_Library/index.htm
-
(1997)
C4ISR Architecture Framework, Version 2.0
-
-
-
6
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
July
-
D. Harel, Statecharts: A visual formalism for complex systems, Sci Comput Program 8 (July 1987), 231-274.
-
(1987)
Sci Comput Program
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
7
-
-
0023266921
-
On the formal semantics of Statecharts
-
Dorset House, New York
-
D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman, On the formal semantics of Statecharts, Proc Second IEEE Symp Logic Comput Sci, Dorset House, New York, 1987, pp. 54-64.
-
(1987)
Proc Second IEEE Symp Logic Comput Sci
, pp. 54-64
-
-
Harel, D.1
Pnueli, A.2
Schmidt, J.P.3
Sherman, R.4
-
8
-
-
0028400387
-
Composition specification and verification of distributed systems
-
March
-
B. Jonsson, Composition specification and verification of distributed systems, ACM Trans Program Lang Syst 16(2) (March 1994), pp. 259-303
-
(1994)
ACM Trans Program Lang Syst
, vol.16
, Issue.2
, pp. 259-303
-
-
Jonsson, B.1
-
9
-
-
0141529624
-
4ISR architectures. I: Developing a process for architecture design
-
A.M. Levis and L.W. Wagenhals, 4ISR architectures. I: Developing a process for architecture design, Syst Eng 3, 225-247 (2000).
-
(2000)
Syst Eng
, vol.3
, pp. 225-247
-
-
Levis, A.M.1
Wagenhals, L.W.2
-
10
-
-
85031892754
-
Hierarchical correctness proofs for distributed algorithms
-
Vancouver, Canada
-
N.A. Lynch and M.R. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proc Sixth Annu ACM Symp Principles Distributed Comput, 1987, Vancouver, Canada, pp. 137-151.
-
(1987)
Proc Sixth Annu ACM Symp Principles Distributed Comput
, pp. 137-151
-
-
Lynch, N.A.1
Tuttle, M.R.2
-
12
-
-
0003511049
-
-
Prentice Hall, Englewood Cliffs, NJ
-
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-oriented modeling and design, Prentice Hall, Englewood Cliffs, NJ, 1991.
-
(1991)
Object-oriented Modeling and Design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
13
-
-
0003681146
-
-
Wiley, New York
-
B. Selic, G. Gullekson, and P.T. Ward, Real-time object-oriented modeling, Wiley, New York, 1994.
-
(1994)
Real-time Object-oriented Modeling
-
-
Selic, B.1
Gullekson, G.2
Ward, P.T.3
-
14
-
-
0003624672
-
-
Rational Software Corp., Copertino, CA, June
-
UML 99, OMG (Object Management Group) Unified Modeling Language Specification, Version 1.3, Rational Software Corp., Copertino, CA, June 1999 [www.rational.com/uml/index.jtmpl].
-
(1999)
Unified Modeling Language Specification, Version 1.3
-
-
-
15
-
-
8844244404
-
C4ISR architectures. II: Structured Analysis approach for architecture design
-
L.W. Wagenhals, I. Shin, D. Kim, and A.H. Levis, C4ISR architectures. II: Structured Analysis approach for architecture design, Syst Eng 3, 248-287 (2000).
-
(2000)
Syst Eng
, vol.3
, pp. 248-287
-
-
Wagenhals, L.W.1
Shin, I.2
Kim, D.3
Levis, A.H.4
|