Author

Profile picture
Constance Heitmeyer
Naval Research Laboratory
Washington, United States of America
2 articles by this author
Sort by:
Formal Methods for Specifying, Validating, ...
Research Article
Formal Methods for Specifying, Validating, and Verifying Requirements
Constance Heitmeyer
10.3217/jucs-013-05-0607
 28-05-2007
 Unique: 1130 | Total: 1420
 607-618
HTML
XML
PDF
Applying the SCR Requirements Method ...
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: 872 | Total: 1075
 650-678
HTML
XML
PDF

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

OK