|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 608 occurrences of 286 keywords
|
|
|
Results
Found 1079 publication records. Showing 1079 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
38 | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001 |
Automating commutativity analysis at the design level. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
proton therapy, model checking, formal specification, testing, concurrency, case study, OCL, alloy, commutativity, critical systems, radiation therapy, lightweight formal methods |
38 | Nora Koch, Martin Wirsing |
The Munich Reference Model for Adaptive Hypermedia Applications. |
AH |
2002 |
DBLP DOI BibTeX RDF |
UML, Formal Specification, OCL, Adaptive Hypermedia, Reference Model, Visual Modeling, Constraint Language |
37 | Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat 0001 |
A Property-Driven Approach to Formal Verification of Process Models. |
ICEIS (Selected Papers) |
2007 |
DBLP DOI BibTeX RDF |
Properties Validation, Temporal OCL, Models Semantics, Verification, Petri Nets, Process Model, Model Transformation, Metamodelling, LTL |
37 | Bernhard Beckert, Steffen Schlager |
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic |
36 | Martin Gogolla, Mirco Kuhlmann, Lars Hamann |
Consistency, Independence and Consequences in UML and OCL Models. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Samira Sadaoui, Malek Mouhoub, Xiao Feng Li |
An OCL-Based CSP Specification and Solving Tool. |
New Challenges in Applied Intelligence Technologies |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Raquel Pau, Jordi Cabot |
Paraphrasing OCL Expressions with SBVR. |
NLDB |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin |
Optimization Patterns for OCL-Based Model Transformations. |
MoDELS (Workshops) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Junqing Li 0001, Xin-you Li, Shengxian Xie, Chen Chen, Hui-Shan Yu, Guangliang Liu |
A fine-grained time-constraint role-based access control using OCL. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Anna Queralt, Ernest Teniente |
Reasoning on UML Class Diagrams with OCL Constraints. |
ER |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche |
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Martin Giese, Daniel Larsson |
Simplifying Transformations of OCL Constraints. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Kurt Stirewalt, Spencer Rugaber |
Automated Invariant Maintenance Via OCL Compilation. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider |
Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Hanna Bauerdick, Martin Gogolla, Fabian Gutsche |
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt |
An OCL Formulation of UML2 Template Binding. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Paul Ziemann, Martin Gogolla |
OCL Extended with Temporal Logic. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Martin Gogolla, Jörn Bohling, Mark Richters |
Validation of UML and OCL Models by Automatic Snapshot Generation. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Boris Roussev |
Generating OCL Specifications and Class Diagrams from Use Cases: A Newtonian Approach. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens |
Enriching OCL Using Observational Mu-Calculus. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
36 | María Victoria Cengarle, Alexander Knapp |
A Formal Semantics for OCL 1.4. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Jos Warmer, Anneke Kleppe |
Introduction to OCL. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté |
UML/OCL and Refinement. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
Mathematics extension, Global invariant, Local invariant, Refinement, Genericity, Inheritance, OCL, Class Library |
33 | Krzysztof Czarnecki 0001, Krzysztof Pietroszek |
Verifying feature-based model templates against well-formedness OCL constraints. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
model templates, UML, formal verification, model-driven development, software-product lines, configuration, OCL, feature modeling, feature interaction, metaprogramming |
32 | Robert Clarisó, Lars Hamann |
International Workshop on OCL and Textual Modeling (OCL 2023). |
MoDELS (Companion) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Elyes Cherfa |
Assistance à la spécification de contraintes OCL dans les métamodèles. (Assisting the creation of OCL constraints). |
|
2021 |
RDF |
|
32 | Kevin Lano |
Adding Regular Expression Operators to OCL. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
32 | Kevin Lano |
Implementing OCL in Swift. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
32 | Martin Gogolla, Loli Burgueño, Antonio Vallecillo |
Refactoring Collections in OCL. |
STAF Workshops |
2021 |
DBLP BibTeX RDF |
|
32 | Messaoud Abbas |
L'environnement FoCaLiZe au service d'UML/OCL. (The FoCaLiZe environment for UML/OCL service). |
|
2018 |
RDF |
|
32 | Robert Darimont, Christophe Ponsard, Michel Lemoine |
Goal-driven elaboration of OCL enriched UML class diagrams. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
32 | Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais |
SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints. |
D&P@MoDELS |
2016 |
DBLP BibTeX RDF |
|
32 | Frédéric Tuong |
Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL). |
|
2016 |
RDF |
|
32 | Achim D. Brucker, Frédéric Tuong, Burkhart Wolff |
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. |
Arch. Formal Proofs |
2014 |
DBLP BibTeX RDF |
|
32 | Jérôme Cantenot |
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. (Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation). |
|
2013 |
RDF |
|
32 | Imen Sayar |
D'Event-B vers UML/OCL en passant par UML/EM-OCL |
CoRR |
2012 |
DBLP BibTeX RDF |
|
32 | Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente |
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. |
Data Knowl. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente |
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
32 | Elizabeta Fourneret |
Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs. (Test Generation from UML/OCL Model for involving critical system). |
|
2012 |
RDF |
|
32 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Jordi Cabot, Tony Clark 0001, Manuel Clavel, Martin Gogolla |
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010). |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Joanna Chimiak-Opoka, Birgit Demuth |
Teaching OCL Standard Library: First Part of an OCL 2.x Course. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Magali Duboisset |
Un système de contraintes d'intégrité OCL pour les bases de données spatiales. Application à un système d'information pour l'épandage agricole. (A system of OCL integrity constraints for spatial databases. Application to an agricultural spreading information system). |
|
2007 |
RDF |
|
32 | Luis Reynoso, Marcela Genero, Mario Piattini |
Validating Metrics for OCL Expressions Expressed within UML/OCL models. |
Software Audit and Metrics |
2004 |
DBLP BibTeX RDF |
|
30 | Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin |
Experiments with a High-Level Navigation Language. |
ICMT@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
A Model Transformation Semantics and Analysis Methodology for SecureUML. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Marc Lohmann, Stefan Sauer 0001, Gregor Engels |
Executable Visual Contracts. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Liliana Favre |
Well-Founded Metamodeling for Model-Driven Architecture. |
SOFSEM |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Jeff Gray 0001, Stephen R. Schach |
Constraint animation using an object-oriented declarative language. |
ACM Southeast Regional Conference |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Richard Mitchell |
Analysis by Contract: UML with Attitude! |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar |
A method for validating the compliance of business processes to business rules. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
compliance validation, UML, business process, OCL, business rules |
28 | Piotr Kosiuczenko |
Redesign of UML class diagrams: a formal approach. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
UML, Formal methods, Refactoring, OCL, Requirements tracing |
28 | Yingfei Xiong 0001, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei 0001 |
Supporting automatic model inconsistency fixing. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
beanbag, inconsistency fixing, ocl, model consistency |
28 | Luis Reynoso, Elvira Rolón Aguilar, Marcela Genero, Félix García 0001, Francisco Ruiz 0001, Mario Piattini |
Formal Definition of Measures for BPMN Models. |
IWSM/Mensura |
2009 |
DBLP DOI BibTeX RDF |
Measure, Business Process, OCL, BPMN, Formal Definition |
28 | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito |
A model-prover for constrained dynamic conversations. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
web service, UML, conversations, OCL, WSDL, alloy |
28 | Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier |
Definition and Correct Refinement of Operation Specifications. |
Research Results of the DICS Program |
2006 |
DBLP DOI BibTeX RDF |
System Operations, UML, Refinements, Refactorings, OCL, Graph Transformations, Design by Contract, QVT |
28 | Stefan Haustein, Jörg Pleumann |
A model-driven runtime environment for Web applications. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
UML virtual machnies, UML, Web applications, MDA, OCL, Action semantics |
28 | Richard Bubel, Reiner Hähnle |
Integration of informal and formal development of object-oriented safety-critical software. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
UML, Formal specification, Design patterns, OCL, Safety-critical software |
28 | Aline Lúcia Baroni |
Quantitative assessment of UML dynamic models. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics |
28 | Fabian Büttner, Hanna Bauerdick, Martin Gogolla |
Towards Transformation of Integrity Constraints and Database States. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
constraint transformation, UML, OCL, Integrity constraint, schema transformation, cardinality constraint |
28 | Frédéric Fondement, Thomas Baar |
Making Metamodels Aware of Concrete Syntax. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
Concrete Syntax Description, UML, Metamodeling, Visual Languages, OCL, MOF |
28 | Eduardo Fernández-Medina, Juan Trujillo 0001, Rodolfo Villarroel, Mario Piattini |
Extending UML for Designing Secure Data Warehouses. |
ER |
2004 |
DBLP DOI BibTeX RDF |
Secure data warehouses, OCL, multidimensional modeling, UML extension |
28 | Achim D. Brucker, Burkhart Wolff |
Using Theory Morphisms for Implementing Formal Methods Tools. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics |
28 | Gregor Engels, Reiko Heckel, Stefan Sauer 0001 |
UML - A Universal Modeling Language? |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram |
27 | Frédéric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche |
Model-Driven, Network-Context Sensitive Intrusion Detection. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
OCL constraints, Intrusion Detection, UML modeling |
27 | Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar |
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. |
ICCSA (3) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP |
27 | L. J. Wang, A. S. M. Sajeev, Lachana Inchaiwong |
A Formal Specification of Interaction Widgets Hierarchy Framework. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
device independent interface, abstract interactor, object constraint language (OCL), widget, design by contract |
27 | Liliana Favre, Liliana Martinez, Claudia Pereira |
Transforming UML Static Models into Object-Oriented Code. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts |
26 | Fabiana Gomes Marinho |
A proposal for consistency checking in dynamic software product line models using OCL. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
dynamic software product line models, consistency checking |
26 | Jordi Cabot, Robert Clarisó, Daniel Riera |
Verifying UML/OCL Operation Contracts. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Hang Zhou 0002, Zhiqiu Huang, Yi Zhu 0008 |
Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Duc-Hanh Dang |
Triple Graph Grammars and OCL for Validating System Behavior. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Karsten Sohr, Tanveer Mustafa, Xinyu Bao, Gail-Joon Ahn |
Enforcing Role-Based Access Control Policies in Web Services with UML and OCL. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Martin Gogolla, Fabian Büttner, Duc-Hanh Dang |
From Graph Transformation to OCL Using USE. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001 |
Towards Instant Automatic Model Refinement Based on OCL. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | François Lagarde, François Terrier, Charles André, Sébastien Gérard |
Extending OCL to Ensure Model Transformations. |
ER Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
26 | John T. E. Timm, Gerald C. Gannod |
Specifying Semantic Web Service Compositions using UML and OCL. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jordi Cabot, Ernest Teniente |
Incremental Evaluation of OCL Constraints. |
CAiSE |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Michael Altenhofen, Thomas Hettel, Stefan Kusterer |
OCL Support in an Industrial Environment. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Claudia Pons, Diego García |
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Karsten Sohr, Gail-Joon Ahn, Lars Migge |
Articulating and enforcing authorisation policies with UML and OCL. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
UML |
26 | Karsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge |
Specification and Validation of Authorisation Constraints Using UML and OCL. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Bernhard K. Aichernig, Percy Antonio Pari Salas |
Test Case Generation by OCL Mutation and Constraint Solving. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Narayan C. Debnath, Daniel Riesco, German Montejano, Robert Uzal, Lorena Baigorria, Aristides Dasso, Ana Funes |
A technique based on the OMG metamodel and OCL for the definition of object-oriented metrics applied to UML models. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Eduardo Fernández-Medina, Mario Piattini |
Extending OCL for Secure Database Development. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Ahmed Gaafar, Sherif Sakr |
Towards a Framework for Mapping Between UML/OCL and XML/XQuery. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Agustín Goñi, Yadran Eterovic |
Building Precise UML Constructs to Model Concurrency Using OCL. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
26 | François Pinet, Myoung-Ah Kang, Frédéric Vigier |
Spatial Constraint Modelling with a GIS Extension of UML and OCL: Application to Agricultural Information Systems. |
Metainformatics |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Birgit Hofreiter, Christian Huemer, Werner Winiwarter |
OCL-Constraints for UMM Business Collaborations. |
EC-Web |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Stephan Flake, Wolfgang Müller 0003 |
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
26 | L. Ol'khovich, Dmitrij V. Koznov |
OCL-Based Automated Validation Method for UML Specifications. |
Program. Comput. Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
26 | David Hearnden, Kerry Raymond, Jim Steel |
MQL: a Powerful Extension to OCL for MOF Queries. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Baar, Bernhard Beckert, Peter H. Schmitt |
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe Pelagatti, Mauro Negri, Alberto Belussi, Sara Migliorini |
From the conceptual design of spatial constraints to their implementation in real systems. |
GIS |
2009 |
DBLP DOI BibTeX RDF |
spatial data validation, spatial integrity constraints, conceptual modeling |
20 | Piotr Kosiuczenko |
On the Implementation of @pre. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla |
Analyzing and Managing Role-Based Access Control Policies. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
Access controls, Protection mechanisms |
20 | Liliana Favre, Claudia Pereira |
Formalizing MDA-Based Refactorings. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
Formal Specification, Model Driven Architecture, Refactoring, Model Driven Development |
20 | Nasreddine Aoumeur, Gunter Saake |
A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. |
UNISCON |
2008 |
DBLP DOI BibTeX RDF |
Architectural connectors, Distributed IS, Evolution and Adaptability, UML, Rewriting logic |
20 | Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille |
Description and Implementation of a UML Style Guide. |
MoDELS (Workshops) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Christian Glodt, Pierre Kelsen, Elke Pulvermüller |
DEMOCLES: a tool for executable modeling of platform-independent systems. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
code generation, model-driven architecture, visual programming, eclipse, executable models, platform-independent model |
Displaying result #201 - #300 of 1079 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|