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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Müller, Peter (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Programming and Software Engineering, 6029
Subjects:
Software engineering.
Computer networks .
Compilers (Computer programs).
Computer science.
Computer programming.
Software Engineering.
Computer Communication Networks.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Online Access:Texto Completo
Table of Contents:
  • Fine-Grain Concurrency
  • Compensable Transactions
  • SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model
  • Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs
  • Fixpoints and Search in PVS
  • Multi Core Design for Chip Level Multiprocessing.

Similar Items