Author

Profile picture
Constance Heitmeyer
Naval Research Laboratory
Washington, United States of America
2 articles by this author
Sort by:
Research Article
Formal Methods for Specifying, Validating, and Verifying Requirements
Constance Heitmeyer
10.3217/jucs-013-05-0607
 28-05-2007
 Unique: 470 | Total: 557  | Access Period:
 607-618
HTML
XML
PDF
Research Article
Applying the SCR Requirements Method to the Light Control Case Study
Constance Heitmeyer, Ramesh Bharadwaj
10.3217/jucs-006-07-0650
 28-07-2000
 Unique: 554 | Total: 656  | Access Period:
 650-678
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK