3 search results - page 1 / 1 » David L. Parnas Symposium |
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
David L. Parnas is one of the grandmasters of software engineering. His academic research and industrial collaborations have exerted far-reaching influence on software design and ...
ITCC
2005
IEEE
13 years 10 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
ASPLOS
1987
ACM
13 years 8 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...