|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 380 occurrences of 228 keywords
|
|
|
Results
Found 395 publication records. Showing 395 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
104 | Erkuden Rios, Teodora Bozheva, Aitor Bediaga, Nathalie Guilloreau |
MDD Maturity Model: A Roadmap for Introducing Model-Driven Development. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
101 | Craig M. Files, Mark H. Nodine |
MDD with Added Null-Value and All-Value Edges. |
ISMVL |
2008 |
DBLP DOI BibTeX RDF |
Multi-valued, Synthesis, MDD, Logic, Domino Logic |
92 | Aram Hovsepyan, Stefan Van Baelen, Bert Vanhooff, Wouter Joosen, Yolande Berbers |
Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development. |
SAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
84 | Jason Xabier Mansell, Aitor Bediaga, Régis Vogel, Keith Mantell |
A Process Framework for the Successful Adoption of Model Driven Development. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
77 | Frank Schmiedle, Wolfgang Günther 0001, Rolf Drechsler |
Dynamic Re-Encoding During MDD Minimization. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
variable grouping, MDD, BDD, sifting |
75 | Régine Laleau, Dominique Méry, Shin Nakajima 0001, Elena Troubitsyna (eds.) |
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. |
IMPEX/FM&MDD |
2018 |
DBLP BibTeX RDF |
|
75 | Sylvain Conchon, David Declerck, Fatiha Zaïdi |
Parameterized Model Checking Modulo Explicit Weak Memory Models. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
75 | Inna Vistbakka, Elena Troubitsyna |
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
75 | Dines Bjørner |
Domain Analysis & Description - The Implicit and Explicit Semantics Problem. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
75 | Irum Rauf, Elena Troubitsyna |
Securing Open Source Clouds Using Models. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
75 | Eduardo dos Santos, Andrew Simpson, Dominik Schoop |
A Formal Model to Facilitate Security Testing in Modern Automotive Systems. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
75 | Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh |
Incremental Database Design using UML-B and Event-B. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
75 | Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd |
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
75 | J. Paul Gibson, Dominique Méry |
Explicit Modelling of Physical Measures: From Event-B to Java. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
72 | Miroslaw Staron |
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
69 | Esperanza Marcos, César J. Acuña, Carlos E. Cuesta |
Integrating Software Architecture into a MDA Framework. |
EWSA |
2006 |
DBLP DOI BibTeX RDF |
Model Architecture, Architecture-Centric Design, ACMDD, Model-Driven Architecture, MDD, Architectural Model |
68 | Tarik Hadzic, John N. Hooker, Peter Tiedemann |
Propagating Separable Equalities in an MDD Store. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
65 | Joaquín Cañadas, José T. Palma, Samuel Túnez |
InSCo-Gen: A MDD Tool for Web Rule-Based Applications. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
MDD, Web Engineering, Rule-based systems |
61 | Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura |
A Comparison of Architectures for Various Decision Diagram Machines. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
QDD, QRBDD, QRMDD, Heterogeneous MDD, Homogeneous MDD, Branching Machine, MDD, BDD |
60 | Anders Mattsson, Björn Lundell, Brian Lings, Brian Fitzgerald 0001 |
Linking Model-Driven Development and Software Architecture: A Case Study. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
60 | Kenil C. K. Cheng, Roland H. C. Yap |
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
60 | Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann |
Approximate Compilation of Constraints into Multivalued Decision Diagrams. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
60 | Liming Zhu 0001, Yan Liu 0001, Ian Gorton, Ihor Kuz |
Tools for Model Driven Development. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
60 | Shinobu Nagayama, Tsutomu Sasao |
On the optimization of heterogeneous MDDs. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Giovanni Giachetti, Beatriz Marín, Oscar Pastor 0001 |
Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
DSML, UML, MDD, UML Profile |
56 | Avivit Bercovici, Fabiana Fournier, Alan J. Wecker |
From Business Architecture to SOA Realization Using MDD. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
CBM, SOMA, GMF, SOA, services, EMF, collaboration diagram |
56 | Jens von Pilgrim |
Measuring the Level of Abstraction and Detail of Models in the Context of MDD. |
MoDELS (Workshops) |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Chunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
Free MDD-Based Software Optimization Techniques for Embedded Systems. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Philipp Becker, Dennis Christmann, Reinhard Gotzhein |
Model-Driven Development of Time-Critical Protocols with SDL-MDD. |
SDL Forum |
2009 |
DBLP DOI BibTeX RDF |
SDL-MDD, black burst, cooperative/arbitrating transfer protocol, MacZ, SDL |
48 | Charles W. Krueger |
Leveraging integrated model-driven development and software product line development technologies. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
model-driven development, software product lines |
48 | Jens Bæk Jørgensen |
Executable Use Cases: A Supplement to Model-Driven Development?. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Jean-Michel Bruel |
Panels at MODELS 2007. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Achilleas Achilleos, Nektarios Georgalas, Kun Yang 0001 |
An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS. |
ECMDA-FA |
2007 |
DBLP DOI BibTeX RDF |
modelling editor tools, MDA, domain specific languages, model-driven development, Meta-modelling |
48 | Stoyan Paunov, James H. Hill, Douglas C. Schmidt, Steven D. Baker, John M. Slaby |
Domain-Specific Modeling Languages for Configuring and Evaluating Enterprise DRE System Quality of Service. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Robert B. France, James M. Bieman, Betty H. C. Cheng |
Repository for Model Driven Development (ReMoDD). |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß |
Report on the 3rd MoDeVa Workshop - Model Design and Validation. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Arvind S. Krishna, Emre Turkay, Aniruddha S. Gokhale, Douglas C. Schmidt |
Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Bernhard Humm, Ulf Schreier, Johannes Siedersleben |
Model-Driven Development - Hot Spots in Business Information Systems. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Gerrit Meixner, Daniel Görlich, Kai Breiner, Heinrich Hußmann, Andreas Pleuß, Stefan Sauer 0001, Jan Van den Bergh 0001 |
Fourth international workshop on model driven development of advanced user interfaces. |
IUI |
2009 |
DBLP DOI BibTeX RDF |
mbuid, mdd, hci, task model |
45 | Jennifer Pérez, Isidro Ramos, José A. Carsí |
Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Arquitecturas Software, MDD, COTS, AOSD |
45 | 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 |
45 | Yunjian Jiang, Robert K. Brayton |
Logic optimization and code generation for embedded control applications. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
code generation, MDD, Esterel, logic optimization, multiple-valued |
44 | Han Chen, Paul B. Chou, Norman H. Cohen, Sastry S. Duri |
Extending SOA/MDD to Sensors and Actuators for Sense-and-Respond Business Processes. |
ICEBE |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Benoît Langlois, Daniel Exertier, Stéphane Bonnet |
Performance Improvement of MDD Tools. |
EDOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Zizhen Wang, Hanpin Wang, Naijun Zhan |
Refinement of models of software components. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
CB-MDD, rCOS, trace refinement, data refinement |
41 | Zakwan Jaroucheh, Xiaodong Liu 0002, Sally Smith |
Apto: A MDD-Based Generic Framework for Context-Aware Deeply Adaptive Service-Based Processes. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
adaptive service-based processes, Context-awareness, MDD, BPEL |
41 | Rolf Drechsler |
Evaluation of Static Variable Ordering Heuristics for MDD Construction. |
ISMVL |
2002 |
DBLP DOI BibTeX RDF |
verification, heuristic, MDD, formal, variable ordering |
41 | Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus |
Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes |
Formal requirements modelling with executable use cases and coloured Petri nets. |
Innov. Syst. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Requirements and specifications, Requirements engineering, Model-driven development, Coloured Petri nets, Platform-independent models |
36 | Tung-Chieh Chen, Minsik Cho, David Z. Pan, Yao-Wen Chang |
Metal-Density-Driven Placement for CMP Variation and Routability. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Axel Uhl |
Model-Driven Development in the Enterprise. |
IEEE Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Franz-Josef Rammig |
GenERTiCA: A Tool for Code Generation and Aspects Weaving. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Code Generation, Aspect-Orientation, UML modeling, Distributed Real-Time Embedded Systems |
36 | Sebastian Herold, Andreas Rausch, Alexander Bösl, Jan Ebell, Christian Linsmeier, Detlef Peters |
A Seamless Modeling Approach for Service-Oriented Information Systems. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
design, component, model driven development, service oriented, uml |
36 | Mohamed Ariff Ameedeen, Behzad Bordbar |
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets. |
EDOC |
2008 |
DBLP DOI BibTeX RDF |
|
36 | José Eduardo Fernandes, Ricardo Jorge Machado 0001, João Álvaro Carvalho |
Model-Driven Software Development for Pervasive Information Systems Implementation. |
QUATIC |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Gail-Joon Ahn, Hongxin Hu |
Towards realizing a formal RBAC model in real systems. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
access control, code generation, model validation, policy specification |
36 | Geylani Kardas, Arda Goknil, Oguz Dikenelli, N. Yasemin Topaloglu |
Model Transformation for Model Driven Development of Semantic Web Enabled Multi-Agent Systems. |
MATES |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Roberto Acerbis, Aldo Bongio, Marco Brambilla 0001, Massimo Tisi, Stefano Ceri, Emanuele Tosetti |
Developing eBusiness Solutions with a Model Driven Approach: The Case of Acer EMEA. |
ICWE |
2007 |
DBLP DOI BibTeX RDF |
Model Driven Development, industrial case study, WebML |
36 | Ludwik Kuzniarz, Lars Pareto, Jean-Louis Sourrouille, Miroslaw Staron |
Third Intenational Workshop on Quality in Modeling. |
MoDELS (Workshops) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann |
A Constraint Store Based on Multivalued Decision Diagrams. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Salvador Trujillo, Don S. Batory, Oscar Díaz |
Feature Oriented Model Driven Development: A Case Study for Portlets. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Jules White, Douglas C. Schmidt, Aniruddha S. Gokhale |
Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Shinobu Nagayama, Tsutomu Sasao |
Minimization of memory size for heterogeneous MDDs. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Colin Atkinson 0001, Thomas Kühne 0001 |
Model-Driven Development: A Metamodeling Foundation. |
IEEE Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Denis V. Popel, Rolf Drechsler |
Efficient Minimization of Multiple-valued Decision Diagrams for Incompletely Specified Functions. |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
36 | D. Michael Miller, Rolf Drechsler |
On the Construction of Multiple-Valued Decision Diagrams. |
ISMVL |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Thiago J. Bittar, Renata Pontin de Mattos Fortes, Luanna Lopes Lobato, Willian Massami Watanabe |
Web communication and interaction modeling using model-driven development. |
SIGDOC |
2009 |
DBLP DOI BibTeX RDF |
communication, interaction, web, MDD, model-driven development |
33 | Reda Bendraou, Philippe Desfray, Marie-Pierre Gervais, Alexis Muller |
MDA Tool Components: a proposal for packaging know-how in model driven development. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Packaging of know-how, MDA Tool Component, MDD, Reusability |
33 | Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001 |
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages |
32 | Mónica Pinto, Lidia Fuentes, Luis Fernández, Juan A. Valenzuela |
Using AOSD and MDD to Enhance the Architectural Design Phase. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Grady Booch |
Architectural Mining: The Other Side of the MDD. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Vinay Kulkarni, Sreedhar Reddy |
An abstraction for reusable MDD components: model-based generation of model-based code generators. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
reuse, model-driven development, meta models, generative programming |
32 | Elena Navarro 0001, Carlos E. Cuesta |
Automating the Trace of Architectural Design Decisions and Rationales Using a MDD Approach. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
Model-Driven Development, Traceability, CASE Tool, Design Rationale, Design Decision, Model-To-Model Transformation |
32 | Oliver Denninger, Tom Gelhausen, Rubino Geiß |
Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
omnigraph, supergraph, hypergraph, Graph rewriting |
32 | Dhouha Ayed, Didier Delanote, Yolande Berbers |
MDD Approach for the Development of Context-Aware Applications. |
CONTEXT |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Theo Dirk Meijler |
Incremental MDD Through Generative Causal Connectedness. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Rolf Drechsler, Mitchell A. Thornton, David Wessels |
MDD-Based Synthesis of Multi-Valued Logic Networks. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Hafiz Md. Hasan Babu, Tsutomu Sasao |
Representations of Multiple-Output Switching Functions Using Multiple-Valued Pseudo-Kronecker Decision Diagrams. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
Binary decision diagram (BDD), multiple-valued decision diagram (MDD), multi-level logic synthesis, look-up table type FPGA design, multiple-valued logic, multiple-output function |
24 | Adrian Fernandez, Emilio Insfrán, Silvia Mara Abrahão |
Integrating a Usability Model into Model-Driven Web Development Processes. |
WISE |
2009 |
DBLP DOI BibTeX RDF |
Web Usability Model, Model-Driven Development, Usability Evaluation, SQuaRE, Web Metrics |
24 | Mangala Gowri Nanda, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha |
Demystifying model transformations: an approach based on automated rule inference. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
precondition analysis, transformation comprehension, model-driven development, model validation, model-to-model transform |
24 | Jesús Manuel Almendros-Jiménez, Luis Iribarne, José Andrés Asensio, Nicolás Padilla, Cristina Vicente-Chicote |
An Eclipse GMF Tool for Modelling User Interaction. |
WSKS (1) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Alessandro Bozzon, Marco Brambilla 0001, Piero Fraternali |
Model-Driven Development of Audio-Visual Web Search Applications: The PHAROS Demonstration. |
ICWE |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Salvador Trujillo, Ander Zubizarreta, Xabier Mendialdua, Josune De Sosa |
Feature-oriented refinement of models, metamodels and model transformations. |
FOSD |
2009 |
DBLP DOI BibTeX RDF |
XAK, modeling, models, refinements, model transformations, metamodels, AHEAD |
24 | Ákos Horváth 0001, Dániel Varró |
CSP(M): Constraint Satisfaction Problem over Models. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction programming, graph transformation |
24 | Stephen Wood, David H. Akehurst, O. Uzenkov, W. Gareth J. Howells, Klaus D. McDonald-Maier |
A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard |
Towards a Framework for Explicit Platform-Based Transformations. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Platform-Based, SRM, UML, model transformations, MDE, MARTE |
24 | Greg Freeman, Don S. Batory, R. Greg Lavender |
Lifting Transformational Models of Product Lines: A Case Study. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
transformation reuse, highlevel transformations, code generation, features, product-lines, model composition |
24 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
The Epsilon Transformation Language. |
ICMT@TOOLS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jens von Pilgrim, Kristian Duske |
Gef3D: a framework for two-, two-and-a-half-, and three-dimensional graphical editors. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
3D visualization, graphical editing |
24 | Sandy Pérez, Oscar Díaz, Santiago Meliá, Jaime Gómez |
Facing Interaction-Rich RIAs: The Orchestration Model. |
ICWE |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Louis Sourrouille, Ludwik Kuzniarz, Lars Pareto, Parastoo Mohagheghi, Miroslaw Staron |
Third International Workshop on Quality in Modeling. |
MoDELS (Workshops) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Pablo Sánchez 0002, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland |
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Václav Dvorák |
Embedded Firmware Development with Multi-way Branching. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
Embedded firmware, iterative disjunctive decomposition, multi-valued functions, decision diagrams, space complexity |
24 | Lidia Fuentes, Jorge Manrique, Pablo Sánchez 0002 |
Pópulo: a tool for debugging UML models. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
executable uml, model execution, model simulation |
24 | Mohammed Ibrahim Alodib, Behzad Bordbar, Basim Majeed |
A model driven approach to the design and implementing of fault tolerant Service oriented Architectures. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Mohsen Asadi, Raman Ramsin |
MDA-Based Methodologies: An Analytical Survey. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
Model Driven Architecture, Evaluation Criteria, Software Development Methodology |
24 | Franck Barbier, Eric Cariou |
Component Design based on Model Executability. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Leila Naslavsky, Hadar Ziv, Debra J. Richardson |
Towards traceability of model-based testing artifacts. |
A-MOST |
2007 |
DBLP DOI BibTeX RDF |
model-driven development, traceability, model-based testing |
24 | Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu |
Improving Static Variable Orders Via Invariants. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Kleinner S. F. Oliveira, Toacy Cavalcante de Oliveira |
A Guidance for Model Composition. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 395 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|