1
0
0
(1 - 19 von 21
)
Automated Deduction - CADE-17: 17th International Conference on...
books.google.de
Axel Dold. Representing, verifying and applying software development steps using the PVS system. In V.S. Alagar and Maurice Nivat, editors, Proceedings of the ...
Algebraic Methodology and Software Technology: 4th ...google.com
books.google.com
Representing , Verifying and Applying Software Development Steps using the PVS System * Axel Dold Abt . Künstliche Intelligenz , Universität Ulm , D
… Programming: International Seminar on … ...google.com
books.google.com
Software Development in PVS Using … Development Steps⋆ Axel Dold Universit ̈at Ulm Fakult ̈at für Informatik D Ulm, ...
Perspectives of System Informatics: Third International ...google.com
books.google.com
Axel Dold. Software Development in PVS using … Development Steps. In Dagstuhl Seminar on … Programming (April 98), LNCS,
Representing, Verifying and Applying Software dblpUni Trier
dblp.uni-trier.de
— Axel Dold: Representing, Verifying and Applying Software Development Steps using the PVS System. AMAST 1995: text to speech. › Dold95
An Extended View of Compiler …ctness - ScienceDirectScienceDirect
www.sciencedirect.com
von W Goerigk · · Zitiert von: 3 — Dold, 2000: Axel Dold. Formal Software Development using … Development Steps. Logos-Verlag, Berlin, PhD Thesis, University of Ulm, Germany. › pii
Software Development in PVS using … Development ...Universität Ulm
von A Dold · · Zitiert von: 4 — Axel Dold. Universit at Ulm. Fakult at f ur Informatik. D Ulm, Germany .uni-ulm.de. Proc. of a Dagstuhl Seminar on … ... › Publikationen
Representing, verifying and applying software development steps using...
link.springer.com
Development Steps using the PVS System*. Axel Dold. Abt. Kfinstliche Intelligenz,. Universit~t Ulm,. D Ulm, Germany dold@ inf ormat ik. uni-ulm, de. Abstract. In this paper … software development steps of different complexity are represented and verified using the (higher-order, strongly typed) specification and ...
Software Development in PVS Using … Development Steps |...
link.springer.com
This paper is concerned with a mechanized formal treatment of the transformational software development process in a unified framework. We utilize the PVS...
PVS Old User Links
pvs.csl.sri.com
Axel Dold of the University of Ulm, Germany presented a paper on Representing, Verifying and Applying Software Development Steps using the PVS system at the Fourth
Book Description: Axel Dold : Formal Software Development using...
www.logos-verlag.de
Logos Verlag Berlin, Germany, Axel Dold Formal Software Development using … Development Steps
Formal software development using … development steps |...
lod.b3kat.de
[This page as RDF]. Property, Value. isbd:P Berlin.
dcterms:creator.
<http://d-nb.info/gnd >.
dcterms:description.
Zugl: Ulm, Univ, Diss, 2000; vorgelegt von Axel Dold.
Representing, Verifying and Applying Software Development ...SRI International
www.csl.sri.com
by Axel Dold. Abstract. In this paper … software development steps of different complexity are represented and verified using the (higher-order, ... › amast95
Logos Verlag Berlin: Katalog
www.logos-verlag.com
Axel Dold Formal Software Development using … Development Steps (2000). Gunar Schorcht Entwurf integrierter Mobilkommunikationssysteme auf ...
CiteSeerX — Representing, Verifying and Applying Software Development...
citeseerx.ist.psu.edu
DBLP. Save to List; Add to Collection · …ct Errors · Monitor Changes. by System Axel Dold , Axel Dold , Abt Kunstliche Intelligenz ...
… Programming: Followup to a Dagstuhl Seminar ...
www.cs.rpi.edu
Representing, Verifying, and Applying … Software Development Steps Using PVS Axel Dold. This talk shows how to use the specification and verification ...
PVS PhD Theses
pvs.csl.sri.com
Formal Software Development using … Development Steps Axel Dold, UniversitŠt Ulm, Germany, Real-Time Reactive System Development - A Formal Approach Based on UML and PVS Darmalingum Muthiayen, Concordia University, Available by request to .ca.
… Programming: Followup to a Dagstuhl Seminar -- Specification...
www.cs.rpi.edu
… Software Development Steps Using PVS. Axel Dold. Filter-based Model Checking of Partial Systems. Matthew B. Dwyer and Corina S. Pasareanu ...
Alle Infos zum Namen "Axel Dold"
sortiert nach Relevanz / Datum