Leif Geiger - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged OCL

Extensive Validation of OCL Models by Integrating SAT Solving into USEMirco Kuhlmann, Lars Hamann, Martin Gogolla. TOOLS 2011: 290-306 [doi]

Extending Variability for OCL InterpretationClaas Wilke, Michael Thiele, Christian Wende. MoDELS 2010: 361-375 [doi]

On the Need of User-deﬁned Libraries in OCLThomas Baar. eceasst, 36, 2010. [doi]

Temporal Extensions of OCL RevisitedMichael Soden, Hajo Eichler. ECMDA-FA 2009: 190-205 [doi]

Modélisation de contraintes d intégrité spatiales avec OCLFrancois Pinet, Magali Duboisset, Michel Schneider. rig, 19(1):93-122, 2009. [doi]

On Better Understanding OCL Collections ::::or:::: An OCL Ordered Set Is Not an OCL SetFabian Büttner, Martin Gogolla, Lars Hamann, Mirco Kuhlmann, Arne Lindow. MoDELS 2010: 276-290 [doi]

Extending OCL with Null-ReferencesAchim D. Brucker, Matthias P. Krieger, Burkhart Wolff. MoDELS 2010: 261-275 [doi]

Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics SupportMatthias Bräuer, Birgit Demuth. eceasst, 9, 2008. [doi]

Applying OCL to the development of SWSDiana M. Sánchez Fuquene, César J. Acuña, José María Cavero Barca, Esperanza Marcos Martínez. ijcat, 33(4):337-346, 2008. [doi]

Extended OCL for Goal MonitoringWilliam N. Robinson. eceasst, 9, 2008. [doi]

How My Favorite Tool Supporting OCL Must Look LikeDan Ioan Chiorean, Vladiela Petrascu, Dragos Petrascu. eceasst, 15, 2008. [doi]

Specifying Executable Platform-Independent Models using OCLPierre Kelsen, Elke Pulvermueller, Christian Glodt. eceasst, 9, 2008. [doi]

ECEASST Building an Efficient Component for OCL EvaluationManuel Clavel, Marina Egea, Garcia de Dios Miguel Angel. eceasst, 15, 2008. [doi]

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex PurseEmine G. Aydal, Richard F. Paige, Jim Woodcock. eceasst, 9, 2008. [doi]

A Benchmark for OCL Engine Accuracy, Determinateness, and EfficiencyMartin Gogolla, Mirco Kuhlmann, Fabian Büttner. MoDELS 2008: 446-459 [doi]

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational RelationshipsMirco Kuhlmann, Martin Gogolla. eceasst, 9, 2008. [doi]

Efficient Integrity Checking for Essential MOF + OCL in Software RepositoriesMiguel Garcia. jot, 7(6):101-119, 2008. [doi]

OCL: Modularising the LanguageDavid Akehurst, Steffen Zschaler, Gareth Howells. In {Ocl4All}: Workshop at MoDELS 2007, Electronic Communications of the EASST. 2008:

OCL: Modularising the LanguageDavid H. Akehurst, Steffen Zschaler, W. Gareth J. Howells. eceasst, 9, 2008. [doi]

Integrating OCL and Model Transformations in FujabaMirko Stölzel, Steffen Zschaler, Leif Geiger. eceasst, 5, 2007. [doi]

Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics SupportMatthias Bräuer, Birgit Demuth. MoDELS 2007: 182-193 [doi]

Tool-Supported Method for the Extraction of OCL from ORM ModelsSergejus Sosunovas, Olegas Vasilecas. bis 2007: 449-463 [doi]

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex PurseEmine G. Aydal, Richard F. Paige, Jim Woodcock. MoDELS 2007: 194-205 [doi]

7th International Workshop on Ocl4All: Modelling Systems with OCLDavid H. Akehurst, Martin Gogolla, Steffen Zschaler. MoDELS 2007: 176-181 [doi]

Integrating OCL and Model Transformations in FujabaMirko Stölzel, Steffen Zschaler, Leif Geiger. In Proc. of OCLApps, the Workshop on OCL and Applications at MoDELS'2006. 2006:

Specification of Invariability in OCLPiotr Kosiuczenko. MoDELS 2006: 676-691 [doi]

Use of OCL in a Model Assessment Framework: An experience reportJoanna Dobroslawa Chimiak-Opoka, Chris Lenz. eceasst, 5, 2006. [doi]

On a time enriched OCL liveness templateJuliana Küster Filipe, Stuart Anderson. STTT, 8(2):156-166, 2006. [doi]

An MDA Framework Supporting OCLAchim D. Brucker, Jürgen Doser, Burkhart Wolff. eceasst, 5, 2006. [doi]

Semantic Issues of OCL: Past, Present, and FutureAchim D. Brucker, Jürgen Doser, Burkhart Wolff. eceasst, 5, 2006. [doi]

Theoretical study for the reaction of CH::3::OCl with Cl atomHong-Qing He, Jing-Yao Liu, Ze-Sheng Li, Chia-Chung Sun. jcc, 26(6):642-650, 2005. [doi]

Non-deterministic Constructs in OCL - What Does any() MeanThomas Baar. sdl 2005: 32-46 [doi]

Past- and Future-Oriented Time-Bounded Temporal Properties with OCLStephan Flake, Wolfgang Müller 0003. SEFM 2004: 154-163 [doi]

OCL 2.0 - Implementing the Standard for Multiple MetamodelsDavid H. Akehurst, Octavian Patrascoiu. ENTCS, 102:21-41, 2004. [doi]

On Message Specifications in OCLMarcel Kyas, Frank S. de Boer. ENTCS, 101:73-93, 2004. [doi]

Expressing Property Specification Patterns with OCLStephan Flake, Wolfgang Müller 0003. serp 2003: 595-603

MQL: a Powerful Extension to OCL for MOF QueriesDavid Hearnden, Kerry Raymond, Jim Steel. edoc 2003: 264-277 [doi]

YAAB (Yet Another AST Browser): Using OCL to Navigate ASTsGiuliano Antoniol, Massimiliano Di Penta, Ettore Merlo. IWPC 2003: 13 [doi]

The Definition of Transitive Closure with OCL - Limitations and ApplicationsThomas Baar. ershov 2003: 358-365 [doi]

Details of Formalized Relations in Feature Models Using OCLDetlef Streitferdt, Matthias Riebisch, Ilka Philippow. ECBS 2003: 297-304 [doi]

Emerging OCL toolsJosé Ambrosio Toval Álvarez, Víctor Requena, José Luis Fernández Alemán. SoSyM, 2(4):248-261, 2003. [doi]

OCL Goes Real-Time (position paper)Franz J. Rammig. isorc 2002: 423-424 [doi]

Towards OCL/RTMaría Victoria Cengarle, Alexander Knapp. FM 2002: 390-409 [doi]

IntroductionBran Selic. ocl 2002: 1-3 [doi]

OCL Goes Real-Time (Panel)Wei-Tek Tsai. isorc 2002: 421-422 [doi]

Specifying Component Invariants with OCLRolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing. gi 2001: 600-607

Temporal OCL Meeting Specification Demands for Business ComponentsStefan Conrad, Klaus Turowski. In Unified Modeling Language: Systems Analysis, Design and Development Issues. pages 151-165, 2001.

Introduction to OCLJos Warmer, Anneke Kleppe. TOOLS 1999: 405 [doi]

On the Expressive Power of OCLLuis Mandel, María Victoria Cengarle. FM 1999: 854-874 [doi]

Executing the OCLIan Oliver. ECOOPW 1999: 175

runs on WebDSL