The bibliographic entry was discovered and compiled by a machine, and let through without anybody vouching for it. The publication itself is the authors' own work — this badge says nothing about it.
A Lightweight Approach to Formal Methods
The work
| Title | A Lightweight Approach to Formal Methods |
|---|---|
| Authors | Sten Agerholm; Peter Gorm Larsen |
| Type | conference paper |
| 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.
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | not denied |
| Approved | 2026-08-07 |
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},
pages = {168--183},
publisher = {Springer},
doi = {10.1007/3-540-48257-1_10},
url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.9515},
}
This record lives at https://refs.drheap.org/agerholm1998lightweight/ and will keep doing so.