Suche in der Hochschulbibliografie

Suche nach: Person = 'Habel, Annegret'

Treffer 31-40 von 51

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

31
49GBVUOB_ALMA2123663735000350149GBVUOB_ALMA21236637350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236637350003501
Artikel
ENFORCe : a system for ensuring formal correctness of high-level programs
von Karl Azab ; Annegret Habel ; Karl-Heinz Pennemann ; Christian Zuckschwerdt
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Habel, AnnegretPennemann, Karl-Heinz ([2004-])Zuckschwerdt, ChristianAzab, Karl
Enthalten in: Preliminary proceedings / 3rd International Workshop on Graph Based Tools 2006 S. 82 - 93
Sprache: Englisch
>> Volltext
32
dedupmrg123809356749GBVUOB_ALMA21174431480003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21174431480003501
Buch
Berichte aus dem Department für Informatik der Fakultät II, Informatik, Wirtschafts- und Rechtswissenschaften: Weakest preconditions for high-level programs : (long version)
von Annegret Habel ; Karl-Heinz Pennemann ; Arend Rensink
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Pennemann, Karl-Heinz ([2004-])Habel, Annegret
Verlag: Oldenburg: Carl-von-Ossietzky-Univ., Dept. für Informatik
Umfang: 35, 5 S. graph. Darst..
Weitere Angaben:
Literaturverz. S. 16 - 18
Schlagwörter: Forschungsbericht
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät II, Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät II, Informatik, Wirtschafts- und Rechtswissenschaften ; 2006, 8
Sprache: Englisch
33
49GBVUOB_ALMA2123704632000350149GBVUOB_ALMA21237046320003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237046320003501
Artikel
Adhesive high-level replacement systems : a new categorical framework for graph transformation
von Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Habel, Annegret
Enthalten in: Fundamenta informaticae 74 (2006), 1, S. 1 - 29
Sprache: Englisch
34
49GBVUOB_ALMA2123646068000350149GBVUOB_ALMA21236460680003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236460680003501
Artikel
Nested constraints and application conditions for high-level structures
von Annegret Habel ; Karl-Heinz Pennemann
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Pennemann, Karl-Heinz ([2004-])Habel, Annegret
Enthalten in: Formal methods in software and systems modeling Berlin [u.a.], 2005 S. 293 - 308
Sprache: Englisch
>> Volltext
35
49GBVUOB_ALMA2123696278000350149GBVUOB_ALMA21236962780003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236962780003501
Artikel
Modelling parametric contracts and the state space of composite components by graph grammars
von Ralf Reussner ; Jens Happe ; Annegret Habel
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Happe, Jens ([2004-2008])Habel, AnnegretReussner, Ralf ([2003-2009])Reussner, Ralf H. Reussner, Ralf Heinrich Reussner, R. H.
Enthalten in: Fundamental approaches to software engineering Berlin, 2005 S. 80 - 95
Sprache: Englisch
>> Volltext
36
49GBVUOB_ALMA2123686678000350149GBVUOB_ALMA21236866780003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236866780003501
Artikel
Parallel independence in hierachical graph transformation
von Annegret Habel ; Berthold Hoffmann
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Habel, Annegret
Enthalten in: Graph transformations Berlin [u.a.], 2004 S. 178 - 193
Sprache: Englisch
37
49GBVUOB_ALMA2117514725000350149GBVUOB_ALMA21175147250003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21175147250003501
Buch
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin: Adhesive high-level replacement categories and systems : long version
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Habel, Annegret
Verlag: Berlin: Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Umfang: [25] S.
Schlagwörter: Forschungsbericht
Übergeordnetes Werk: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Verknüpfte Titel: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; Bericht-Nr. 2004,8
Notation: inf 540
Sprache: Englisch
38
49GBVUOB_ALMA2123686233000350149GBVUOB_ALMA21236862330003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236862330003501
Artikel
Constraints and application conditions : from graphs to high-level structures
von Hartmut Ehrig ; Karsten Ehrig ; Annegret Habel ; Karl-Heinz Pennemann
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Habel, AnnegretPennemann, Karl-Heinz ([2004-])
Enthalten in: Graph transformations Berlin [u.a.], 2004 S. 287 - 303
Sprache: Englisch
39
49GBVUOB_ALMA2123685863000350149GBVUOB_ALMA21236858630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236858630003501
Artikel
Adhesive high-level replacement categories and systems
von Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Habel, Annegret
Enthalten in: Graph transformations Berlin [u.a.], 2004 S. 144 - 160
Sprache: Englisch
40
49GBVUOB_ALMA2123619944000350149GBVUOB_ALMA21236199440003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236199440003501
Artikel
Relabelling in graph transformation
von Annegret Habel ; Detlef Plump
2002
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Habel, Annegret
Enthalten in: Graph transformation Berlin [u.a.], 2002 S. [135] - [147]
Sprache: Englisch
>> Volltext