| Autor: |
A. Alapide, S. Quaranta, S. Candia, M. Cinnella |
| Rok vydání: |
1996 |
| Předmět: |
|
| Zdroj: |
Achieving Quality in Software ISBN: 9781475743920 |
| Popis: |
This paper illustrates two different approaches for the application of Formal Methods (FM): integrated-parallel and after-the-fact. In the first approach FMs have been applied integrated and in parallel with structured methods starting from the design phase. In the second approach FMs have been applied after the whole application code had already been developed, before the delivery, to derive an abstract specification of the s/w system and verify that the most critical properties hold. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
