- Sprache
-
Englisch
- Umfang
-
18 Bl.
- ISBN
-
978-3-88457-913-8
- Identifier
-
871142767
- Reihe
-
ESPRIT project 125 - GRASPIN
Beteiligte Personen und Organisationen
Dehm, Bernd
Haensse, Thomas
Haensse, Thomas
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:50 MESZ
Objekttyp
- Monografie
Beteiligte
- Dehm, Bernd
- Haensse, Thomas
Ähnliche Objekte (12)
Stepwise construction of non sequential software systems using a net based specification language / Bernd Krämer
SEGRAS : the GRASPIN specification language / Bernd Krämer
SEGRAS : the specification language of the GRASPIN environment / Bernd Krämer
Interactive graphical specification in a syntax directed environment: the SEGRAS lab experience / Bernd Krämer
Description of V & V methods / Bernd Dehm ...
GRASPIN: a coherent methodology for software development
Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm
Method for establishing correct implementation steps / Thomas Haensse
Using symbolic evaluation to transform programs into algebraic descriptions : first experiences / Thomas Haensse
Simulator kernel : preliminary reference manual / Thomas Haensse ; Bernd Dehm
A modular approach to a Petri net simulation transformer for the GRASPIN environment
The command language for GRASPIN's lisp prototypes : reference manual
Stepwise construction of non sequential software systems using a net based specification language / Bernd Krämer
SEGRAS : the GRASPIN specification language / Bernd Krämer
SEGRAS : the specification language of the GRASPIN environment / Bernd Krämer
Interactive graphical specification in a syntax directed environment: the SEGRAS lab experience / Bernd Krämer
Description of V & V methods / Bernd Dehm ...
GRASPIN: a coherent methodology for software development
Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm
Method for establishing correct implementation steps / Thomas Haensse
Using symbolic evaluation to transform programs into algebraic descriptions : first experiences / Thomas Haensse
Simulator kernel : preliminary reference manual / Thomas Haensse ; Bernd Dehm
A modular approach to a Petri net simulation transformer for the GRASPIN environment
The command language for GRASPIN's lisp prototypes : reference manual
Stepwise construction of non sequential software systems using a net based specification language / Bernd Krämer
SEGRAS : the GRASPIN specification language / Bernd Krämer
SEGRAS : the specification language of the GRASPIN environment / Bernd Krämer
Interactive graphical specification in a syntax directed environment: the SEGRAS lab experience / Bernd Krämer
Description of V & V methods / Bernd Dehm ...
GRASPIN: a coherent methodology for software development
Analyzer verification tools : preliminary reference manual / Walter Sommer ; Bernd Dehm
Method for establishing correct implementation steps / Thomas Haensse
Using symbolic evaluation to transform programs into algebraic descriptions : first experiences / Thomas Haensse
Simulator kernel : preliminary reference manual / Thomas Haensse ; Bernd Dehm
A modular approach to a Petri net simulation transformer for the GRASPIN environment