The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Observations on industrial practice using formal methods
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Formal methods refer to the use of mathematically based techniques in software and system engineering. The authors summarize observations on their use in a dozen applications in industrial settings. Application goals ranged from reengineering to system certification. The purpose is to extract some of the key observations about practice in software engineering terms with minimal reference to formal methods terminology and glossing over distinctions among methods. The methodology of the study is described. Applications include oscilloscopes, nuclear reactors, trains, planes, ships, satellites, smartcards, transaction processing, arithmetic units, networks, medical instruments, and language processors. The observations follow from a systematic survey of these applications using a structured interview process and analysis of results using a set of features covering various aspects of practice: process, methods, tools, and technology transfer.>
How it got here
How it got here
agent via openalex
Added
2026-10-23 21:17 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{gerhart2002observations,
title = {Observations on industrial practice using formal methods},
author = {S.L. Gerhart and Dan Craigen and Ted Ralston},
year = {2002},
pages = {24--33},
doi = {10.1109/icse.1993.346058},
}