|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 5 van 9 gevonden artikelen
| Titel: |
Formal software development in the Verification Support Environment (VSE) |
| Auteur: |
Hutter, Dieter Langenstein, Bruno Rock, Georg Siekmann, Jorg H. Stephan, Werner Vogt, Roland |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 12 (2000) nr. 4 pagina's 383-406 |
| Jaar: |
2000-10-01 |
| Inhoud: |
In this paper a survey of the VSE system, a CASE-tool for formal software development, is presented. Main emphasis is put on the underlying formal method and tool support, and that in particular from the deductive support perspective. In order to demonstrate its broad range of applicability and to give an impression on how to work with the system we make use of two (commercial) applications taken from the safety and the IT-security domain. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 5 van 9 gevonden artikelen
| << vorige | volgende >> |