-
2
-
-
0030734422
-
High-Assurance Systems
-
a special section, Jan.
-
"High-Assurance Systems," a special section, Comm. ACM, Jan. 1997, pp. 67-93.
-
(1997)
Comm. ACM
, pp. 67-93
-
-
-
3
-
-
0013402381
-
Hierarchical Program Structuring
-
Dahl, Dijkstra, and Hoare, eds., Academic Press, San Diego, Calif.
-
O.J. Dahl, "Hierarchical Program Structuring," in Structured Programming, in Dahl, Dijkstra, and Hoare, eds., Academic Press, San Diego, Calif., 1972.
-
(1972)
Structured Programming
-
-
Dahl, O.J.1
-
4
-
-
0003696285
-
-
Benjamin Cummings, Menlo Park, Calif.
-
G. Booch, Object-Oriented Design, Benjamin Cummings, Menlo Park, Calif., 1991.
-
(1991)
Object-Oriented Design
-
-
Booch, G.1
-
6
-
-
0001933638
-
An Object-Oriented Real-Time Programming Language
-
Oct.
-
Y. Ishikawa, H. Tokuda, and C.W. Mercer, "An Object-Oriented Real-Time Programming Language," Computer, Oct. 1992, pp. 66-73.
-
(1992)
Computer
, pp. 66-73
-
-
Ishikawa, Y.1
Tokuda, H.2
Mercer, C.W.3
-
7
-
-
0029482286
-
Distinguishing Features and Potential Roles of the RTO.k Object Model
-
IEEE CS Press, Los Alamitos, Calif.
-
K.H. Kim et al., "Distinguishing Features and Potential Roles of the RTO.k Object Model," Proc. 1994 Workshop on Object-Oriented Real-Time Dependable Systems, IEEE CS Press, Los Alamitos, Calif., 1994, pp. 36-45.
-
(1994)
Proc. 1994 Workshop on Object-Oriented Real-Time Dependable Systems
, pp. 36-45
-
-
Kim, K.H.1
-
8
-
-
0003681146
-
-
John Wiley & Sons, New York
-
B. Selic, G. Gullekson, and P.T. Ward, Real-Time Object-Oriented Modeling, John Wiley & Sons, New York, 1994.
-
(1994)
Real-Time Object-Oriented Modeling
-
-
Selic, B.1
Gullekson, G.2
Ward, P.T.3
-
9
-
-
0025539315
-
Temporal Uncertainties in Interactions among Real-Time Objects
-
IEEE CS Press, Los Alamitos, Calif.
-
H. Kopetz and K.H. Kim, "Temporal Uncertainties in Interactions among Real-Time Objects," Proc. 9th Symp. Reliable Distributed Systems, IEEE CS Press, Los Alamitos, Calif., 1990, pp. 165-174.
-
(1990)
Proc. 9th Symp. Reliable Distributed Systems
, pp. 165-174
-
-
Kopetz, H.1
Kim, K.H.2
-
10
-
-
0028727147
-
A Real-Time Object Model RTO.k and an Experimental Investigation of Its Potentials
-
IEEE CS Press, Los Alamitos, Calif.
-
K.H. Kim and H. Kopetz, "A Real-Time Object Model RTO.k and an Experimental Investigation of Its Potentials," Proc. IEEE CS Computer Software and Applications Conf., IEEE CS Press, Los Alamitos, Calif., 1994, pp. 392-402.
-
(1994)
Proc. IEEE CS Computer Software and Applications Conf.
, pp. 392-402
-
-
Kim, K.H.1
Kopetz, H.2
-
11
-
-
0029180762
-
Toward New-Generation Real-Time Object-Oriented Computing
-
IEEE CS Press, Los Alamitos, Calif.
-
K.H. Kim et al., "Toward New-Generation Real-Time Object-Oriented Computing," Proc. IEEE CS Workshop on Future Trends of Distributed Computing Systems, IEEE CS Press, Los Alamitos, Calif., 1995, pp. 520-529.
-
(1995)
Proc. IEEE CS Workshop on Future Trends of Distributed Computing Systems
, pp. 520-529
-
-
Kim, K.H.1
-
12
-
-
0029700771
-
The DREAM Library Support for PCD and RTO.k programming in C++
-
IEEE CS Press, Los Alamitos, Calif.
-
K.H. Kim et al., "The DREAM Library Support for PCD and RTO.k programming in C++," Proc. IEEE CS Workshop on Object-Oriented Real-Time Dependable Systems, IEEE CS Press, Los Alamitos, Calif., 1996, pp. 59-68.
-
(1996)
Proc. IEEE CS Workshop on Object-Oriented Real-Time Dependable Systems
, pp. 59-68
-
-
Kim, K.H.1
|