Zum Inhalt springen

Ellsberger, Jan [VerfasserIn]; Hogrefe, Dieter [VerfasserIn]; Sarma, Amardeo [VerfasserIn]

SDL : formal object-oriented language for communicating systems

Schließen

Merkliste

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

London [u.a.]: Prentice Hall, 1997
Pletat, Udo [VerfasserIn]

Die Semantik des Softwareentwicklungsprozesses

Schließen

Merkliste

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

1984
Rößler, Frank [VerfasserIn]

Collaboration-based design of communicating systems with SDL

Schließen

Merkliste

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

2002
Geppert, Birgit [VerfasserIn]

The SDL pattern approach : a reuse-driven SDL methodology for designing communication software systems

Schließen

Merkliste

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

2001
Grammes, Rüdiger [VerfasserIn]; Gotzhein, Reinhard [VerfasserIn]

Towards the harmonisation of UML and SDL : syntactic and semantic alignment

Schließen

Merkliste

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

Kaiserslautern: Techn. Univ., Fachbereich Informatik, [2003]

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 327
Hinkel, Ursula [VerfasserIn]

Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL

Schließen

Merkliste

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

1998
Rinderspacher, Markus [VerfasserIn]

Mathematische Modellierung und Verifikation von SDL-Systemen

Schließen

Merkliste

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

1996
Prinz, Andreas [VerfasserIn]

Formal semantics for SDL : definition and implementation

Schließen

Merkliste

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

Berlin: Professoren des Inst. für Informatik, 2001

Erschienen in: Informatik-Berichte ; 15500
Gerdsen, Peter [VerfasserIn]; Kröger, Peter [VerfasserIn]

Kommunikationssysteme

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, 19XX-
Gaudin, Emmanuel [HerausgeberIn]; Najm, Elie [Sonstige Person, Familie und Körperschaft]; Reed, Rick [Sonstige Person, Familie und Körperschaft] ; SDL 13 2007 Paris

SDL 2007: design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 ; proceedings

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, 2007

Erschienen in: Lecture notes in computer science ; 4745
Sherratt, Edel [HerausgeberIn] ; SAM 3 2002 Aberystwyth

Telecommunications and beyond : the broader applicability of SDL and MSC ; third international workshop ; revised papers

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, 2003

Erschienen in: Lecture notes in computer science ; 2599
Saracco, Roberto [VerfasserIn]; Smith, Jared R. [VerfasserIn]; Reed, Rick [VerfasserIn]

Telecommunications systems engineering using SDL

Schließen

Merkliste

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

Amsterdam [u.a.]: North-Holland, 1989
Turner, Kenneth J. [HerausgeberIn]

Using formal description techniques : an introduction to ESTELLE, LOTOS and SDL

Schließen

Merkliste

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

Chichester [u.a.]: Wiley, 1993

Erschienen in: Wiley series in communication and distributed systems
Færgemand, Ove [HerausgeberIn] ; SDL Forum 4 1989 Lissabon

SDL '89 : the language at work; proceedings of the 4. SDL Forum, Lisbon, Portugal, 9 - 13 October, 1989

Schließen

Merkliste

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

Amsterdam [u.a.]: North-Holland, 1989
Prinz, Andreas [HerausgeberIn] ; SDL 12 2005 Grimstad

SDL 2005: model driven : 12th International SDL Forum, Grimstad, Norway, June 20 - 23, 2005 ; proceedings

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 ; 3530
Reed, Rick [HerausgeberIn] ; SDL 11 2003 Stuttgart

SDL 2003: system design : 11th International SDL Forum, Stuttgart, Germany, July 1 - 4, 2003 ; proceedings

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, 2003

Erschienen in: Lecture notes in computer science ; 2708
Hogrefe, Dieter [VerfasserIn]

Estelle, LOTOS und SDL : Standard-Spezifikationssprachen für verteilte Systeme

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, 1989

Erschienen in: Springer Compass
Saracco, Roberto [HerausgeberIn] ; SDL Forum 3 1987 Den Haag

SDL '87 : state of the art and future trends : proceedings of the Third SDL Forum, The Hague, The Netherlands, April 1987

Schließen

Merkliste

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

Amsterdam [u.a.]: North-Holland, 1987
Reed, Rick [HerausgeberIn]; Bilgic, Attila [Sonstige Person, Familie und Körperschaft]; Gotzhein, Reinhard [Sonstige Person, Familie und Körperschaft] ; SDL 14 2009 Bochum

SDL 2009: design for motes and mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 ; proceedings

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, 2009

Erschienen in: Lecture notes in computer science ; 5719
Amyot, Daniel [HerausgeberIn]; Williams, Alan W. [HerausgeberIn] ; SAM 4 2004 Ottawa

System analysis and modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1 - 4, 2004 ; revised selected papers

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 ; 3319

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr