Precise Documentation of Critical Software

David Lorge Parnas, Sergiy A. Vilkomir. Precise Documentation of Critical Software. In Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. pages 237-244, IEEE Computer Society, 2007. [doi]

Authors

David Lorge Parnas

Identified as David Lorge Parnas

Sergiy A. Vilkomir

This author has not been identified. Look up 'Sergiy A. Vilkomir' in Google