Search results: Found 2

Listing 1 - 2 of 2
Sort by
Specification and verification of object-oriented software components

Author:
ISBN: 3866440421 Year: Pages: XVIII, 248 p. DOI: 10.5445/KSP/1000004542 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

Marie Luise Gotheins "Geschichte der Gartenkunst"

Author:
ISBN: 9783947732456 Year: Pages: 340 DOI: 10.17885/heiup.627 Language: German
Publisher: Heidelberg University Publishing (heiUP)
Subject: Architecture
Added to DOAB on : 2020-12-22 00:12:18
License:

Loading...
Export citation

Choose an application

Abstract

Listing 1 - 2 of 2
Sort by
Narrow your search

Publisher

Heidelberg University Publishing (heiUP) (1)

KIT Scientific Publishing (1)


License

CC by-nc-nd (1)

CC by-sa (1)


Language

german (2)


Year
From To Submit

2020 (1)

2006 (1)