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: 0471034657   ISBN: 0471034657   ISBN: 0471034657   ISBN: 0471034657 
 
|<< 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
  
Mobile Information Device Profile for Java 2 Micro Edition (J2ME): Professional Developer's Guide (Professional Developer's Guides)
von C. E. Ortiz,
Eric Giguère
Sonstige Artikel:
Steuern kompakt: Rechtslage 2011
von Thomas Stobbe
WMF 640667920 Weinausgießer mit Verschluss VINO
von WMF
Nix wie raus!: 111mal Natur entdecken und erleben
 
   
 
     
|<< 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