Format:
XV, 226 S.
,
graph. Darst.
,
21 cm, 365 gr.
ISBN:
9783832253639
,
3832253637
Series Statement:
Berichte aus der Softwaretechnik
Note:
Zugl.: Zürich, Univ., Diss., 2006
Additional Edition:
Erscheint auch als Online-Ausgabe Seybold, Christian, 1976- Simulation teilformaler Anforderungsmodelle Aachen : Shaker, 2006
Language:
German
Keywords:
Requirements engineering
;
Softwareprodukt
;
Softwarespezifikation
;
Simulation
;
Model Checking
;
Validierung
;
Hochschulschrift
Bookmarklink