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 (Universität Oldenburg) = '
Wehrheim, Heike ((DE-588)1215708114)
'
Treffer 51-60 von 74
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 6 von 8
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 Schlagwort:
Algorithmus (1)
Black-Box-Test (1)
Blackbox (1)
Machine-Learning-Algorithmen (1)
Machine-Learning-Modell (1)
Maschinelles Lernen (1)
Metamorpher Test (1)
nach Person:
Bargmann, Lara (6)
Bartetzko, Detlef (1)
Beyer, Dirk (2)
Bila, Eleni (1)
Brückner, Ingo (2)
Dalvandi, Sadegh (2)
Demir, Caglar (2)
Denker, Grit (1)
Derrick, John (4)
Doherty, Simon (5)
Dongol, Brijesh (10)
Dräger, Klaus (1)
Dyck, Florian (1)
Finkbeiner, Bernd (1)
Fischer, Clemens (5)
Gehrke, Thomas (3)
Goltz, Ursula (2)
Haltermann, Jan (9)
Huhn, Michaela (4)
Hüllermeier, Eyke (1)
Jakobs, Marie-Christine (5)
Janßen, Christian (1)
König, Jürgen (1)
Lahav, Ori (2)
Lemberger, Thomas (2)
Leuschel, Michael (1)
Melnikov, Vitalik (1)
Metzler, Björn (1)
Möller, Michael (3)
Ngonga Ngomo, Axel-Cyrille (2)
Niebert, Peter (2)
Olderog, Ernst-Rüdiger (5)
Pauck, Felix (5)
Platzner, Marco (1)
Rasch, Holger (4)
Rensink, Arend (4)
Richter, Cedric (11)
Schellhorn, Gerhard (4)
Schott, Stefan (2)
Sharma, Arnab (4)
Thoben, Nicola (1)
Wehrheim, Heike (74)
Wiersema, Tobias (1)
nach Medientyp:
Artikel (72)
Bücher (3)
E-Books (1)
51
49GBVUOB_ALMA21237006800003501
49GBVUOB_ALMA21237006800003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237006800003501
Artikel
Checking behavioural subtypes via refinement
von
Heike Wehrheim
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal methods for open object-based distributed system V Boston, 2002 S. 79 - 93
Sprache:
Englisch
>> Volltext
52
49GBVUOB_ALMA21236698810003501
49GBVUOB_ALMA21236698810003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236698810003501
Artikel
Relating state-based and behaviour-oriented subtyping
von
Heike Wehrheim
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Nordic journal of computing 9 (2002), S. 405 - 435
Sprache:
Englisch
>> Volltext
53
49GBVUOB_ALMA21156118210003501
49GBVUOB_ALMA21156118210003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21156118210003501
Buch
Behavioural subtyping in object-oriented specification formalisms
von
Heike Wehrheim
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Umfang:
II, 205 S graph. Darst.
Weitere Angaben:
Oldenburg, Univ., Habil.-Schr., 2002
Schlagwörter:
Hochschulschrift
Notation:
inf 531
inf 341
inf 999
Sprache:
Englisch
54
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
55
49GBVUOB_ALMA21237114960003501
49GBVUOB_ALMA21237114960003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237114960003501
Artikel
Patterns and rules for behavioural subtyping
von
Heike Wehrheim
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal techniques for networked and distributed systems Boston [u.a.], 2001 S. 335 - 352
Sprache:
Englisch
>> Volltext
56
49GBVUOB_ALMA21236450850003501
49GBVUOB_ALMA21236450850003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236450850003501
Artikel
Jass - Java with assertions
von
Detlef Bartetzko ; Clemens Fischer ; Michael Möller ; Heike Wehrheim
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fischer, Clemens ([1995-2004])
Möller, Michael
Wehrheim, Heike
Enthalten in:
First Workshop on Runtime Verification 2001 15 Bl.
Sprache:
Englisch
>> Volltext
57
49GBVUOB_ALMA21237115590003501
49GBVUOB_ALMA21237115590003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237115590003501
Artikel
A CSP view on UML-RT structure diagrams
von
Clemens Fischer ; Ernst-Rüdiger Olderog ; Heike Wehrheim
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Wehrheim, Heike
Fischer, Clemens ([1995-2004])
Enthalten in:
Fundamental approaches to software engineering Berlin [u.a.], 2001 S. 91 - 108
Sprache:
Englisch
>> Volltext
58
49GBVUOB_ALMA21236337160003501
49GBVUOB_ALMA21236337160003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236337160003501
Artikel
Data abstraction techniques in the validation of CSP-OZ specifications
von
Heike Wehrheim
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal aspects of computing 12 (2000), S. 147 - 164
Sprache:
Englisch
59
49GBVUOB_ALMA21236358070003501
49GBVUOB_ALMA21236358070003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236358070003501
Artikel
Behavioural subtyping and property preservation
von
Heike Wehrheim
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal methods for open object-based distributed systems Boston [u.a.], 2000 S. 213 - 232
Sprache:
Englisch
>> Volltext
60
49GBVUOB_ALMA21236309410003501
49GBVUOB_ALMA21236309410003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236309410003501
Artikel
Specification of an automatic manufacturing system : a case study in using integrated formal methods
von
Heike Wehrheim
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Fundamental approaches to software engineering Berlin [u.a.], 2000 S. 334 - 348
Sprache:
Englisch
>> Volltext
Seite 6 von 8
Seite 6 von 8
