Search results for "CB-MDD"

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
100	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
76	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
68	Tarik Hadzic, John N. Hooker, Peter Tiedemann	Propagating Separable Equalities in an MDD Store.	CPAIOR	2008	DBLP DOI BibTeX RDF
68	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
64	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
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
60	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
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
56	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
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	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
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	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
44	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
44	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
44	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
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
40	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
40	Rolf Drechsler	Evaluation of Static Variable Ordering Heuristics for MDD Construction.	ISMVL	2002	DBLP DOI BibTeX RDF	verification, heuristic, MDD, formal, variable ordering
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
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	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
32	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
32	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	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