-
7
-
-
0026170770
-
A packaging system for heterogeneous execution environments
-
June
-
J. R. Callahan and J. M. Purtilo, “A packaging system for heterogeneous execution environments,” IEEE Trans. Software Eng., vol. 17, pp. 626-635, June 1991.
-
(1991)
IEEE Trans. Software Eng.
, vol.17
, pp. 626-635
-
-
Callahan, J.R.1
Purtilo, J.M.2
-
8
-
-
84936900145
-
SARA aided design of software for concurrent systems
-
“SARA aided design of software for concurrent systems,” in Proc. Nat. Comput. Conf., 1978.
-
(1978)
Proc. Nat. Comput. Conf.
-
-
-
10
-
-
84936900146
-
Software structure characterization using connectivity
-
in Lecture Notes in Computer Science. New York: Springer-Verlag
-
T. R. Dean and J. R. Cordy, “Software structure characterization using connectivity,” in Proc. Workshop on Studies of Software Design, in Lecture Notes in Computer Science. New York: Springer-Verlag, 1995.
-
(1995)
Proc. Workshop on Studies of Software Design
-
-
Dean, T.R.1
Cordy, J.R.2
-
11
-
-
0016963069
-
Programming-in-the-large versus programming-in-the-small
-
June
-
F. DeRemer and H. H. Kron, “Programming-in-the-large versus programming-in-the-small,” IEEE Trans. Software Eng., vol. SE-2, pp. 80-86, June 1976.
-
(1976)
IEEE Trans. Software Eng.
, vol.SE-2
, pp. 80-86
-
-
DeRemer, F.1
Kron, H.H.2
-
12
-
-
0002008223
-
An introduction to software architecture
-
V. Ambriola and G. Tortora, Eds. New York: World Scientific
-
D. Garlan and M. Shaw, “An introduction to software architecture, in Advances in Software Engineering and Knowledge Engineering, V. Ambriola and G. Tortora, Eds. New York: World Scientific, 1993, vol. 2, pp. 1-39.
-
(1993)
Advances in Software Engineering and Knowledge Engineering
, vol.2
, pp. 1-39
-
-
Garlan, D.1
Shaw, M.2
-
16
-
-
0015482118
-
Proof of correctness of data representations
-
C. A. R. Hoare, “Proof of correctness of data representations,” Acta Informatica, vol. 1, no. 4, pp. 271-281, 1972.
-
(1972)
Acta Informatica
, vol.1
, Issue.4
, pp. 271-281
-
-
Hoare, C.A.R.1
-
17
-
-
84936895454
-
-
School of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, Aug. (Preliminary edition.)
-
T. Kitayama, C. W. Mercer, T. Nakajima, S. Savage, H. Tokuda, and J. Zelenka, Real-Time Mach 3.0 User Reference Manual, School of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, Aug. 1993. (Preliminary edition.)
-
(1993)
Real-Time Mach 3.0 User Reference Manual
-
-
Kitayama, T.1
Mercer, C.W.2
Nakajima, T.3
Savage, S.4
Tokuda, H.5
Zelenka, J.6
-
18
-
-
0004147882
-
-
New York: Kluwer-Academic
-
M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harobur, A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Mono-tonic Analysis for Real-Time Systems. New York: Kluwer-Academic, 1993.
-
(1993)
A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Mono-tonic Analysis for Real-Time Systems.
-
-
Klein, M.H.1
Ralya, T.2
Pollak, B.3
Obenza, R.4
Harobur, M.G.5
-
19
-
-
0028272768
-
A Theory of Interfaces and Modules I—Composition Theorem
-
Jan.
-
“A Theory of Interfaces and Modules I—Composition Theorem,” IEEE Trans. Software Eng., vol. 20, pp. 55-71, Jan. 1994.
-
(1994)
IEEE Trans. Software Eng.
, vol.20
, pp. 55-71
-
-
-
20
-
-
84936900149
-
Proc. Workshop on Studies of Software Design
-
New York: Springer-Verlag
-
D. A. Lamb, Ed., Proc. Workshop on Studies of Software Design, in Lecture Notes in Computer Science. New York: Springer-Verlag, 1995.
-
(1995)
Lecture Notes in Computer Science
-
-
Lamb, D.A.1
-
21
-
-
0024682897
-
Constructing distributed systems in CONIC
-
J. Magee, J. Kramer, and Morris Sloman, “Constructing distributed systems in CONIC,” IEEE Trans. Software Eng., vol. SE-15, pp. 663-675, 1989.
-
(1989)
IEEE Trans. Software Eng.
, vol.SE-15
, pp. 663-675
-
-
Magee, J.1
Kramer, J.2
Sloman, M.3
-
22
-
-
0002856604
-
Structuring parallel and distributed programs
-
Mar.
-
J. Magee, N. Dulay, and J. Kramer, “Structuring parallel and distributed programs,” Software Eng. J., vol. 8, no. 2, pp. 73-82, Mar. 1993.
-
(1993)
Software Eng. J.
, vol.8
, Issue.2
, pp. 73-82
-
-
Magee, J.1
Dulay, N.2
Kramer, J.3
-
24
-
-
0005304789
-
-
Xerox Corp., Palo Alto Res. Cen., Tech. Rep. CSL-79-3, Apr.
-
J. G. Mitchell, W. Maybury, and R. E. Sweet, “Mesa language manual,” Xerox Corp., Palo Alto Res. Cen., Tech. Rep. CSL-79-3, Apr. 1979.
-
(1979)
“Mesa language manual,”
-
-
Mitchell, J.G.1
Maybury, W.2
Sweet, R.E.3
-
25
-
-
0027812437
-
Integrated management of priority inversion in RT-Mach
-
Dec.
-
T. Nakajima, T. Kitayama, H. Arakawa, and H. Tokuda, “Integrated management of priority inversion in RT-Mach,” in Proc. IEEE Real-Time Syst. Symp., Dec. 1993.
-
(1993)
Proc. IEEE Real-Time Syst. Symp.
-
-
Nakajima, T.1
Kitayama, T.2
Arakawa, H.3
Tokuda, H.4
-
26
-
-
0023173012
-
Software interconnection models
-
IEEE Computer Society Press, Mar.
-
D. E. Perry, “Software interconnection models,” in Proc. Ninth Int. Conf. Software Eng., IEEE Computer Society Press, Mar. 1987.
-
(1987)
Proc. Ninth Int. Conf. Software Eng.
-
-
Perry, D.E.1
-
27
-
-
0001956194
-
Foundations for the study of software architecture
-
Oct.
-
D. E. Perry and A. L. Wolf, “Foundations for the study of software architecture,” in ACM SIGSOFT Software Eng. Notes, Oct. 1992, vol. 17, no. 4, pp. 40-52.
-
(1992)
ACM SIGSOFT Software Eng. Notes
, vol.17
, Issue.4
, pp. 40-52
-
-
Perry, D.E.1
Wolf, A.L.2
-
29
-
-
0022811811
-
Module interconnection languages
-
Nov.
-
R. Prieto-Diaz and J. M. Neighbors, “Module interconnection languages,” J. Syst. Software, vol. 6, no. 4, pp. 307-334, Nov. 1986.
-
(1986)
J. Syst. Software
, vol.6
, Issue.4
, pp. 307-334
-
-
Prieto-Diaz, R.1
Neighbors, J.M.2
-
30
-
-
53249099769
-
-
Dep. Comput. Sci., Univ. Maryland, Tech. Rep. 2469
-
J. Purtilo, The Polylith Software Bus., Dep. Comput. Sci., Univ. Maryland, Tech. Rep. 2469, 1990.
-
(1990)
The Polylith Software Bus.
-
-
Purtilo, J.1
-
32
-
-
0016082170
-
The UNIX time sharing system
-
July
-
D. M. Ritchie and K. Thompson, “The UNIX time sharing system,” Commun. ACM, vol. 17, no. 7, pp. 365-375, July 1974.
-
(1974)
Commun. ACM
, vol.17
, Issue.7
, pp. 365-375
-
-
Ritchie, D.M.1
Thompson, K.2
-
38
-
-
0018719308
-
Software development control based on module interconnection
-
Munich, Germany
-
W. F. Tichy, “Software development control based on module interconnection,” in Proc. 4th Int. Conf. Software Eng., Munich, Germany, 1979, pp. 29-41.
-
(1979)
Proc. 4th Int. Conf. Software Eng.
, pp. 29-41
-
-
Tichy, W.F.1
|