Lawrence M. Smith

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The MK++ kernel, a descendant of Mach, was designed and implemented at the Open Group Research Institute. Independently , Computational Logic had developed a formal specification for the Mach kernel interface. We report on the adaptation of this specification to MK++, and its use in the derivation of a testing strategy for the MK++ implementation. The(More)
This paper presents a mechanism which a software development environment may use to help maintain consistency among the various parts of a developing or evolving software system. Our view of the development process considers that 1) the program is represented as a collection of structured objects in a database and 2) the program development environment(More)
  • 1