Languages for operating systems description, design and implementation
Philip H. Enslow · 1979 International Workshop on Managing Requirements Knowledge (MARK) · 1979
The transfer of information about operating systems is severely hampered by the lack of suitable means for precise communication. If major progress is to be made in reducing the high cost of developing and maintaining system software, new communication techniques must be fashioned to improve both vertical and horizontal transfer of information about operating systems.