Dynamic symbolic data structure repair
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assertions. But in practice there is a wide variety of assertions and not all of them satisfy the style rules imposed by existi...
Uloženo v:
| Vydáno v: | 2010 ACM/IEEE 32nd International Conference on Software Engineering Ročník 2; s. 215 - 218 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
New York, NY, USA
ACM
01.05.2010
IEEE |
| Edice: | ACM Conferences |
| Témata: |
Software and its engineering
> Software creation and management
> Software development techniques
> Error handling and recovery
Software and its engineering
> Software creation and management
> Software verification and validation
Software and its engineering
> Software notations and tools
> General programming languages
> Language features
> Classes and objects
|
| ISBN: | 9781605587196, 1605587192 |
| 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!