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)
Sonstige Artikel:
Einführung in die Betriebswirtschaftliche Steuerlehre: mit Fallbeispielen, Übungsaufgaben und Lösungen
von Volker Breithecker
Vorsicht Bürgerkrieg!: Was lange gärt, wird endlich Wut
Wichtige Steuerrichtlinien: Richtlinien in Auszügen zur Abgabenordnung, Einkommensteuer, Lohnsteuer, Körperschaftsteuer, Gewerbesteuer, Umsatzsteuer
von Ralf Walkenhorst (Bearbeitet von)
 
   
 
     
|<< 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