Folgen
Constance HEITMEYER or Connie HEITMEYER
Constance HEITMEYER or Connie HEITMEYER
Naval Research Laboratory
Bestätigte E-Mail-Adresse bei nrl.navy.mil
Titel
Zitiert von
Zitiert von
Jahr
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
8421996
Using model checking to generate tests from requirements specifications
A Gargantini, C Heitmeyer
ACM SIGSOFT Software Engineering Notes 24 (6), 146-162, 1999
5801999
A security model for military message systems
CE Landwehr, CL Heitmeyer, J McLean
ACM Transactions on Computer Systems (TOCS) 2 (3), 198-222, 1984
2661984
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
2651998
Formal methods for real-time computing
C Heitmeyer, D Mandrioli
John Wiley & Sons, 1996
2561996
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
SCR: A toolset for specifying and analyzing software requirements
C Heitmeyer, J Kirby, B Labaw, R Bharadwaj
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
2171998
Model checking complete requirements specifications using abstraction
R Bharadwaj, CL Heitmeyer
Automated Software Engineering 6, 37-68, 1999
2081999
Consistency checking of SCR-style requirements specifications
C Heitmeyer, B Labaw, D Kiskis
Proceedings of 1995 IEEE International Symposium on Requirements Engineering …, 1995
2011995
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
2001995
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
1242005
Software cost reduction
C Heitmeyer
Encyclopedia of software engineering 2, 1374-1380, 2002
1222002
Automatic generation of state invariants from requirements specifications
R Jeffords, C Heitmeyer
Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of …, 1998
1101998
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
1101997
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
1062006
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
1041992
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20