Title:

Model-Checking von Java-Programmen

Description:  Beim Testen wird das Verhalten des Gesamtsystems oder eines Teilesystems aufgrund ausgewählter Eingabevariablen in bestimmten Umgebungen getestet.
Author:Marc Plümpe
deutsch
  
ISBN: 0130796662   ISBN: 0130796662   ISBN: 0130796662   ISBN: 0130796662 
 
|<< First     < Previous     Index     Next >     Last >>|
  Wir empfehlen:       
 

Ausarbeitung im Rahmen des Seminars zu Softwaretechnik Thema: Model-Checking von Java-Programmen Marc Plümpe Stadtlohnweg 15-B125 48161 Münster Betreuer: Prof. Dr. Herbert Kuchen
  
Graphic Java 1.2, Vol.1, Mastering Java Found, 3Ed (Prentice Hall (engl. Titel))
Sonstige Artikel:
Beurer 646.07 MG 220 Shiatsu-Sitzauflage
von Beurer
Die drei Fragezeichen - Folge 120: Der schwarze Skorpion
Geschichte der Antike: Ein Studienbuch
 
   
 
     
|<< First     < Previous     Index     Next >     Last >>| 

This web site is a part of the project StudyPaper.com.
We are grateful to Marc Plümpe for contributing this article.

Back to the topic site:
StudyPaper.com/Startseite/Computer/Informatik

External Links to this site are permitted without prior consent.
   
  deutsch  |  Set bookmark  |  Send a friend a link  |  Copyright ©  |  Impressum