- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: International Journal on Software Tools for Technology Transfer, 20, 4, S. 355-358
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2018
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Springer Science and Business Media LLC
- (when)
-
2018
- Creator
- DOI
-
10.1007/s10009-018-0494-5
- URN
-
urn:nbn:de:bvb:384-opus4-1023430
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- ter Beek, Maurice H.
- Gnesi, Stefania
- Knapp, Alexander
- Universität Augsburg
- Springer Science and Business Media LLC
Time of origin
- 2018
Other Objects (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
A formal semantics for UML interactions
Case studies with CafeOBJ
Developing formal semantics of epkml
fOOSE - eine integrierte formale Softwareentwicklungsmethode
A formal semantics for OCL 1.4
A formal approach to object-oriented software engineering
A Formal Approach to Object-Oriented Software Engineering
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Formal methods for transport systems
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
A formal semantics for UML interactions
Case studies with CafeOBJ
Developing formal semantics of epkml
fOOSE - eine integrierte formale Softwareentwicklungsmethode
A formal semantics for OCL 1.4
A formal approach to object-oriented software engineering
A Formal Approach to Object-Oriented Software Engineering
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Formal methods for transport systems
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
A formal semantics for UML interactions
Case studies with CafeOBJ
Developing formal semantics of epkml
fOOSE - eine integrierte formale Softwareentwicklungsmethode
A formal semantics for OCL 1.4
A formal approach to object-oriented software engineering
A Formal Approach to Object-Oriented Software Engineering
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Formal methods for transport systems