Jordi Cabot - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged meta-model

MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and OptimizationJordi Cabot, Patrick Albert, Grégoire Dupé, Marcos Didonet Del Fabro, Scott Uk-Jin Lee. ECMDA-FA 2011: 379-380 [doi]

Generating operation specifications from UML class diagrams: A model transformation approachManoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano. DKE, 70(4):365-389, 2011. [doi]

Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. ProceedingsJordi Cabot, Eelco Visser, editors, Volume 6707 of Lecture Notes in Computer Science, Springer, June 2011. [doi]

Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. ProceedingsJordi Cabot, Eelco Visser, editors, Volume 6707 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Towards a General Composition Semantics for Rule-Based Model TransformationDennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault. In Proceedings of MoDELS 2011. 2011: 623-637 [doi]

Dealing with Non-Functional Requirements in Model-Driven DevelopmentDavid Ameller, Xavier Franch, Jordi Cabot. RE 2010: 189-198 [doi]

MoDisco: a generic and extensible framework for model driven reverse engineeringHugo Bruneliere, Jordi Cabot, Frédéric Jouault, Frédéric Madiot. ASE 2010: 173-174 [doi]

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling ToolsHugo Bruneliere, Jordi Cabot, Cauê Clasen, Frédéric Jouault, Jean Bézivin. ECMDA-FA 2010: 32-47 [doi]

Tools for Modeling and Generating Safe Interface Interactions in Web ApplicationsMarco Brambilla, Jordi Cabot, Michael Grossniklaus. ICWE 2010: 482-485 [doi]

Verification and validation of declarative model-to-model transformations through invariantsJordi Cabot, Robert ClarisÃ³, Esther Guerra, Juan de Lara. jss, 83(2):283-302, 2010. [doi]

Eighth International Workshop on OCL Concepts and ToolsJordi Cabot, Martin Gogolla, Pieter Van Gorp. In Models in Software Engineering. 2009.

A Catalogue of Refactorings for Navigation ModelsJordi Cabot, Cristina Gómez. ICWE 2008: 75-85 [doi]

An Invariant-Based Method for the Analysis of Declarative Model-to-Model TransformationsJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. MoDELS 2008: 37-52 [doi]

From programming to modeling: our experience with a distributed software engineering courseJordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero. ICSE 2008: 749-758 [doi]

Heart vs. ModelKai Neumann. idt, 2(2):133-137, 2008. [doi]

Tool Support for Model Checking of Web Application DesignsMarco Brambilla, Jordi Cabot, Nathalie Moreno. ICWE 2007: 533-538 [doi]

Component Adaptation in Contemporary Execution EnvironmentsSusan Eisenbach, Chris Sadler, Dominic Wong. dais 2007: 90-103 [doi]

Modelling-in-the-LargeAnthony Finkelstein. RE 2007: [doi]

3D facial model exaggeration builder for small or large sized model manufacturingWon-Sook Lee, Andrew Soon, Lijia Zhu. vr, 11(4):229-239, 2007. [doi]

A feature-binding model with localized excitationsHecke Schrobsdorff, J. Michael Herrmann, Theo Geisel. ijon, 70(10-12):1706-1710, 2007. [doi]

Conceptual Modelling Patterns for RolesJordi Cabot, Ruth Raventós. jods, :158-184, 2006. [doi]

Multiscale modelling of multilayer substratesR. L. J. M. Ubachs, O. van der Sluis, W. D. van Driel, G. Q. Zhang. mr, 46(9-11):1472-1477, 2006. [doi]

Separability in the fixed part of multilevel modelsGeorges Van Landeghem, Patrick Onghena, Jan Van Damme. csda, 50(10):2902-2919, 2006. [doi]

On generic method modelsNaveen Prakash. re, 11(4):221-237, 2006. [doi]

Comparison of Option Prices in Semimartingale ModelsJan Bergenthum, Ludger Rüschendorf. fs, 10(2):222-249, 2006. [doi]

Performance modelling and evaluation of heterogeneous networksDemetres D. Kouvatsos, Daniel Kofman. pe, 59:99-101, 2005. [doi]

A Conceptual Modelling Pattern for RolesRuth Raventós, Jordi Cabot. jisbd 2003: 421-430

Simulation and Validation of an Integrated Markets ModelBrian Sallans, Alexander Pfister, Alexandros Karatzoglou, Georg Dorffner. jasss, 6(4), 2003. [doi]

Modelling Developmental Regulatory NetworksTommy Krul, Jaap A. Kaandorp, Joke G. Blom. iccS 2003: 688-697 [doi]

The Maude LTL Model CheckerSteven Eker, José Meseguer, Ambarish Sridharanarayanan. ENTCS, 71:162-187, 2002. [doi]

A neural ensemble model of the respiratory central pattern generator: properties of the minimal modelWitali L. Dunin-Barkowski, Andrew T. Lovering, John M. Orem. ijon, 44-46:381-389, 2002. [doi]

Computational Techniques for Modelling Learning in EconomicsThomas Brenner. jasss, 5(1), 2002. [doi]

Monte Carlo simulations of Sznajd modelsDietrich Stauffer. jasss, 5(1), 2002. [doi]

Modelling Free Flight with Collision AvoidanceMieke Massink, Nicoletta De Francesco. ICECCS 2001: 270-280 [doi]

A Simple Graphical Tool For Modelling TrustSteve Purser. compsec, 20(6):479-484, 2001.

An Assessment Model for Distance Education CoursesThaisa Barbosa, Eduardo Albuquerque. webnet 2001: 4

Issues on Modelling Distance Learning EnvironmentsAdja Andrade, Beatriz Regina Tavares Franciosi, Adriana Beiler, Paulo Wagner. webnet 2001: 35-40

Model of the Chydenial Network UniversityJukka Mäki, Ilkka Luoto. webnet 2001: 813

The Assesment in an on line Learning Model of MarketingM. Magdalena Maldonado. webnet 2001: 814-815

Learning art with computers - a LISREL modelB. Mak. jcal, 17(1):94-103, 2001. [doi]

Neural Networks for Economic and Financial ModellingAndrea Beltratti, Sergio Margarita, Pietro Terna. jasss, 2(2), 1999. [doi]

Documentary Abstracting: Toward a Methodological ModelMaria Pinto Molina. jasis, 46(3):225-234, 1995.

Text retrieval and the relational modelIan A. Macleod. jasis, 42(3):155-165, 1991.

A mathematical model of retrieval system performanceDavis B. McCarn, Craig M. Lewis. jasis, 41(7):495-500, 1990.

A Functional Model of a Simplified Sequential MachineJerzy A. Piotrowski. ipl, 35(3):161-166, 1990.

IMS Transaction Modelling and Response Time Validation Using Analytical Queueing ModelsRaymond A. Clarke. cmg 1988: 1088-1091

Petri net models for the lambda-calculusErik Meijer. apn 1987: 162-180

Queueing Models: Beyond the BasicsJeffrey P. Buzen. cmg 1986: 727-732

On Conceptual Modelling (Intervale)1982.

Omitting ModelsErnest Snapper. JSYML, 42(1):29-32, 1977.

runs on WebDSL