Dynamic Restructuring in an Experimental Operating System

IEEE Transactions on Software Engineering

Volumn SE-4, Issue 4, 1978, Pages 298-307

  Goullon, Hannes ^a   Isle, Rainer ^a   Löhr, Klaus Peter ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Data abstraction; domain architecture; dynamic address spaces; dynamic modification; modules; replugging

Indexed keywords

COMPUTER OPERATING SYSTEMS;

EID: 0017994495     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1978.231515     Document Type: Article

References (17)

1. F. L. Bauer, Ed., Software Engineering-An Advanced Course in Lecture Notes in Computer Science, vol. 30. Berlin: Springer, 1975.
2. R. S. Fabry, “How to design a system in which modules can be changed on the fly,” in Proc. 2nd Int. Conf. Software Eng., 1976.
3. C. M. Geschke, J. H. Morris, and E. H. Satterthwaite, “Early experience with MESA,” Commun. Ass. Comput. Mach., vol. 20, 1977.
4. J. A. Goguen, J. W. Thatcher, and E. G. Wagner, “An initial algebra approach to the specification, correctness, and implementation of abstract data types,” IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, Rep., 1976.
5. J. A. Guttag, E. Horowitz, and D. R. Musser, “The design of data type specifications,” in Proc. 2nd Int. Conf. Software Eng., 1976.
6. A. N. Habermann, L. Flon, and L. Cooprider, “Modularization and hierarchy in a family of operating systems,” Commun. Ass. Comput. Mach., vol. 19,1976.
7. C. H. A. Koster, “Visibility and types,” Ass. Comput. Mach. SIGPLANN Notices vol. 11, 1976.
8. B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, and G. L. Popek, “Report on the programming language EUCLID,” Ass. Comput. Mach. SIGPLANN, Notices, vol. 12, 1977.
9. J. Müller et al., “Address space management in the DAS operating system,” TR78-20, Fachbereich Informatik, TU Berlin, 1978.
10. P. Nellessen, “On replacing software system components at runtime,” Diplomarbeit Fachbereich Informatik, TU Berlin, 1977.
11. D. L. Parnas, “On the criteria to be used in decomposing systems into modules,” Commun. Ass. Comput. Mach., vol. 15, 1972.
12. D. L. Parnas, G. Handzel, and H. Würges, “Design and specification of the minimal subset of an operating system family,” IEEE Trans. Software Eng., vol. SE-2, July 1976.
13. D. L. Parnas, J. E. Shore, and D. Weiss, “Abstract types defined as classes of variables,” Ass. Comput. Mach. SIGPLAN Notices, vol. 11, 1976.
14. D. L. Parnas, “Some hypotheses about the ‘uses’ hierarchy for operating systems,” Fachbereich Informatik, TH Darmstadt, 1976.
15. M. Shaw, “Research directions in abstract data structures,” Ass. Comput. Mach. SIGPLAN Notices, vol. 11, 1976.
16. M. J. Spier, T. N. Hastings, and D. N. Cutler, “A storage mapping technique for the implementation of protective domains,” Soft ware-Practice & Experience, vol. 4, 1974.
17. N. Wirth, “Modula: A language for modular multiprogramming,” Software-Practice & Experience, vol. 7, 1977.