Name
Abstract | ||
|---|---|---|
Formal methods have offered great benefits, but often at a heavy price. For everyday software development, in which the pressures of the market don't allow full-scale formal methods to be applied, a more lightweight approach is called for. I'll outline an approach that is designed to provide immediate benefit at relatively low cost. Its elements are a small and succinct modelling language, and a fully automatic analysis scheme that can perform simulations and find errors. I'll describe some recent case studies using this approach, involving naming schemes, architectural styles, and protocols for networks with changing topologies. I'll make some controversial claims about this approach and its relationship to UML and traditional formal specification approaches, and I'll barbeque some sacred cows, such as the belief that executability compromises abstraction. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1007/3-540-45251-6_1 | FME |
Keywords | Field | DocType |
automatic analysis scheme,formal method,great benefit,traditional formal specification approach,controversial claim,lightweight formal methods,architectural style,executability compromises abstraction,full-scale formal method,everyday software development,lightweight approach,formal specification,software development | Abstraction,Software engineering,Unified Modeling Language,Computer science,Algorithm,Object language,Theoretical computer science,Formal specification,Refinement,Formal methods,Software development,Formal verification | Conference |
ISBN | Citations | PageRank |
3-540-41791-5 | 50 | 4.27 |
References | Authors | |
1 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniel Jackson | 1 | 144 | 18.46 |
| Jeannette M. Wing | 2 | 6429 | 874.60 |