Treffer 1 - 12 von 12 für Suche '"Technical paper / ESPRIT Project 125 - GRASPIN"', Suchdauer: 2,17s Treffer weiter einschränken
  1. 1

    Abstract modular implementation of processes by predicate-event systems von Schmidt, Heinz W., Papazoglou, Michael P. 1953-

    Veröffentlicht 1985
    “… Technical paper / ESPRIT Project 125 - GRASPIN …”
    Buch
  2. 2

    Preliminary Graspin methodology description

    Veröffentlicht 1984
    “… Technical paper / ESPRIT project 125, GRASPIN …”
    Buch
  3. 3

    Description of V & V methods

    Veröffentlicht 1985
    “… Technical paper / ESPRIT Project 125 - GRASPIN …”
    Buch
  4. 4

    Stepwise construction of non-sequential software systems using a net-based specification language von Krämer, Bernd

    Veröffentlicht 1984
    “… Technical paper / ESPRIT project 125, GRASPIN …”
    Buch
  5. 5

    SEGRAS the specification language of the GRASPIN environment ; language reference manual von Krämer, Bernd

    Veröffentlicht 1990
    “… Technical paper / ESPRIT Project 125 - GRASPIN …”
    Buch
  6. 6

    Interactive graphical specification in a syntax-directed environment: the SEGRAS - Lab experience von Krämer, Bernd

    Veröffentlicht 1985
    “… Technical paper / ESPRIT project 125 - GRASPIN …”
    Buch
  7. 7

    Reportnr. GRA 23/2

    Veröffentlicht 1984
    “… Technical paper / ESPRIT Project 125 - GRASPIN …”
    Buch
  8. 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. 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. 10

    GRASPIN, a coherent methodology for software development von Heyderhoff, Peter

    Veröffentlicht 1984
    “… Technical paper / ESPRIT project 125, GRASPIN …”
    Buch
  11. 11

    Formal and semi-graphic specification of non-sequential systems von Krämer, Bernd

    Veröffentlicht 1984
    “… Technical paper / ESPRIT project 125, GRASPIN …”
    Buch
  12. 12

    Towards a net-theoretic notion of type based on predicate-transition nets von Schmidt, Heinz Wilhelm

    Veröffentlicht 1984
    “… Technical paper / ESPRIT project 125, GRASPIN …”
    Buch