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: 304 | Total: 354  | 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: 362 | Total: 412  | Access Period:
 650-678
HTML
XML
PDF

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

OK