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...
Saved in:
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: |
In Prospector
Similar Items
-
Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures
Published: (2008) -
Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Published: (2010) -
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
Published: (2011) -
Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
Published: (2012) -
Guide to advanced empirical software engineering
Published: (2008)