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 41-50 von 74
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 5 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)
41
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
42
49GBVUOB_ALMA21236286410003501
49GBVUOB_ALMA21236286410003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236286410003501
Artikel
Optimizing slicing of formal specifications by deductive verification
von
Ingo Brückner ; Björn Metzler ; Heike Wehrheim
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Brückner, Ingo ([2002-])
Enthalten in:
Nordic journal of computing 13 (2006), 1-2, S. 22 - 45
Sprache:
Englisch
>> Volltext
43
49GBVUOB_ALMA21236690380003501
49GBVUOB_ALMA21236690380003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236690380003501
Artikel
Specification and (property) inheritance in CSP-OZ
von
Ernst-Rüdiger Olderog ; Heike Wehrheim
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Olderog, Ernst-Rüdiger
Enthalten in:
Science of computer programming 55 (2005), S. 227 - 257
Sprache:
Englisch
44
49GBVUOB_ALMA21236586360003501
49GBVUOB_ALMA21236586360003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236586360003501
Artikel
Preserving properties under change
von
Heike Wehrheim
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal methods for components and objects (FMCO 2003) 2004 15 S. <15>
Sprache:
Englisch
>> Volltext
45
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
46
49GBVUOB_ALMA21236169660003501
49GBVUOB_ALMA21236169660003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236169660003501
Artikel
Using coupled simulations in non-atomic refinement
von
John Derrick ; Heike Wehrheim
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
ZB 2003: Formal Specification and Development in Z and B Berlin [u.a.], 2003 S. 127 - 147
Sprache:
Englisch
>> Volltext
47
49GBVUOB_ALMA21236196850003501
49GBVUOB_ALMA21236196850003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236196850003501
Artikel
Behavioral subtyping relations for active objects
von
Heike Wehrheim
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal methods in system design 23 (2003), 2, S. 143 - 170
Sprache:
Englisch
48
49GBVUOB_ALMA21236169680003501
49GBVUOB_ALMA21236169680003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236169680003501
Artikel
Inheritance of temporal logic properties
von
Heike Wehrheim
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal methods for open object-based distributed systems Berlin [u.a.], 2003 S. 79 - 93
Sprache:
Englisch
>> Volltext
49
49GBVUOB_ALMA21236159550003501
49GBVUOB_ALMA21236159550003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236159550003501
Artikel
Specification and inheritance in CSP-OZ
von
Ernst-Rüdiger Olderog ; Heike Wehrheim
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Olderog, Ernst-Rüdiger
Enthalten in:
Formal methods for components and objects Berlin [u.a.], 2003 S. [361] - 379
Sprache:
Englisch
>> Volltext
50
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
Seite 5 von 8