Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMODELSWARD 2013: Barcelona, Spain
- Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves:
MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013. SciTePress 2013, ISBN 978-989-8565-42-6
Invited Speakers
Keynote Speakers
- Oscar Pastor:
From Requirements to Code - A Full Model-Driven Development Perspective. MODELSWARD 2013: IS-5 - Stephen J. Mellor:
The Gap between Specification and Synthesis. MODELSWARD 2013: IS-7
Modeling Languages, Tools and Architectures
Full Papers
- Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
A Meta-model for Tests of Avionics Embedded Systems. 5-13 - Ali Hanzala Khan, Irum Rauf, Ivan Porres:
Consistency of UML Class and Statechart Diagrams with State Invariants. 14-24 - Dirk Fahland
, Amir Kantor:
Synthesizing Decentralized Components from a Variant of Live Sequence Charts. 25-38 - Harald Störrle:
Making Sense to Modelers - Presenting UML Class Model Differences in Prose. 39-48 - Bernhard Hoisl, Stefan Sobernig, Mark Strembeck:
Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages. 49-61 - Bertrand Boisvert, Louis Féraud, Sergei Soloviev:
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. 62-74
Short Papers
- Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Optimising Model-transformations using Design Patterns. 77-82 - Oliver Haase, Nikolaus Moll, Paul Zerr:
A Code Merger to Support Reverse Engineering Towards Model-driven Software Development. 83-88 - Naoyasu Ubayashi, Yasutaka Kamei:
UML-based Design and Verification Method for Developing Dependable Context-aware Systems. 89-94 - Vinay Kulkarni, Suman Roychoudhury, Sagar Sunkle, Tony Clark, Balbir Barn:
Modelling and Enterprises - The Past, the Present and the Future. 95-100 - Sabrina Uhrig, Felix Schwägerl:
Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework. 101-110 - Kleopatra Chatziprimou, Kevin Lano, Steffen Zschaler:
Towards a Meta-model of the Cloud Computing Resource Landscape. 111-116 - Raafat Zarka, Pierre-Antoine Champin, Amélie Cordier, Elöd Egyed-Zsigmond, Luc Lamontagne, Alain Mille:
TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation. 117-122 - Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux:
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. 123-128 - Ali Hamie:
Visualizing OCL Constraint Patterns with VOCL. 129-134 - Andreas Ganser, Horst Lichter:
Engineering Model Recommender Foundations - From Class Completion to Model Recommendations. 135-142 - Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael J. Butler:
Systematic Development of Control Designs via Formal Refinement. 143-148 - Edmilson Campos Neto, Marília Aranha Freire, Uirá Kulesza, Adorilson Bezerra, Eduardo Aranha:
Composition of Domain Specific Modeling Languages - An Exploratory Study. 149-156 - Qinan Lai, Andy Carpenter:
Static Analysis and Testing of Executable DSL Specification. 157-162 - Gayane Sedrakyan, Monique Snoeck:
A PIM-to-Code Requirements Engineering Framework. 163-169 - Maria Spichkova, Xiuna Zhu, Dongyue Mou:
Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation. 170-174
Posters
- Haïfa Nakouri, Nadia Essoussi:
A Model-driven Process for Data Transformation of Heterogeneous Data. 177-181 - Vladimir Estivill-Castro, René Hexel:
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. 182-189 - Estefanía Serral, Olga Kovalenko, Thomas Moser, Stefan Biffl:
A Systematic Comparison of Semantic Integration Data Storage Architectures for Multidisciplinary Systems. 190-197 - Ahmed Hammad, Hassan Mountassir, Samir Chouali:
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. 198-201 - Messaoud Rahim, Ahmed Hammad, Malika Ioualalen:
Modular and Distributed Verification of SysML Activity Diagrams. 202-205 - Harald Störrle:
Improving Modeling with Layered UML Diagrams. 206-209 - Nataliya Yakymets, Hadi Jaber, Agnes Lanusse:
Model-based System Engineering for Fault Tree Generation and Analysis. 210-214
Methodologies, Processes and Platforms
Full Paper
- Stavros Stavru, Iva Krasteva, Sylvia Ilieva:
Challenges of Model-driven Modernization - An Agile Perspective. 219-230
Short Papers
- Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno:
Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval. 233-240 - Javier Solis, Hasdai Pacheco, Karen Najera, Hugo Estrada:
A MDE Framework for Semi-automatic Development of Web Applications. 241-246
Posters
- Michael Huber, Philipp Brune:
Model-driven Development of Interactive Web User Interfaces with HTML5. 249-252 - Alfonso Diez, Nga Nguyen, Fernando Díez, Enrique Chavarriaga:
MDE for Enterprise Application Systems. 253-256 - Beatriz Marín, Javier Pereira, Giovanni Giachetti, Felipe Hermosilla, Estefanía Serral:
A General Framework for the Development of MDD Projects. 257-260
Applications and Software Development
Full Paper
- Matthew Stephan, James R. Cordy:
A Survey of Model Comparison Approaches and Applications. 265-277
Short Papers
- Håkan Burden, Rogardt Heldal:
Translating Platform-independent Code into Natural Language Texts. 281-290 - Mohd Hafeez Osman, Arjan van Zadelhoff, Michel R. V. Chaudron:
UML Class Diagram Simplification - A Survey for Improving Reverse Engineered Class Diagram Comprehension. 291-296 - Niklas Mellegård, Miroslaw Staron, Fredrik Törner:
Why Do We Not Learn from Defects? - Towards Defect-Driven Software Process Improvement. 297-303
Posters
- Matthew Stephan, James R. Cordy:
Application of Model Comparison Techniques to Model Transformation Testing. 307-311 - Vahur Kotkas, Jaan Penjam, Ahto Kalja, Enn Tyugu:
A Model-based Software Technology Proposal. 312-315
Special Session on Model-Driven Software Adaptation
Full Papers
- Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal:
Development of Adaptive Multi-cloud Applications - A Model-Driven Approach. 321-330 - Hui Song, Amit Raj, Saeed Hajebi, Siobhán Clarke, Aidan Clarke:
Model Driven Engineering of Cross-Layer Monitoring and Adaptation. 331-340 - Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mohamed Abid:
High Level Design of Adaptive Real-time Embedded Systems - A Survey. 341-350 - Christian Inzinger, Benjamin Satzger, Philipp Leitner, Waldemar Hummer, Schahram Dustdar:
Model-based Adaptation of Cloud Computing Applications. 351-355 - Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo:
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. 356-362
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
