Constance Heitmeyer Or Connie Heitmeyer

Constance Heitmeyer Or Connie Heitmeyer

US Naval Research Laboratory - Washington / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4413929
person_outline Constance Heitmeyer Or Connie Heitmeyer's MOST POPULAR ARTICLES
1-) Automated consistency checking of requirements specifications ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 231-261, 1996
2-) Using model checking to generate tests from requirements specifications ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999
3-) SCR: A toolset for specifying and analyzing requirements COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995
4-) Using abstraction and model checking to detect safety violations in requirements specifications IEEE Transactions on software engineering 24 (11), 927-948, 2002
5-) A security model for military message systems ACM Transactions on Computer Systems (TOCS) 2 (3), 198-222, 1984