Author

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

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

OK