| Title: |
Strumenti di Verifica e Validazione di Codice Java |
| Authors: |
Florian Daniel; Federico M. Facca; Stefano Modafferi; Enrico Mussi |
| Contributors: |
The Pennsylvania State University CiteSeerX Archives |
| Source: |
http://intranet.dei.polimi.it/upload/ghezzi/_PRIVATE/V-V-Java.pdf. |
| Collection: |
CiteSeerX |
| Description: |
Sistemi informatici sempre più complessi sono ormai costantemente parte della vita di tutti i giorni di milioni di persone. Le applicazioni software che gestiscono questi sistemi informatici diventano man mano sempre più grosse e difficili da gestire e per questo l’incidenza del numero di bug al loro interno è diventata sempre più alta. La creazione di un software perfetto, ossia senza bug, è un obiettivo, che teoremi e anni di esperienza, hanno dimostrato impossibile. Tuttavia, con le conoscenze attuali, è possibile fare molto di più di quanto è stato fatto in passato per ricercare automaticamente bug all’interno del software. Java negli ultimi anni è stato al centro delle attenzioni dei programmatori per vari motivi tra cui spicca la portabilità, questo ha fatto sì che molti si siano interessati all’opportunità di studiare metodi |
| Document Type: |
text |
| File Description: |
application/pdf |
| Language: |
English |
| Relation: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.3417 |
| Availability: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.3417; http://intranet.dei.polimi.it/upload/ghezzi/_PRIVATE/V-V-Java.pdf |
| Rights: |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: |
edsbas.34D1054B |
| Database: |
BASE |