BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Finland
1 × France
1 × India
1 × Ireland
1 × The Netherlands
3 × Canada
6 × USA
Collaborated with:
R.D.Jeffords ∅ S.R.Faulk B.G.Labaw J.Kirby M.Archer E.I.Leonard R.Bharadwaj K.Pohl A.Gargantini P.Morris D.L.Kiskis J.A.Ballas M.A.Pérez T.Rothamel Y.A.Liu
Talks about:
requir (10) specif (6) scr (6) softwar (4) generat (4) develop (3) system (3) method (3) approach (2) specifi (2)

Person: Constance L. Heitmeyer

DBLP DBLP: Heitmeyer:Constance_L=

Facilitated 2 volumes:

MoDELS 2014PrCo

Contributed to:

ICTSS 20102010
FM 20092009
RE 20072007
LCTES 20062006
ICSE 20052005
ESEC/FSE 20032003
RE 20012001
ICRE 20002000
ESEC/FSE 19991999
RE 19991999
CAV 19981998
FSE 19981998
ICSE 19971997
RE 19971997
RE 19951995
CHI 19921992

Wrote 17 papers:

ICTSS-2010-Heitmeyer #approach #behaviour #modelling #testing
A Model-Based Approach to Testing Software for Critical Behavior and Properties (CLH), p. 15.
FM-2009-JeffordsHAL #composition #fault tolerance #formal method #refinement #using
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (RDJ, CLH, MA, EIL), pp. 173–189.
RE-2007-HeitmeyerJBA #development #lessons learnt
RE Theory Meets Software Practice: Lessons from the Software Development Trenches (CLH, RDJ, RB, MA), pp. 265–268.
LCTES-2006-RothamelLHL #generative #specification
Generating optimized code from SCR specifications (TR, YAL, CLH, EIL), pp. 135–144.
ICSE-2005-HeitmeyerP #case study #experience
Introduction to the experience reports track (CLH, KP), p. 480.
ESEC-FSE-2003-JeffordsH #requirements #verification
A strategy for efficiently verifying requirements (RDJ, CLH), pp. 28–37.
RE-2001-JeffordsH #algorithm #invariant #requirements #specification
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (RDJ, CLH), pp. 182–193.
ICRE-2000-Heitmeyer #requirements #research
Transferring Research Results in Requirements to Practice: Obstacles and Incentives (CLH), pp. 71–72.
ESEC-FSE-1999-GargantiniH #model checking #requirements #specification #testing #using
Using Model Checking to Generate Tests from Requirements Specifications (AG, CLH), pp. 146–162.
RE-1999-Heitmeyer #development
Increasing the Role of RE in the Development of Dependable Systems (CLH, PM), p. 191–?.
CAV-1998-HeitmeyerKLB #requirements #specification #tool support
SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.
FSE-1998-JeffordsH #automation #generative #invariant #requirements #specification
Automatic Generation of State Invariants from Requirements Specifications (RDJ, CLH), pp. 56–69.
ICSE-1997-FaulkH #evolution #realtime #requirements
Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (SRF, CLH), pp. 637–638.
ICSE-1997-HeitmeyerKL #requirements #specification #tool support #validation #verification
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
RE-1997-FaulkH #analysis #approach #requirements #specification
The SCR Approach to Requirements Specification and Analysis (SRF, CLH), p. 263.
RE-1995-HeitmeyerLK #consistency #requirements #specification
Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.
CHI-1992-BallasHP #aspect-oriented
Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits (JAB, CLH, MAP), pp. 127–134.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.