-
2
-
-
0005341535
-
-
Addison-Wesley Longman Publishing Co., Inc.
-
Barnes J.G.P. Programming ADA (1989), Addison-Wesley Longman Publishing Co., Inc.
-
(1989)
Programming ADA
-
-
Barnes, J.G.P.1
-
4
-
-
0345884636
-
Making the future safe for the past: adding genericity to the java programming language
-
ACM Press
-
Bracha G., Odersky M., Stoutamire D., and Wadler P. Making the future safe for the past: adding genericity to the java programming language. Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (1998), ACM Press 183-200
-
(1998)
Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications
, pp. 183-200
-
-
Bracha, G.1
Odersky, M.2
Stoutamire, D.3
Wadler, P.4
-
5
-
-
0029461481
-
On binary methods
-
Bruce K., Cardelli L., Castagna G., Group T.H.O., Leavens G.T., and Pierce B. On binary methods. Theory and Practice of Object-Oriented systems 1 3 (1995) 221-242
-
(1995)
Theory and Practice of Object-Oriented systems
, vol.1
, Issue.3
, pp. 221-242
-
-
Bruce, K.1
Cardelli, L.2
Castagna, G.3
Group, T.H.O.4
Leavens, G.T.5
Pierce, B.6
-
8
-
-
0021500605
-
Parameterized programming
-
Goguen J. Parameterized programming. IEEE TSE SE 10 5 (1984) 528-543
-
(1984)
IEEE TSE SE
, vol.10
, Issue.5
, pp. 528-543
-
-
Goguen, J.1
-
10
-
-
0005302189
-
Introducing OBJ
-
Goguen J. (Ed), Cambridge
-
Goguen J., Winkler T., Meseguer J., Futatsugi K., and Jouannaud J.-P. Introducing OBJ. In: Goguen J. (Ed). Applications of Algebraic Specification using OBJ (1993), Cambridge
-
(1993)
Applications of Algebraic Specification using OBJ
-
-
Goguen, J.1
Winkler, T.2
Meseguer, J.3
Futatsugi, K.4
Jouannaud, J.-P.5
-
11
-
-
33847620579
-
-
Hejlsberg, A., 2003. Visual C# "Whidbey": language enhancements. Presentation at Microsoft Professional Developers Conference 2003, October, 2003.
-
-
-
-
13
-
-
0002708070
-
Distributed computing: models and methods
-
van Leeuwen J. (Ed), Elsevier Science Publishers (Chapter 18)
-
Lamport L., and Lynch N. Distributed computing: models and methods. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science vol. B (1990), Elsevier Science Publishers 1157-1199 (Chapter 18)
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 1157-1199
-
-
Lamport, L.1
Lynch, N.2
-
14
-
-
0004215089
-
-
Morgan Kaufman Publishers, San Francisco, CA
-
Lynch N. Distributed Algorithms (1996), Morgan Kaufman Publishers, San Francisco, CA
-
(1996)
Distributed Algorithms
-
-
Lynch, N.1
-
19
-
-
0015482049
-
On the criteria to be used in decomposing systems into modules
-
Parnas D.L. On the criteria to be used in decomposing systems into modules. Communications of the ACM 15 12 (1972) 1053-1058
-
(1972)
Communications of the ACM
, vol.15
, Issue.12
, pp. 1053-1058
-
-
Parnas, D.L.1
-
24
-
-
0001849803
-
Component-based software using RESOLVE
-
Sitaraman M., and Weide B. Component-based software using RESOLVE. Software Engineering Notes 19 4 (1994) 21-22
-
(1994)
Software Engineering Notes
, vol.19
, Issue.4
, pp. 21-22
-
-
Sitaraman, M.1
Weide, B.2
-
26
-
-
33847673021
-
-
Sridhar, N., Weide, B.W., 2003. Reasoning about parameterized components with dynamic binding. In: Proceedings of the Workshop on Specification and Verification of Component-Based Systems at ESEC/FSE 2003, Helsinki, Finland, pp. 92-95.
-
-
-
-
27
-
-
0038305251
-
-
Sridhar, N., Pike, S.M., Weide, B.W., 2003. Dynamic module replacement in distributed protocols. In: Proceedings of the 23rd International Conference on Distributed Computing Systems.
-
-
-
-
29
-
-
33847690567
-
-
Szyperski, C., 1999. Components and objects together, Software Development 7 (5).
-
-
-
-
30
-
-
33847655021
-
-
Tardo, J.J., 1981. The Design, Specification, and Implementation of OBJ-T: A Language for Writing and Testing Abstract Algebraic Program Specifications. Ph.D. thesis, Department of Computer Science, University of California, Los Angeles.
-
-
-
-
31
-
-
0024016255
-
Delaying commitment
-
Thimbleby H. Delaying commitment. IEEE Software 5 3 (1988) 78-86
-
(1988)
IEEE Software
, vol.5
, Issue.3
, pp. 78-86
-
-
Thimbleby, H.1
|