paper
An Approach to Operating System Testing
Submitted by rhc on Thu, 03/26/2009 - 22:29An Approach to Operating System Testing,
, Journal of Systems and Software, Volume 6, p.273-284, (1986)
A Fault Tolerant Scheduling Problem
Submitted by rhc on Thu, 03/26/2009 - 22:29A Fault Tolerant Scheduling Problem,
, IEEE Transactions on Software Engineering, Volume 12, Number 11, p.1089-1095, (1986)
An Architecture for Tool Integration
Submitted by rhc on Thu, 03/26/2009 - 22:29An Architecture for Tool Integration,
, Advanced Programming Environments, Number 244, New York, p.112-125, (1986)
Choices (Class Hierarchical Open Interface for Custom Embedded Systems)
Submitted by rhc on Thu, 03/26/2009 - 22:29Choices (Class Hierarchical Open Interface for Custom Embedded Systems),
, Fourth Workshop on Real-Time Operating Systems, July, Cambridge, Mass., p.12-18, (1987)
PLEASE: Predicate Logic based ExecutAble SpEcifications
Submitted by rhc on Thu, 03/26/2009 - 22:29PLEASE: Predicate Logic based ExecutAble SpEcifications,
, Proceedings of the 1986 ACM Computer Science Conference, February, p.349-358, (1986)
PLEASE: A Language for Incremental Software Development
Submitted by rhc on Thu, 03/26/2009 - 22:29PLEASE: A Language for Incremental Software Development,
, The Fourth International Workshop on Software Specification and Design, April, Monterey, Calif., p.249-256, (1987)
Supporting the Software Development Process with Attributed NLC Graph Grammars
Submitted by rhc on Thu, 03/26/2009 - 22:29Supporting the Software Development Process with Attributed NLC Graph Grammars,
, Proceedings of the International Conference on Graph Grammars, Volume 291, New York, p.309-325, (1987)
The Design of a Multiprocessor Operating System
Submitted by rhc on Thu, 03/26/2009 - 22:29The Design of a Multiprocessor Operating System,
, Proceedings of the USENIX C++ Workshop, November, Santa Fe, New Mexico, p.109--125, (1987)
Choices (Class Hierarchical Open Interface for Custom Embedded Systems)
Submitted by rhc on Thu, 03/26/2009 - 22:29Choices (Class Hierarchical Open Interface for Custom Embedded Systems),
, Operating Systems Review, Volume 21, Number 3, p.9-17, (1987)
Automating the Software Development Process
Submitted by rhc on Thu, 03/26/2009 - 22:29Automating the Software Development Process,
, Proceedings of the 1988 ACM Computer Science Conference, February, Atlanta, GA, p.299--308, (1988)