Browsing by Author Parnas, David L.
Showing results 1 to 4 of 4
Publication Date | Title | Author(s) |
---|---|---|
Dec-2004 | A Comparative Study of Pre/postcondition and Relational Approaches to Program Development | Duan, Hong |
2000 | Deriving real-time monitors from system requirements documentation | Peters, Dennis K. |
Dec-2004 | Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach | Shi, Hongying |
1996 | Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism | Bharadwaj, Ramesh |
Showing results 1 to 4 of 4