sign in · help · news · about ·

BibSonomy :: author :: Heitmeyer ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(78)

<< < 1 | 2 | 3 > >>

Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits.
James A. Ballas, Constance L. Heitmeyer, and Manuel A. Pérez CHI, page 127-134. ACM, (1992)
to dblp by dblp on Dec 21, 2011, 12:00 AM
URL | BibTeX
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems.
Tevfik Bultan, and Constance L. Heitmeyer Design Autom. for Emb. Sys. 12(1-2):97-137 (2008)
to dblp by dblp on Nov 29, 2011, 12:00 AM
URL | BibTeX
Abstract Requirements Specification: A New Approach and Its Application.
Constance L. Heitmeyer, and John D. McLean IEEE Trans. Software Eng. 9(5):580-589 (1983)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Critical Systems Development Using Modeling Languages CSDUML-04: Current Developments and Future Challenges Report on the Third International Workshop.
Jan Jürjens, Eduardo B. Fernández, Robert B. France, Bernhard Rumpe, and Constance L. Heitmeyer UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 76-84. Springer, (2004)
to dblp by dblp on Aug 4, 2011, 12:00 AM
URL | BibTeX
Applying Practical Formal Methods to the Specification and Analysis of Security Properties.
Constance L. Heitmeyer MMM-ACNS, volume 2052 of Lecture Notes in Computer Science, page 84-89. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Using Model Checking to Generate Tests from Requirements Specifications.
Angelo Gargantini, and Constance L. Heitmeyer ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 146-162. Springer, (1999)
to dblp by dblp and 1 other user on Jun 20, 2011, 12:00 AM
URL | BibTeX
On the Need for Practical Formal Methods.
Constance L. Heitmeyer FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 18-26. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda.
Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio Cesar Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, and Jawed I. A. Siddiqi Requir. Eng. 7(3):113-123 (2002)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Proving Invariants of I/O Automata with TAME.
Myla Archer, Constance L. Heitmeyer, and Elvinia Riccobene Autom. Softw. Eng. 9(3):201-232 (2002)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Model Checking Complete Requirements Specifications Using Abstraction.
Ramesh Bharadwaj, and Constance L. Heitmeyer Autom. Softw. Eng. 6(1):37-68 (1999)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Model-based construction and verification of critical systems using composition and partial refinement.
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, and Elizabeth I. Leonard Formal Methods in System Design 37(2-3):265-294 (2010)
to dblp by dblp on Feb 10, 2011, 12:00 AM
URL | BibTeX
The Role of HCI in CASE Tools Supporting Formal Methods
C. Heitmeyer (1994)
by tasawer on Dec 2, 2010, 12:41 AM
BibTeX
A Model-Based Approach to Testing Software for Critical Behavior and Properties.
Constance L. Heitmeyer ICTSS, volume 6435 of Lecture Notes in Computer Science, page 15. Springer, (2010)
to dblp by dblp on Nov 10, 2010, 12:00 AM
URL | BibTeX
Die Krise der Städte
Wilhelm Hrsg. Heitmeyer Edition Suhrkamp ; 2036 Suhrkamp, (1998)
to Stadtenwicklung-Bielefelds by linus3 on Dec 9, 2009, 12:29 PM
BibTeX
On the Role of Formal Methods in Software Certification: An Experience Report.
Constance L. Heitmeyer Electr. Notes Theor. Comput. Sci. 238(4):3-9 (2009)
to dblp by dblp on Dec 4, 2009, 12:00 AM
URL | BibTeX
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, and Elizabeth I. Leonard FM, volume 5850 of Lecture Notes in Computer Science, page 173-189. Springer, (2009)
to dblp by dblp on Nov 5, 2009, 12:00 AM
URL | BibTeX
Human-Style Theorem Proving Using PVS.
Myla Archer, and Constance L. Heitmeyer TPHOLs, volume 1275 of Lecture Notes in Computer Science, page 33-48. Springer, (1997)
to dblp by dblp on Sep 29, 2009, 12:00 AM
URL | BibTeX
SCR*: A Toolset for Specifying and Analyzing Software Requirements.
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, and Ramesh Bharadwaj CAV, volume 1427 of Lecture Notes in Computer Science, page 526-531. Springer, (1998)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
Gestaltung der Mitarbeiterauswahl und -beurteilung in mittelständischen Unternehmungen
Klaus Heitmeyer Kölner Schriften zur Betriebswirtschaft und Organisation Lang, Frankfurt am Main u.a., (1985)
to imported by fbw_hannover on Aug 21, 2009, 11:04 AM
URL | BibTeX
Assessment-Center, Gestaltungs- und Anwendungsmöglichkeiten
Klaus Heitmeyer, and Norbert Thom Materialien zum Personal- und Ausbildungswesen Staufenbiel, Köln, 3. Aufl edition, (1988)
to Personalwesen by fbw_hannover on Aug 21, 2009, 9:46 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper