Zum Inhalt springen

  2. Graham, Ian [VerfasserIn]; Henderson-Sellers, Brian [VerfasserIn]; Younessi, Houman [VerfasserIn]

    The OPEN process specification

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York [u.a.]: ACM Press [u.a.], c 1997

    Erschienen in: The OPEN series

  3. Tennent, Robert D. [VerfasserIn]; Tennent, R. D. [VerfasserIn]

    Specifying software : a hands-on introduction

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge [u.a.]: Cambridge Univ. Press, 2002

  11. Prehn, Sœren [HerausgeberIn] ; Europäische Kommission VDM Europe Working Group, VDM 4 1991 Noordwijkerhout

    Formal software development methods : 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands October 21 - 25, 1991; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer-Verl., 19XX-

    Erschienen in: Lecture notes in computer science ; .

  12. Alagar, Vangalur S. [VerfasserIn]; Periyasamy, K. [VerfasserIn]

    Specification of software systems

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York; Heidelberg [u.a.]: Springer, 1998

    Erschienen in: Graduate texts in computer science

  15. Leue, Stefan [HerausgeberIn]; Systä, Tarja Johanna [Sonstige Person, Familie und Körperschaft] ; International Workshop Scenarios: Models, Transformations and Tools 2003 Dagstuhl

    Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3466

  16. Malloy, Brian [HerausgeberIn]; Staab, Steffen [Sonstige Person, Familie und Körperschaft]; Brand, Mark van den [Sonstige Person, Familie und Körperschaft] ; SLE 3 2010 Eindhoven

    Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6563

  19. Julliand, Jacques [HerausgeberIn]; Kouchnarenko, Olga [Sonstige Person, Familie und Körperschaft] ; International Conference of B Users 7 2007 Besançon

    B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4355

  20. Treharne, Helen [HerausgeberIn]; King, Steve [Sonstige Person, Familie und Körperschaft]; Henson, Martin [Sonstige Person, Familie und Körperschaft]; Schneider, Steve [Sonstige Person, Familie und Körperschaft] ; ZB 4 2005 Guildford

    ZB 2005: formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3455