Titel:

Model-Checking von Java-Programmen

Beschreibung:  Beim Testen wird das Verhalten des Gesamtsystems oder eines Teilesystems aufgrund ausgewählter Eingabevariablen in bestimmten Umgebungen getestet.
Autor:Marc Plümpe
english
  
ISBN: 3827328748   ISBN: 3827328748   ISBN: 3827328748   ISBN: 3827328748 
 
|<< Anfang     < Zurück     Index     Weiter >     Ende >>|
  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
  
Handbuch der Java-Programmierung: Standard Edition Version 6, m. DVD-ROM
Siehe auch:
Einstieg in Eclipse 3.5: RCP-, Web- und AJAX-A...
Java - kurz & gut
Java 6 Das Übungsbuch. 200 Aufgaben mit vollst...
Eclipse IDE - kurz & gut
Java
von Kopf bis Fuß
Android 2: Grundlagen und Programmierung
 
   
 
     
|<< Anfang     < Zurück     Index     Weiter >     Ende >>| 

Diese Seite ist Bestandteil des Projekts StudyPaper.com.
Dieser Artikel wurde uns freundlicherweise von Marc Plümpe zur Verfügung gestellt.

Zurück zur Themenseite:
StudyPaper.com/Startseite/Computer/Informatik

Das Setzen von Verweisen (Links) auf diese Seite ist gestattet und bedarf keine vorherige Absprache.
   
  english  |  Bookmark setzen  |  Webseite weiterempfehlen  |  Copyright ©  |  Impressum