Advanced lectures on software engineering LASER summer school 2007/2008 /
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by sof...
| Other Authors: | Müller, Peter, 1972-, SpringerLink (Online service) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
2010.
Berlin : 2010. |
| Physical Description: |
1 online resource (187 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
6029. Lecture notes in computer science. Tutorial. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |