Travelled to:1 × Denmark
7 × USA
Collaborated with:∅ D.Craigen T.Ralston L.Yelowitz S.Lee W.P.d.Roever
Talks about:method (5) formal (4) industri (2) program (2) trustworthi (1) preliminari (1) transform (1) backtrack (1) algorithm (1) techniqu (1)
Person: Susan L. Gerhart
DBLP: Gerhart:Susan_L=
Contributed to:
1993
19931991
19891984
197919761975Wrote 8 papers:
- FME-1993-CraigenGR #formal method #industrial
- Formal Methods Reality Check: Industrial Usage (DC, SLG, TR), pp. 250–267.
- ICSE-1993-GerhartCR #formal method #industrial #using
- Observations on Industrial Practice Using Formal Methods (SLG, DC, TR), pp. 24–33.
- ICSE-1991-Gerhart #formal method #perspective
- Formal Methods: An International Perspective (SLG), pp. 36–37.
- TAV-1989-Gerhart #assessment #formal method #summary
- Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems (SLG), pp. 152–155.
- ICSE-1984-Gerhart #axiom #specification
- Application of Axiomatic Methods to a Specification Analyser (SLG), pp. 441–453.
- POPL-1979-LeeGR #algorithm #evolution
- The Evolution of List-Copying Algorithms (SL, WPdR, SLG), pp. 53–67.
- ICSE-1976-GerhartY #abstraction #backtracking #programming
- Control Structure Abstractions of the Backtracking Programming Technique (SLG, LY), p. 391.
- POPL-1975-Gerhart #program transformation
- Correctness-Preserving Program Transformations (SLG), pp. 54–66.