Seuraa
Constance HEITMEYER or Connie HEITMEYER
Constance HEITMEYER or Connie HEITMEYER
Naval Research Laboratory
Vahvistettu sähköpostiosoite verkkotunnuksessa nrl.navy.mil
Nimike
Viittaukset
Viittaukset
Vuosi
Automated consistency checking of requirements specifications
CL Heitmeyer, RD Jeffords, BG Labaw
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 231-261, 1996
8361996
Using model checking to generate tests from requirements specifications
A Gargantini, C Heitmeyer
ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999
5791999
SCR: A toolset for specifying and analyzing requirements
C Heitmeyer, A Bull, C Gasarch, B Labaw
COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995
3991995
Using abstraction and model checking to detect safety violations in requirements specifications
C Heitmeyer, J Kirby, B Labaw, M Archer, R Bharadwaj
IEEE Transactions on software engineering 24 (11), 927-948, 1998
2671998
A security model for military message systems
CE Landwehr, CL Heitmeyer, J McLean
ACM Transactions on Computer Systems (TOCS) 2 (3), 198-222, 1984
2601984
Formal methods for real-time computing
C Heitmeyer, D Mandrioli
John Wiley & Sons, 1996
2541996
The generalized railroad crossing: A case study in formal verification of real-time systems
Heitmeyer, Lynch
1994 Proceedings Real-Time Systems Symposium, 120-131, 1994
2461994
Model checking complete requirements specifications using abstraction
R Bharadwaj, CL Heitmeyer
Automated Software Engineering 6, 37-68, 1999
2091999
Consistency checking of SCR-style requirements specifications
C Heitmeyer, B Labaw, D Kiskis
Proceedings of 1995 IEEE International Symposium on Requirements Engineering …, 1995
2011995
Requirements engineering and technology transfer: obstacles, incentives and improvement agenda
H Kaindl, S Brinkkemper, JA Bubenko Jr, B Farbey, SJ Greenspan, ...
Requirements Engineering 7, 113-123, 2002
1802002
On the need for practical formal methods
C Heitmeyer
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998
1461998
Applying formal methods to a certifiably secure software system
C Heitmeyer, M Archer, E Leonard, J McLean
IEEE Transactions on Software Engineering 34 (1), 82-98, 2008
1342008
A benchmark for comparing different approaches for specifying and verifying real-time systems
CL Heitmeyer, RD Jeffords, B Labaw
Proceedings of the tenth international workshop on real-time operating …, 1993
1321993
Tools for constructing requirements specifications: The SCR toolset at the age of ten
C Heitmeyer, M Archer, R Bharadwaj, R Jeffords
International Journal of Computer Systems Science and Engineering 20 (1), 19-35, 2005
1252005
Software cost reduction
C Heitmeyer
Encyclopedia of software engineering 2, 1374-1380, 2002
1202002
Tools for formal specification, verification, and validation of requirements
C Heitmeyer, J Kirby, B Labaw
Proceedings of COMPASS'97: 12th Annual Conference on Computer Assurance, 35-47, 1997
1121997
Automatic generation of state invariants from requirements specifications
R Jeffords, C Heitmeyer
Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of …, 1998
1091998
Formal specification and verification of data separation in a separation kernel for an embedded system
CL Heitmeyer, M Archer, EI Leonard, J McLean
Proceedings of the 13th ACM conference on Computer and communications …, 2006
1042006
Evaluating two aspects of direct manipulation in advanced cockpits
JA Ballas, CL Heitmeyer, MA Pérez-Quiñones
Proceedings of the SIGCHI conference on human factors in computing systems …, 1992
1031992
MT: A toolset for specifying and analyzing real-time systems
PC Clements, CL Heitmeyer, BG Labaw, AT Rose
1993 Proceedings Real-Time Systems Symposium, 12-22, 1993
851993
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20