Abstract | ||
---|---|---|
views focus the development process, and support error correction.This approach provides an incremental use of formal methods: if no formal constraintsare defined, our system behaves like standard systems for service definition.However, the more constraints are added, the more reliable are the createdservices. This provides a `soft" entry into the world of formal methods avoidingdrastic changes, which would be costly and lead to acceptance problems.The major expected benefit is a... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/BFb0014354 | AMAST |
Keywords | DocType | ISBN |
Incremental Formalization | Conference | 3-540-61463-X |
Citations | PageRank | References |
5 | 1.05 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernhard Steffen | 1 | 4239 | 423.70 |
Tiziana Margaria | 2 | 2098 | 247.17 |
Andreas Claßen | 3 | 140 | 14.14 |
Volker Braun | 4 | 83 | 9.86 |