- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 6th International Workshop Aspect-Oriented Modeling (AOM'05), Chicago, USA, 2005, S.
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2005
- Urheber
- URN
-
urn:nbn:de:bvb:384-opus4-447534
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:36 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Zhang, Gefei
- Baumeister, Hubert
- Koch, Nora
- Knapp, Alexander
- Universität Augsburg
Entstanden
- 2005
Ähnliche Objekte (12)
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
A formal approach to object oriented software engineering
Case studies with CafeOBJ
A Formal Approach to Object-Oriented Software Engineering
A formal approach to object-oriented software engineering
UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications)
On the Correctness of the SIMT Execution Model of GPUs
Embedding Constraint Relationships into C-Semirings
A formal semantics for UML interactions
Semantics of UML state machines
Model checking and code generation for UML state machines and collaborations
Executing Underspecified OCL Operation Contracts with a SAT Solver
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
A formal approach to object oriented software engineering
Case studies with CafeOBJ
A Formal Approach to Object-Oriented Software Engineering
A formal approach to object-oriented software engineering
UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications)
On the Correctness of the SIMT Execution Model of GPUs
Embedding Constraint Relationships into C-Semirings
A formal semantics for UML interactions
Semantics of UML state machines
Model checking and code generation for UML state machines and collaborations
Executing Underspecified OCL Operation Contracts with a SAT Solver
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
A formal approach to object oriented software engineering
Case studies with CafeOBJ
A Formal Approach to Object-Oriented Software Engineering
A formal approach to object-oriented software engineering
UWE – Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE – An Approach for the Model-Driven Development of Web Applications)
On the Correctness of the SIMT Execution Model of GPUs
Embedding Constraint Relationships into C-Semirings
A formal semantics for UML interactions
Semantics of UML state machines
Model checking and code generation for UML state machines and collaborations