Verification of Object-oriented Software - The Key Approach - Paperback - 2007
Estado :
Novo
Vendido por
País de expedição : Reino Unido
Resumo
The goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. This work emphasizes on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation.
Year of publication: 2007
Pagination: 694 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Year of publication: 2007
Pagination: 694 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Verification of Object-oriented Software - The Key Approach...
Resumo
The goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. This work emphasizes on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation.
Year of publication: 2007
Pagination: 694 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Year of publication: 2007
Pagination: 694 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Publicidade
Avaliações dos nossos clientes
Verification of Object-oriented Software - The Key Approach - Paperback - 2007
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
233 x 166 x 34
- Peso
-
1008
- Tema
-
Object-oriented programming (OOP)
- Origem
-
Germany
- EAN
-
9783540689775
Publicidade
Publicidade