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.
A Lightweight Approach to Formal Methods
The work
| Authors | Sten Agerholm; Peter Gorm Larsen |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1998 |
| Citekey | agerholm1998lightweight |
Where it appeared
| Published in | Applied Formal Methods — FM-Trends 98 |
|---|---|
| Publisher | Springer |
| Pages | 168--183 |
Identifiers
| DOI | 10.1007/3-540-48257-1_10 |
|---|---|
| OpenAlex | W2727341304 |
Access
| Landing page | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.9515 |
|---|
Abstract
The main current trend in applied formal methods can be characterized by the term "lightweight". Historically, formal methods have been viewed as pure alternatives to traditionail development methodologies, demanding a revolutionary change in industry to adopt them. With a pragmatic, lightweight approach, the use of formed methods is complementing and improving existing development practices in a company in an evolutionary way, demonstrating more clearly the cost-effectiveness of formal methods. This paper presents our view on lightweight formal methods as a strategy for successful formal methods technology transfer to industry.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Not denied by | a person 2026-08-07 23:36 UTC |
Filed under
Cite it as
@inproceedings{agerholm1998lightweight,
title = {A Lightweight Approach to Formal Methods},
author = {Sten Agerholm and Peter Gorm Larsen},
year = {1998},
booktitle = {Applied Formal Methods — FM-Trends 98},
publisher = {Springer},
pages = {168--183},
doi = {10.1007/3-540-48257-1_10},
}
This record lives at https://refs.drheap.org/agerholm1998lightweight/ and will keep doing so.