Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Rasch, Holger
'
Treffer 1-4 von 4
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Möller, Michael (2)
Olderog, Ernst-Rüdiger (2)
Rasch, Holger (4)
Wehrheim, Heike (4)
1
49GBVUOB_ALMA21236790080003501
49GBVUOB_ALMA21236790080003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236790080003501
Artikel
Integrating a formal method into a software engineering process with UML and Java
von
Michael Möller ; Ernst-Rüdiger Olderog ; Holger Rasch ; Heike Wehrheim
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Rasch, Holger
Wehrheim, Heike
Möller, Michael
Enthalten in:
Formal aspects of computing (2007), S. 1 - 44
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA21236586100003501
49GBVUOB_ALMA21236586100003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236586100003501
Artikel
Linking CSP-OZ with UML and Java : a case study
von
Michael Möller ; Ernst-Rüdiger Olderog ; Holger Rasch ; Heike Wehrheim
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Rasch, Holger
Wehrheim, Heike
Möller, Michael
Enthalten in:
Integrated formal methods Berlin [u.a.], 2004
Sprache:
Englisch
3
49GBVUOB_ALMA21236208110003501
49GBVUOB_ALMA21236208110003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236208110003501
Artikel
Checking consistency in UML diagrams : classes and state machines
von
Holger Rasch ; Heike Wehrheim
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Rasch, Holger
Enthalten in:
Formal methods for open object-based distributed systems Berlin [u.a.], 2003 S. 229 - 243
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA21236209010003501
49GBVUOB_ALMA21236209010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236209010003501
Artikel
Consistency between UML classes and associated state machines
von
Holger Rasch ; Heike Wehrheim
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Rasch, Holger
Enthalten in:
Workshop materials \"Consistency problems in UML-based software developments\" Ronneby, 2002 S. 46 - [60]
Sprache:
Englisch
>> Volltext
Seite 1 von 1
