1
0
0
(1 - 25 von 27
)
SVERTS Final Programme
www-verimag.imag.fr
16: :40, Temporal OCL Extensions for Specification of Real-Time Constraints Stephan Flake, slides paper abstract. 16: :
Mueller, Stephan G.: د Z-Library مفت الکترونیکی کتابتونps.booksc.me › author
ps.booksc.me
Formal semantics of static and temporal state-oriented OCL constraints · Stephan Flake, Wolfgang Mueller. مجله: Software & Systems Modeling.
Stephan Flake
www.db.informatik.uni-bremen.de
Stephan Flake, Wolfgang Mueller: An ASM Definition of the Dynamic OCL 2.0 Semantics, Seventh International Conference on the Unified Modeling Language - the ...
Wolfgang Muellerwww.db.informatik.uni-bremen.de › ...
www.db.informatik.uni-bremen.de
Stephan Flake, Wolfgang Mueller: An ASM Definition of the Dynamic OCL 2.0 Semantics, Seventh International Conference on the Unified Modeling Language ...
Object Modeling with the OCL: The Rationale behind the Object ...books.google.co.jp › books
books.google.co.jp
An OCL Extension for Real-Time Constraints Stephan Flake and Wolfgang Mueller C-LAB, Paderborn University, F ̈ Paderborn, Germany {flake ...
Perspectives of Systems Informatics: 5th International Andrei ...books.google.co.jp › books
books.google.co.jp
Stephan Flake and Wolfgang Mueller. A UML Profile for Real-Time Constraints with the OCL. In Jean-Marc Jézéquel, Heinrich Hussmann, and Stephan Cook, ...
An OCL Extension for Real-Time Constraints
adt.cs.upb.de
An OCL Extension for Real-Time Constraints Stephan Flake and Wolfgang Mueller C-LAB, Paderborn University, F¨ Paderborn, Germany
Spezifikation von Echtzeiteigenschaften mit OCL...
adt.cs.upb.de
Spezifikation von Echtzeiteigenschaften mit OCL f¨ur eine MFERT-basierte Fallstudie Stephan Flake, Wolfgang M¨uller C-LAB, Universit¨at Paderborn, F¨urstenallee
Towards the completion of the formal semantics of OCL 2.0dl.acm.org › doi › abs
dl.acm.org
Stephan Flake. C-LAB, Paderborn University, Paderborn, Germany. C-LAB, Paderborn University, Paderborn, Germany. View Profile. Authors Info & Claims.
Formal Semantics of OCL Messages - ScienceDirect.comwww.sciencedirect.com › science › article › pii › pdf
www.sciencedirect.com
Stephan Flake and Wolfgang Mueller1. C-LAB, Paderborn University Paderborn, Germany. Abstract. The latest OCL 2.0 proposal provides ...
OclType - A Type or Metatype? - UML Workshop OCL 2.0 Industry...
www.hni.uni-paderborn.de
OclType - A Type or Metatype? - UML Workshop OCL 2.0 Industry Standard or Scientific Playground? - Stephan Flake
Electronic Notes in Theoretical Computer Science, Volume dblpdblp.org › journals › entcs › entcs102
dblp.org
Stephan Flake: OclType - A Type or Metatype ? text to speech. view. electronic edition via DOI (open access); references & citations.
A UML Profile for Real-Time Constraints with the OCL | SpringerLink
link.springer.com
This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to...
An ASM Definition of the Dynamic OCL 2.0 Semantics - Springerlink.springer.com › chapter
link.springer.com
Stephan Flake &; Wolfgang Mueller. Conference paper Accesses. 3 Citations. Part of the Lecture Notes in Computer Science book series (LNCS,volume 3273) ...
An ASM Definition of the Dynamic OCL 2.0 Semantics | SpringerLink
link.springer.com
The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System...
Fakultät für Elektrotechnik, Informatik und Mathematik C-LABwww.c-lab.de › veroeffentlichungen › publikationen
www.c-lab.de
Stephan Flake, Wolfgang Müller: An OCL Extension for Real-Time Constraints. T. Clark and J. Warmer (eds.), Object Modeling with the OCL, LNCS 2263, ...
Formal Semantics of OCL Messages - CyberLeninkacyberleninka.org › article
cyberleninka.org
Formal Semantics of OCL Messages. Stephan Flake and Wolfgang Mueller1. C-LAB, Paderborn University Paderborn, Germany. Abstract.
OclType – A Type or Metatype ? – topic of research paper in Computer...
cyberleninka.org
Similar topics of scientific paper in Computer and information sciences , author of scholarly article — Stephan Flake. A Metamodel-Based OCL-Compiler for UML ...
Programme - di - fct/unlctp.di.fct.unl.pt › UML2004 › program
ctp.di.fct.unl.pt
Stephan Flake, Wolfgang Mueller. Towards a Framework for mapping between UML/OCL and XML/Xquery. Ahmed Gaafar, Sherif Sakr ...
OclType – A Type or Metatype ?www.infona.pl › resource
www.infona.pl
OclType – A Type or Metatype ? Stephan Flake · Details · Contributors · Fields of science · Bibliography · Quotations · Similar · Collections ...
OCL - researchr tag
researchr.org
Jos Warmer. Luis Reynoso. Manuel Clavel. Marcela Genero. Mario Piattini. Mark Richters. Martin Gogolla. Mirco Kuhlmann. Stephan Flake. Thomas Baar.
the rationale behind the Object Constraint Language - Tufts Universitytufts.primo.exlibrisgroup.com › fulldisplay
tufts.primo.exlibrisgroup.com
... and Mark Richters -- The Amsterdam Manifesto on OCL / Steve Cook [and others] -- An OCL extension for real-time constraints / Stephan Flake and Wolfgang ...
OCL 2.5 RTF — Open Issues - OMG Issue Trackerissues.omg.org › issues › OCL
issues.omg.org
· Author: Stephan Flake () Description: The OCL Standard Library type system should make use of the notation offered by the ...
OCL25 — Lack of operation specifications - OMG Issue Trackerissues.omg.org › issues › OCL
issues.omg.org
· Author: Stephan Flake () Description: Some operation specifications are still missing (they are marked by --TBD), e.g., ...
UML Profiles for Real-Time Systems and their Applications
www.jot.fm
[9] Stephan Flake and Wolfgang Mueller. A UML profile for real-time constraints with the OCL. In Jean-Marc Jézéquel, Heinrich Hussmann, and Stephen Cook, ...
Alle Infos zum Namen "Stephan Flake"
sortiert nach Relevanz / Datum