Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Artur Boronat, José A. Carsí, Isidro Ramos |
Automatic Support for Traceability in a Generic Model Management Framework. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
software maintenance, Model-Driven Architecture, traceability, Model Management |
9 | Reda Bendraou, Philippe Desfray, Marie-Pierre Gervais |
MDA Components: A Flexible Way for Implementing the MDA Approach. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
PLE, Packaging of know-how, MDA Component, MDA, MDD, reusability |
9 | Shang Gao 0003, Zili Zhang 0001, Igor T. Hawryszkiewycz |
Managing Collaborative Business Process in Knowledge-intensive Environment. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Boualem Benatallah, Fabio Casati, Farouk Toumani |
Web Service Conversation Modeling: A Cornerstone for E-Business Automation. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
Tropos: An Agent-Oriented Software Development Methodology. |
Auton. Agents Multi Agent Syst. |
2004 |
DBLP DOI BibTeX RDF |
multi-agent systems, agent-oriented software engineering, agent-oriented methodologies |
9 | Dániel Varró |
Automated formal verification of visual modeling languages by model checking. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, Model transformation, Metamodeling, Graph transformation |
9 | Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi |
Domain Independent Generative Modeling. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Clemens Reichmann, Markus Kühl, Philipp Graf, Klaus D. Müller-Glaser |
GeneralStore - A CASE-Tool Integration Platform Enabling Model Level Coupling of Heterogeneous Designs for Embedded Electronic Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso |
UML 1.4 versus UML 2.0 as Languages to Describe Software Architectures. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Anastasius Gavras, Mariano Belaunde, Luís Ferreira Pires, João Paulo A. Almeida |
Towards an MDA-Based Development Methodology. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Hanna Bauerdick, Martin Gogolla, Fabian Gutsche |
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt |
An OCL Formulation of UML2 Template Binding. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta |
A UML Profile to Model Mobile Systems. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Eduardo Fernández-Medina, Mario Piattini |
Extending OCL for Secure Database Development. |
UML |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Saartje Brockmans, Raphael Volz, Andreas Eberhart, Peter Löffler |
Visual Modeling of OWL DL Ontologies Using UML. |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Kai Blankenhorn, Mario Jeckle |
A UML Profile for GUI Layout. |
Net.ObjectDays |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
A framework to simulate UML models: moving from a semi-formal to a formal environment. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
UML models simulation, UML, Abstract State Machines, model mapping |
9 | Zakaria Benahmed Daho, Noëmie Simoni, Michel Chevanne, Stéphane Betgé-Brezetz |
An information model for service and network management integration: from needs towards solutions. |
NOMS (1) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey |
Model-Driven Architecture for Agent-Based Systems. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Adriana Maria C. M. Figueiredo, Aqueo Kamada, Luciano Lançia Damasceno, Marcos Antônio Rodrigues, Manuel de Jesus Mendes |
Metadata Repository Support for Legacy Knowledge Discovery in Public Administrations. |
KMGov |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jian Xu, Wei Yu, Kexing Rui, Gregory Butler |
Use Case Refactoring: A Tool and a Case Study. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Behzad Bordbar, Athanasios Staikopoulos |
On Behavioural Model Transformation in Web Services. |
ER (Workshops) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Roland Yatchou, Roger Nkambou, Claude Tangha |
Intelligent Learning Environment for Software Engineering Processes. |
Intelligent Tutoring Systems |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Bernhard Bauer, Jörg P. Müller, Stephan Roser |
A Model-Driven Approach to Designing Cross-Enterprise Business Processes. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jernej Kovse, Theo Härder |
MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA. |
CAiSE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Shinji Nakadai, Masato Kudo, Koichi Konishi |
Rule-Based CIM Query Facility for Dependency Resolution. |
DSOM |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Vasian Cepa |
Implementing Tag-Driven Transformers with Tango. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Alexander Knapp, Nora Koch, Gefei Zhang |
Modeling the Structure of Web Applications with ArgoUWE. |
ICWE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Harald Störrle |
Semantics of Control-Flow in UML 2.0 Activities. |
VL/HCC |
2004 |
DBLP DOI BibTeX RDF |
denotational and compositional semantics, modeling of web-services, work-flows and service-oriented architectures, Activity Diagrams, UML 2.0 |
9 | Bing Li 0010, Keqing He, Jin Liu, Qiang Wang, Peng Liang 0001, Rong Peng |
Building Interoperable Software Components Repository Based on MMF. |
GCC Workshops |
2004 |
DBLP DOI BibTeX RDF |
MMF (Meta Model framework), software component ontology, software component repository, registry model |
9 | Juan Manuel Serrano, Sascha Ossowski |
On the Impact of Agent Communication Languages on the Implementation of Agent Systems. |
CIA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Krzysztof Kaczmarski, Piotr Habela, Kazimierz Subieta |
Metadata in a Data Grid Construction. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Tony Clark 0001, Andy Evans, Paul Sammut, James S. Willans |
Transformation Language Design: A Metamodelling Foundation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating |
Composition of Relations in Enterprise Architecture Models. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Dragan Djuric, Dragan Gasevic, Vladan Devedzic, Violeta Damjanovic |
A UML Profile for OWL Ontologies. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Jean Bézivin, Frédéric Jouault, Peter Rosenthal, Patrick Valduriez |
Modeling in the Large and Modeling in the Small. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Stephan Flake, Wolfgang Müller 0003 |
Formal semantics of static and temporal state-oriented OCL constraints. |
Softw. Syst. Model. |
2003 |
DBLP DOI BibTeX RDF |
Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts |
9 | Colin Atkinson 0001, Thomas Kühne 0001, Brian Henderson-Sellers |
Systematic stereotype usage. |
Softw. Syst. Model. |
2003 |
DBLP DOI BibTeX RDF |
UML extension mechanism, Transitive properties, Classification, Stereotypes |
9 | L. Ol'khovich, Dmitrij V. Koznov |
OCL-Based Automated Validation Method for UML Specifications. |
Program. Comput. Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel |
Formalization of the Whole-Part Relationship in the Unified Modeling Language. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling |
9 | Brian Henderson-Sellers |
Method engineering for OO systems development. |
Commun. ACM |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Thomas Baar |
The Definition of Transitive Closure with OCL - Limitations and Applications. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Pierre Laforcade, Franck Barbier, Christian Sallaberry, Thierry Nodenot |
Profiling Co-Operative Problem-Based Learning Situations. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Philipp Meier, Martin Wirsing |
Towards a Formal Specification for the AgentComponent. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers |
Using Description Logic to Maintain Consistency between UML Models. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Marcus Alanen, Ivan Porres |
Difference and Union of Models. |
UML |
2003 |
DBLP DOI BibTeX RDF |
delta calculation, revision control, UML, metamodelling |
9 | Ákos Schmidt, Dániel Varró |
CheckVML: A Tool for Model Checking Visual Modeling Languages. |
UML |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal verification, metamodeling, graph transformation, visual modeling languages |
9 | Gabriela A. Perez |
Model consistency in the object oriented software development process. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
UML, use cases, unified process, object oriented analysis and design |
9 | Viviane Torres da Silva, Carlos José Pereira de Lucena |
MAS-ML: a multi-agent system modeling language. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
multi-agent system, modeling language, conceptual framework |
9 | Sheena R. Judson, Doris L. Carver, Robert B. France |
A metamodeling approach to model transformation. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
query/view/transformation (QVT), UML, design patterns, model driven architecture (MDA), evolution, model transformation |
9 | Viviane Torres da Silva, Carlos José Pereira de Lucena |
MAS-ML: a multi-agent system modeling language. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
multi-agent system, modeling language, conceptual framework |
9 | Michele Lanza |
CodeCrawler - Lessons Learned in Building a Software Visualization Tool. |
CSMR |
2003 |
DBLP DOI BibTeX RDF |
Reverse En-gineering, Tools, Software Visualization, Experience Report |
9 | Navara Chantarat, Ning Zheng, Theodore T. Allen, Deng Huang |
Issues on simulation and optimization I: optimal experimental design for systems involving both quantitative and qualitative factors. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Steven Nordstrom, Shweta Shetty, Kumar Gaurav Chhokra, Jonathan Sprinkle, Brandon Eames, Ákos Lédeczi |
ANEMIC: Automatic Interface Enabler for Model Integrated Computing. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Francisco Ruiz 0001, Aurora Vizcaíno, Félix García 0001, Mario Piattini |
Using XMI and MOF for Representation and Interchange of Software Processes. |
DEXA Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Guadalupe Ibarguengoitia González, José Antonio Salazar Carmona, M. G. Sanchez M., A. Y. Ramirez M. |
A Procedure for Customizing a Software Process. |
ENC |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Harald Kühn, Franz Bayer, Stefan Junginger, Dimitris Karagiannis |
Enterprise Model Integration. |
EC-Web |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Irma Valatkaite, Olegas Vasilecas |
A Conceptual Graphs Approach for Business Rules Modeling. |
ADBIS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Agostino Poggi, Giovanni Rimassa, Paola Turci, James Odell, Haralambos Mouratidis, Gordon A. Manson |
Modeling Deployment and Mobility Issues in Multiagent Systems Using AUML. |
AOSE |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser |
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, Jerzy Letkowski, Pat Emery |
Extending the Unified Modeling Language for ontology development. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
OO modeling, Ontology, Semantic web, UML, Agents, RDF, DAML |
9 | Andreas L. Opdahl, Brian Henderson-Sellers |
Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Problem domain representation, Ontological analysis and evaluation, The Bunge-Wand-Weber model (BWW), Unified Modeling Language (UML), Object-oriented analysis |
9 | Claudia Niederée, Claudio Muscogiuri, Matthias L. Hemmje |
Taxonomies in Operation, Design, and Meta-Design. |
WISE Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Colin Atkinson 0001, Thomas Kühne 0001, Brian Henderson-Sellers |
Stereotypical Encounters of the Third Kind. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Marko Boger, Mario Jeckle, Stefan Müller, Jens Fransson |
Diagram Interchange for UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Gonzalo Génova, Juan Lloréns, Víctor Quintana |
Digging into Use Case Relationships. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Stephan Flake, Wolfgang Müller 0003 |
A UML Profile for Real-Time Constraints with the OCL. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing |
Extending Activity Diagrams to Model Mobile Systems. |
NetObjectDays |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise |
Model-Driven Architecture. |
OOIS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Gunnar Auth, Eitel von Maur |
A Software Architecture for XML-Based Metadata Interchange in Data Warehouse Systems. |
EDBT Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Dirk Muthig, Colin Atkinson 0001 |
Model-Driven Product Line Architectures. |
SPLC |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Jon Oldevik, Arnor Solberg, Brian Elvesæter, Arne-Jørgen Berre |
Framework for Model Transformation and Code Generation. |
EDOC |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Audris Kalnins, Karlis Podnieks, Andris Zarins, Edgars Celms, Janis Barzdins |
Editor Definition Language and Its Implementation. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Colin Atkinson 0001, Thomas Kühne 0001 |
The Essence of Multilevel Metamodeling. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Jie Xing, Feng Wan, Sudhir K. Rustogi, Munindar P. Singh |
Commitment-Based Interoperation for E-Commerce. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Charles D. McAllister, Bertan Altuntas, Matthew Frank, Juergen Potoradi |
Implementation of response surface methodology using variance reduction techniques in semiconductor manufacturing. |
WSC |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Peter Wendorff |
A formal approach to the assessment and improvement of terminological models used in information systems engineering. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
denotation, abstraction, concept, naming, identifier, terminology |
9 | Markus Kühl, Bernhard Spitzer, Klaus D. Müller-Glaser, Ulf Dambacher |
Universal Object-Oriented Modeling for Rapid Prototyping of Embedded Electronic Systems. |
IEEE International Workshop on Rapid System Prototyping |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Christophe Nicolle, Kokou Yétongnon |
XML Enabled Metamodeling and Tools for Cooperative Information Systems. |
EC-Web |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Nalini Venkatasubramanian, Mayur Deshpande, Shivajit Mohapatra, Sebastian Gutierrez-Nolasco, Jehan Wickramasuriya |
Design and Implementation of a Composable Reflective Middleware Framework. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Petri Selonen, Kai Koskimies, Markku Sakkinen |
How to Make Apples from Oranges in UML. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
UML, model transformation |
9 | Ansgar Schleicher, Bernhard Westfechtel |
Beyond Stereotyping: Metamodeling Approaches for the UML. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
UML, workflow management, meta modeling |
9 | Graham McLeod, Terry A. Halpin, Hannu Kangassalo, Keng Siau |
Unified Modeling Language (UML): A Critical Evaluation and Suggested Future - Minitrack Introduction. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Mark Richters, Martin Gogolla |
Validating UML Models and OCL Constraints. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Friedrich Steimann |
A Radical Revision of UML's Role Concept. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Siobhán Clarke |
Composing Design Models: An Extension to the UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Marie-Noëlle Terrasse |
A Metamodeling Approach to Evolution. |
FMLDO |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Yolande Ahronovitz, Marianne Huchard |
Exceptions in Object Modeling: Finding Exceptions from the Elements of the Static Object Model. |
Advances in Exception Handling Techniques |
2000 |
DBLP DOI BibTeX RDF |
|
9 | José Luis Fernández Alemán, José Ambrosio Toval Álvarez |
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification |
9 | Mandana Vaziri, Daniel Jackson 0001 |
Some Shortcomings of OCL, the Object Constraint Language of UML. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Michael G. Malkovsky, Alexey V. Subbotin |
NL-Processor and Linguistic Knowledge Base in a Speech Recognition System. |
TSD |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Panos Vassiliadis, Mokrane Bouzeghoub, Christoph Quix |
Towards Quality-Oriented Data Warehouse Usage and Evolution. |
CAiSE |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Chengfei Liu, Xuemin Lin 0001, Xiaofang Zhou 0001, Maria E. Orlowska |
Building a Repository for Workflow Systems. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Workflows, Object-Oriented Design, Repository |
9 | Anthony J. H. Simons |
Use Cases Considered Harmful. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
UML 1.3, UML semantics, cognitive misdirection, use cases, ambiguity, inconsistency, control flow |
9 | Wolfgang Hesse, Heinrich C. Mayr |
Highlights of the SAMMOA Framework for Object-Oriented Application Modeling. |
DEXA |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Daniela Rosca, Mark Feblowitz, Chris Wild |
Decision Making Methodology in Support of the Business Rules Lifecycle. |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
9 | Munindar P. Singh |
Conceptual Modeling for Multiagent Systems: Applying Interaction-Oriented Programming. |
Conceptual Modeling |
1997 |
DBLP DOI BibTeX RDF |
|
9 | Olivier Gerbé |
Conceptual Graphs for Corporate Knowledge Repositories. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
|
9 | David Leadbetter |
An Integrated Approach to IS modeling. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|