Patterns in property specifications for finite-state verification
Model checkers and other finite-state verification tools allow developers to detect certain kinds of errors automatically. Nevertheless, the transition of this technology from research to practice has been slow. While there are a number of potential causes for reluctance to adopt such formal methods...
Uloženo v:
| Vydáno v: | Proceedings / International Conference on Software Engineering s. 411 - 420 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Konferenční příspěvek Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
New York, NY, USA
ACM
1999
IEEE |
| Edice: | ACM Conferences |
| Témata: |
Software and its engineering
> Software creation and management
> Designing software
> Requirements analysis
Software and its engineering
> Software notations and tools
> General programming languages
> Language features
> Patterns
Software and its engineering
> Software organization and properties
> Software functional properties
> Formal methods
> Model checking
Software and its engineering
> Software organization and properties
> Software system structures
> Distributed systems organizing principles
> Client-server architectures
|
| ISBN: | 1581130740, 9781581130744 |
| ISSN: | 0270-5257 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!