Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Softwareentwicklung 6 [ausschließen]
- GRASPIN 5 [ausschließen]
- Abstrakte Implementierung 1 [ausschließen]
- Algebraische Spezifikation 1 [ausschließen]
- Dialogsystem 1 [ausschließen]
- Graphische Programmiersprache 1 [ausschließen]
- Programmierumgebung 1 [ausschließen]
- Programmverifikation 1 [ausschließen]
- Rechnernetz 1 [ausschließen]
- Software Engineering 1 [ausschließen]
- Softwaretest 1 [ausschließen]
- Spezifikation 1 [ausschließen]
-
1
Abstract modular implementation of processes by predicate-event systems
Veröffentlicht 1985“… Technical paper / ESPRIT Project 125 - GRASPIN …”
Buch -
2
Preliminary Graspin methodology description
Veröffentlicht 1984“… Technical paper / ESPRIT project 125, GRASPIN …”
Buch -
3
Description of V & V methods
Veröffentlicht 1985“… Technical paper / ESPRIT Project 125 - GRASPIN …”
Buch -
4
Stepwise construction of non-sequential software systems using a net-based specification language
Veröffentlicht 1984“… Technical paper / ESPRIT project 125, GRASPIN …”
Buch -
5
SEGRAS the specification language of the GRASPIN environment ; language reference manual
Veröffentlicht 1990“… Technical paper / ESPRIT Project 125 - GRASPIN …”
Buch -
6
Interactive graphical specification in a syntax-directed environment: the SEGRAS - Lab experience
Veröffentlicht 1985“… Technical paper / ESPRIT project 125 - GRASPIN …”
Buch -
7
-
8
Foundation study for a personal software development workstation prototype pilot phase project report = (Reportnr.) GRA 36/3
Veröffentlicht 1984“… Technical paper / ESPRIT Project 125 - GRASPIN …”
Buch -
9
Foundation study for a personal software development workstation prototype pilot phase project report
Veröffentlicht 1984“… Technical paper / ESPRIT Project 125, GRASPIN …”
Buch -
10
GRASPIN, a coherent methodology for software development
Veröffentlicht 1984“… Technical paper / ESPRIT project 125, GRASPIN …”
Buch -
11
Formal and semi-graphic specification of non-sequential systems
Veröffentlicht 1984“… Technical paper / ESPRIT project 125, GRASPIN …”
Buch -
12
Towards a net-theoretic notion of type based on predicate-transition nets
Veröffentlicht 1984“… Technical paper / ESPRIT project 125, GRASPIN …”
Buch