«Syspect»

Dokumente

 

weiter zum Seitenanfang

1 Anleitungen

  • Kurzanleitung zur Installation von Syspect aus den Quelldateien.

 

weiter zum Seitenanfang zurück

2 Dokumente aus dem Entwicklungsprozess

Diese Dokumente wurden von der studentischen Projektgruppe Syspect geschrieben, die Syspect ursprnglich entwickelt hat.

 

weiter zum Seitenanfang zurück

3 Veröffentlichungen

[FLOQ11]
Johannes Faber, Sven Linker, Ernst-Rdiger Olderog, and Jan-David Quesel. Syspect - modelling, specifying, and verifying real-time systems with rich data. International Journal of Software and Informatics, 5(1-2):117-137, 2011. ISSN 1673-7288.
[ bib | http | Abstract ]

[FIJSS10]
Johannes Faber, Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans. Automatic verification of parametric specifications with complex topologies. Reports of SFB/TR 14 AVACS 66, SFB/TR 14 AVACS, 2010. ISSN: 1860-9821, http://www.avacs.org.
[ bib | .pdf | Abstract ]

[MORW08]
M. Mller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Integrating a formal method into a software engineering process with UML and Java. Formal Apsects of Computing, 20:161-204, 2008.
[ bib | Abstract ]

[MFHR08]
R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko. Model checking duration calculus: A practical approach. Formal Aspects of Computing, 20(4-5):481-505, July 2008. ISSN 0934-5043 (Print) 1433-299X (Online).
[ bib | .pdf | Abstract ]

 zum Seitenanfang zurück