2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) : 7 - 9 Jan. 2014, Lisbon, Portugal (English)
- New search for: Institute for Systems and Technologies of Information, Control and Communication
- Further information on Institute for Systems and Technologies of Information, Control and Communication:
- http://d-nb.info/gnd/10176085-1
- New search for: Ferreira Pires, Luis
- New search for: Institute for Systems and Technologies of Information, Control and Communication
- Further information on Institute for Systems and Technologies of Information, Control and Communication:
- http://d-nb.info/gnd/10176085-1
2014
- Conference Proceedings / Electronic Resource
-
Title:2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) : 7 - 9 Jan. 2014, Lisbon, Portugal
-
Additional title:Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Proceedings // MODELSWARD 2014, 2nd International Conference on Model-Driven Engineering and Software Development -
Contributors:
-
Conference:International Conference on Model-Driven Engineering and Software Development ; 2 ; 2014 ; Lisbon
MODELSWARD ; 2 ; 2014 ; Lisbon -
Publisher:
- New search for: IEEE
-
Place of publication:Piscataway, NJ
-
Publication date:2014
-
Size:Online-Ressource
-
Remarks:Includes bibliographical references and author index
-
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Blank page| 2014
- 1
-
Full paper| 2014
- 1
-
Semiotics in visualisationLiu, Kecheng et al. | 2014
- 1
-
Data fraud detectionLenz, Hans-J. et al. | 2014
- 1
-
Investigating defect prediction models for iterative software development when phase data is not recorded lessons learnedAydin, Anil / Tarhan, Ayca et al. | 2014
- 1
-
Flexible business-oriented service interfaces in information systemsZemlicka, Michal / Kral, Jaroslav et al. | 2014
- 1
-
Improving software projects inception phase using games ActiveAction workshopMorales-Trujillo, Miguel Ehecatl / Oktaba, Hanna / Gonzalez, Juan Carlos et al. | 2014
- 1
-
Recovering sequence diagrams from object-oriented code: An ADM approachMartinez, Liliana / Pereira, Claudia / Favre, Liliana et al. | 2014
- 1
-
Cyber-virtual systems: Simulation, validation & visualizationBlech, Jan Olaf / Spichkova, Maria / Peake, Ian / Schmidt, Heinz et al. | 2014
- 1
-
Function-centered engineering of embedded systems: Evaluating industry needs and possible solutionsDaun, Marian / Hofflinger, Jens / Weyer, Thorsten et al. | 2014
- 1
-
Invited speakers| 2014
- 1
-
Keynote speakers| 2014
- 1
-
Short papers| 2014
- 1
-
Methods for supporting management of interactions between quality characteristicsGarcia-Mireles, Gabriel Alberto / de la Rubia, Ma Angeles Moraga / Garcia, Felix / Piattini, Mario et al. | 2014
- 1
-
Title page| 2014
- 1
-
Papers| 2014
- 1
-
Understanding class-level testability through dynamic analysisTahir, Amjed / MacDonell, Stephen G. / Buchan, Jim et al. | 2014
- 1
-
Automated generation of activity and sequence diagrams from natural language requirementsSharma, Richa / Gulia, Sarita / Biswas, K. K. et al. | 2014
- 1
-
Tool independent code generation for the UML closing the gap between proprietary models and the standardized UML modelNoyer, Arne / Iyenghar, Padma / Pulvermueller, Elke / Pramme, Florian / Engelhardt, Joachim / Samson, Benjamin / Bikker, Gert et al. | 2014
- 1
-
Short paper| 2014
- 1
-
Service-oriented platform for virtual reality application developmentFreiberger, Evandro Cesar / Nakamura, Ricardo / Tori, Romero et al. | 2014
- 1
-
Back cover| 2014
- 1
-
Applications and software development| 2014
- 1
-
Designing reusable systems that can handle change: Description-driven systems: Revisiting object-oriented principlesMcClatchey, Richard / Branson, Andrew / Shamdasani, Jetendr et al. | 2014
- 1
-
SOA-CoM: Building a correct by design service oriented: Architectural style supporting structural and non-functional propertiesGraja, Imen / Loulou, Imen / Kacem, Ahmed Hadj et al. | 2014
- 1
-
Why ERP systems will keep failingDietz, Jan et al. | 2014
- 1
-
An engineering approach to natural enterprise dynamics: From top-down purposeful systemic steering to bottom-up adaptive guidance controlTribolet, Jose et al. | 2014
- 1
-
Models for mobile application maintenance based on update historyLi, Xiaozhou / Zhang, Zheying / Nummenmaa, Jyrki et al. | 2014
- 1
-
The applicability of present estimation models to the context of mobile applicationsde Souza, Laudson Silva / de Aquino, Gibeon Soares et al. | 2014
- 1
-
Special session on model-based analysis and testing of embedded systems| 2014
- 1
-
Towards a discipline of software engineering forensics analysisBailes, Paul / Cornish, Christine / Myers, Toby / Rago, Lou / Tate, Nick / Thatcher, Mai et al. | 2014
- 1
-
Full papers| 2014
- 1
-
Recovering software layers from object oriented systemsBelle, Alvine Boaye / Boussaidi, Ghizlane El / Mili, Hafedh et al. | 2014
- 1
-
Automated generation of test cases from logical specification of software requirementsSharma, Richa / Biswas, K. K. et al. | 2014
- 1
-
Methodologies, processes and platforms| 2014
- 1
-
Special session on model-driven service engineering: New paradigms for services development in the manufacturing domain| 2014
- 1
-
Cover page| 2014
- 1
-
Visualizing traceability information with iTraceSantiago, Ivan / Vara, Juan M. / de Castro, Valeria / Marcos, Esperanza et al. | 2014
- 1
-
A system for collaborative building of use case models: Communication analysis and experiences: Experiences of use and lessons learned from the use of the SPACE-DESIGN tool in the domain of use case diagramsGallardo, Jesus / Molina, Ana Isabel / Bravo, Crescendo / Gallego, Fernando et al. | 2014
- 1
-
A business-oriented approach to requirements elicitationPrzybylek, Adam et al. | 2014
- 1
-
Where is Scrum in the current Agile world?Kapitsaki, Georgia M. / Christou, Marios et al. | 2014
- 1
-
Process discovery: Automated approach for block discoveryBoushaba, Souhail / Kabbaj, Mohammed Issam / Bakkoury, Zohra et al. | 2014
- 1
-
Author index| 2014
- 1
-
Modeling languages, tools and architectures| 2014
- 1
-
A GUI modeling DSL for pattern-based GUI testing PARADIGMMoreira, Rodrigo M. L. M. / Paiva, Ana C. R. et al. | 2014
- 1
-
Conceptual modeling in Agile information systems developmentOlive, Antoni et al. | 2014
- 1
-
Application of a lightweight enterprise architecture elicitation technique using a case study approachRosasco, Nicholas / Dehlinger, Josh et al. | 2014
- 1
-
The AXIOM model framework: Transforming requirements to native code for cross-platform mobile applicationsJones, Chris / Jia, Xiaoping et al. | 2014
- 1
-
An online passive testing approach for communication protocolsLopez, Jorge / Che, Xiaoping / Maag, Stephane et al. | 2014
- 1
-
An evaluation to compare software product line decision model and feature modelLisboa, Liana B. / Li, J. Jenny / Morreale, P. / Heer, D. / Weiss, D. M. et al. | 2014
- 5
-
Using the base semantics given by fUML for verificationRomero, Alessandro Gerlinger / Schneider, Klaus / Ferreira, Mauricio Goncalves Vieira et al. | 2014
- 17
-
An industrial case study on using language workbench technology for realizing Model-Driven EngineeringZhu, Xi / Phung, Congchi / Pareto, Lars / Ehnebom, Staffan / Krekola, Mikael / Christerson, Magnus / Helander, Mats et al. | 2014
- 30
-
An EMF-based toolkit for creation of domain-specific data servicesBender, Andreas / Bozic, Stefan / Kondov, Ivan et al. | 2014
- 41
-
A graph-based algorithm for three-way merging of ordered collections in EMF modelsSchwagerl, Felix / Uhrig, Sabrina / Westfechtel, Bernhard et al. | 2014
- 55
-
Collaborative editing of EMF/Ecore meta-models and models conflict detection, reconciliation, and merging in DiCoMEFKoshima, Amanuel / Englebert, Vincent et al. | 2014
- 67
-
A domain specific language for stepwise design of software architecturesGilson, Fabian / Englebert, Vincent et al. | 2014
- 79
-
Specifying trace directives for UML attributes and state machinesAljamaan, Hamoud / Lethbridge, Timothy C. / Badreddin, Omar / Guest, Geoffrey / Forward, Andrew et al. | 2014
- 87
-
What are the used activity diagram constructs? a surveyReggio, Gianna / Leotta, Maurizio / Ricca, Filippo / Clerissi, Diego et al. | 2014
- 99
-
Modeling of tool integration resources with OSLC supportZhang, Weiqing / Moller-Pedersen, Birger et al. | 2014
- 111
-
Typing and subtyping of metamodelsBerg, Henning / Moller-Pedersen, Birger et al. | 2014
- 119
-
Signature required making simulink data flow and interfaces explicitBender, Marc / Laurin, Karen / Lawford, Mark / Ong, Jeff / Postma, Steven / Pantelic, Vera et al. | 2014
- 132
-
Short seminars on MDE technologies international experiencesMarek, Milosz / Malgorzata, Plechawska-Wojcik et al. | 2014
- 138
-
An Aspect-Oriented Model transformation to weave security using CVLHorcas, Jose-Miguel / Pinto, Monica / Fuentes, Lidia et al. | 2014
- 151
-
Parsing abstract syntax graphs with ModelCCQuesada, Luis / Berzal, Fernando / Cubero, Juan-Carlos et al. | 2014
- 158
-
A domain-specific language for abstract syntax model to concrete syntax model mappingsQuesada, Luis / Berzal, Fernando / Cubero, Juan-Carlos et al. | 2014
- 166
-
Model-based systems engineering tools devoloping the GUILTE systemRamos, Ana Luisa / Ferreira, Jose Vasconcelos et al. | 2014
- 174
-
Model matching for Model Transformation a meta-heuristic approachSaada, Hajer / Huchard, Marianne / Nebut, Clementine / Sahraoui, Houari et al. | 2014
- 182
-
Towards a systematic, tool-independent methodology for defining the execution semantics of UML profiles with fUMLTatibouet, Jeremie / Cuccuru, Arnaud / Gerard, Sebastien / Terrier, Francois et al. | 2014
- 193
-
Pattern-based mapping of OCL specifications to JML contractsHamie, Ali et al. | 2014
- 201
-
A case study of combining compositional and object-oriented software developmentTyugu, Enn / Harf, Mait / Grigorenko, Pavel et al. | 2014
- 209
-
Hardware In the Loop for VDM-real time modeling of embedded systemsIsasa, Jose Antonio Esparza / Jorgensen, Peter Wurtz Vinther / Larsen, Peter Gorm et al. | 2014
- 217
-
Model composition for biological mathematical systemsGill, Mandeep / McKeever, Steve / Gavaghan, David et al. | 2014
- 225
-
A test-driven approach for developing software languagesBadreddin, Omar / Forward, Andrew / Lethbridge, Timothy C. et al. | 2014
- 235
-
Enhanced code generation from UML composite state machinesBadreddin, Omar / Lethbridge, Timothy C. / Forward, Andrew / Elaasar, Maged / Aljamaan, Hamoud / Garzon, Miguel A. et al. | 2014
- 246
-
Defining Domain Specific Transformations in Human-Computer interfaces developmentSottet, Jean-Sebastien / Vagner, Alain et al. | 2014
- 254
-
A novel approach to versioning and merging model and code uniformlyBadreddin, Omar / Lethbridge, Timothy C. / Forward, Andrew et al. | 2014
- 264
-
Investigation and evaluation of UML Action LanguagesBadreddin, Omar / Lethbridge, Timothy C. / Forward, Andrew et al. | 2014
- 274
-
Analysis and validation of AUTOSAR modelsKienberger, Julian / Minnerup, Pascal / Kuntz, Stefan / Bauer, Bernhard et al. | 2014
- 282
-
A framework for model recommenders requirements, architecture and tool supportDyck, Andrej / Ganser, Andreas / Lichter, Horst et al. | 2014
- 291
-
On designing recommenders for graphical domain modeling environmentsDyck, Andrej / Ganser, Andreas / Lichter, Horst et al. | 2014
- 300
-
A recipe for tool interoperabilityBaumgart, Andreas / Ellen, Christian et al. | 2014
- 309
-
A bottom up SPL design methodMaazoun, Jihen / Bouassida, Nadia / Ben-Abdallah, Hanene et al. | 2014
- 317
-
A formal semantics for Sequence Diagrams and a strategy for system analysisLima, Lucas / Iyoda, Juliano / Sampaio, Augusto et al. | 2014
- 325
-
A language for enabling model-driven analysis of business processesBocciarelli, Paolo / D'Ambrogio, Andrea / Paglia, Emiliano et al. | 2014
- 333
-
Validating the functional design of embedded systems against stakeholder intentionsDaun, Marian / Weyer, Thorsten / Pohl, Klaus et al. | 2014
- 340
-
Semantic approach to automatically defined model transformationWang, Tiexin / Truptil, Sebastien / Benaben, Frederick et al. | 2014
- 348
-
Verbalization of business rules: Application to OCL constraints in the utility domainBaghli, Rayhana / Traverson, Bruno et al. | 2014
- 356
-
Natural-language scenario descriptions for testing core language models of domain-specific languagesHois, Bernhard / Sobernig, Stefan / Strembeck, Mark et al. | 2014
- 368
-
Architectural specification and analysis with XCDOzkaya, Mert / Kloukinas, Christos et al. | 2014
- 376
-
A new flexible method for advising metamodel matchingLafi, Lamine / Feki, Jamel / Hammoudi, Slimane et al. | 2014
- 384
-
Automated composition of sequence diagrams via alloyAlwanain, Mohammed / Bordbar, Behzad / Bowles, Juliana K. F. et al. | 2014
- 392
-
The Eclipse Java Metamodel: Scaffolding software engineering research on Java projects with MDE techniquesCoimbra, Pedro Janeiro / Brito e Abreu, Fernando et al. | 2014
- 400
-
Model-driven GUI generation and navigation for Android BIS appsda Silva, Luis Pires / Brito e Abreu, Fernando et al. | 2014
- 408
-
A pattern language for use case modelingda Cruz, Antonio Miguel Rosado et al. | 2014
- 415
-
Compiling graph transformation rules into a procedural language for behavioral modelingWinetzhammer, Sabine / Westfechtel, Bernhard et al. | 2014
- 425
-
Transformation BPEL processes to RECATNet for analysing Web services compositionsKheldoun, Ahmed / Ioualalen, Malika et al. | 2014
- 431
-
Survey of graph rewriting applied to model transformationsde la Parra, Francisco / Dean, Thomas et al. | 2014
- 442
-
iArch - An IDE for supporting abstraction-aware design traceabilityAi, Di / Ubayashi, Naoyasu / Li, Peiyuan / Hosoai, Shintaro / Kamei, Yasutaka et al. | 2014
- 448
-
An approach to class diagram designElena, Chebanyuk et al. | 2014
- 454
-
A deployment-oriented development process based on context variability modelingLee, Ka Chun Anthony / Segarra, Maria-Teresa / Guelec, Stephane et al. | 2014
- 460
-
Resourcebus: A new substrate for model-driven creationsSmolik, Petr C. / Vitkovsky, Pavel et al. | 2014
- 466
-
Towards co-evolution in model-driven development via bidirectional higher-order transformationHoisl, Bernhard / Hu, Zhenjiang / Hidaka, Soichiro et al. | 2014
- 472
-
Toward evolution models for data warehousesTaktak, Said / Feki, Jamel / Zurfluh, Gilles et al. | 2014
- 480
-
Runtime assertion checking and theorem proving for concurrent and distributed systemsDin, Crystal Chang / Owe, Olaf / Bubel, Richard et al. | 2014
- 488
-
Extending UML testing profile towards non-functional test modelingRodriguez, Federico Toledo / Lonetti, Francesca / Bertolino, Antonia / Usaola, Macario Polo / Lamancha, Beatriz Perez et al. | 2014
- 498
-
Domain-specific languages as tools for teaching 3D graphicsJacek, Kesik / Kamil, Nowakowski / Kamil, Zyla et al. | 2014
- 509
-
Staged model-driven generators: Shifting responsibility for code emission to embedded metaprogramsLilis, Yannis / Savidis, Anthony / Valsamakis, Yannis et al. | 2014
- 525
-
SWB process: A business process management system driven by semantic technologiesPacheco, Hasdai / Najera, Karen / Estrada, Hugo / Solis, Javier et al. | 2014
- 533
-
A model-based tool for generating software process model tailoring transformationsSilvestre, Luis / Bastarrica, Maria Cecilia / Ochoa, Sergio F. et al. | 2014
- 541
-
Key features for a successful model-driven development toolMarin, Beatriz / Salinas, Andres / Morande, Juan / Giachetti, Giovanni / de la Vara, Jose et al. | 2014
- 549
-
On the support of multi-perspective process models variability for smart environmentsMurguzur, Aitor / de Carlos, Xabier / Trujillo, Salvador / Sagardui, Goiuria et al. | 2014
- 555
-
An approach based on SysML and SystemC to simulate complex systemsAbdulhameed, Abbas / Hammad, Ahmed / Mountassir, Hassan / Tatibouet, Bruno et al. | 2014
- 561
-
Integrating testing into Agile software development processesvan den Broek, R. / Bonsangue, M. M. / Chaudron, M. / van Merode, H. et al. | 2014
- 575
-
The MDArte experience: OrgAnizational aspects acquired from a successful partnership between government and academia using model-driven developmentMonteiro, Rodrigo Salvador / Pinel, Roque Elias Assumpcao / Zimbrao, Geraldo / de Souza, Jano Moreira et al. | 2014
- 587
-
Supporting concurrent development of requirements and architecture: A model-based approachVogelsang, Andreas / Eder, Sebastian / Hackenberg, Georg / Junker, Maximilian / Teufl, Sabine et al. | 2014
- 601
-
The ETSI Test Description Language TDL and its applicationUlrich, Andreas / Jell, Sylvia / Votintseva, Anjelika / Kull, Andres et al. | 2014
- 609
-
Towards a method for combined model-based testing and analysisNielsen, Brian et al. | 2014
- 619
-
Integrating model-based formal timing analysis in the industrial development process of satellite on-board softwareHenia, Rafik / Rioux, Laurent / Sordon, Nicolas / Garcia, Gerald-Emmanuel / Panunzio, Marco et al. | 2014
- 626
-
Formal test-driven development with verified test casesAichernig, Bernhard K. / Lorber, Florian / Tiran, Stefan et al. | 2014
- 636
-
Combining test and proof in MBAT: An aerospace case studyDierkes, Michael et al. | 2014
- 645
-
Creating a reference technology platform: Performing model-based safety analysis in a heterogeneous development environmentKacimi, Omar / Ellen, Christian / Oertel, Markus / Sojka, Daniel et al. | 2014
- 657
-
Information models and transformation principles applied to servitization of manufacturing and service systems designAgostinho, Carlos / Bazoun, Hassan / Zacharewicz, Gregory / Ducq, Yves / Boye, Hadrien et al. | 2014
- 666
-
SLMToolBox: A tool set for service engineeringBoye, H. / Bazoun, H. / Belkhelladi, K. et al. | 2014
- 673
-
Toward a unified intercloud interoperability conceptual model for IaaS cloud serviceNodehi, Tahereh / Ghimire, Sudeep / Jardim-Goncalves, Ricardo et al. | 2014
- 682
-
Modelling services for interoperability negotiationCoutinho, Carlos / Cretan, Adina / Jardim-Goncalves, Ricardo et al. | 2014
- c1
-
Front cover| 2014
- II
-
Copyright page| 2014
- III
-
Brief contents| 2014
- IS-5
-
Limitations of model repositoriesDesfray, Philippe et al. | 2014
- IS-7
-
The role of foundational ontologies in deep modelingAtkinson, Colin et al. | 2014
- IS-9
-
Models in software architecture derivation and evaluation challenges and opportunitiesAbrahao, Silvia et al. | 2014
- IS-11
-
Verification and performance analysis of embedded and cyber-physical systems using UPPAALLarsen, Kim G. et al. | 2014
- IS-13
-
On Interaction in Data MiningHolzinger, Andreas et al. | 2014
- IX
-
Program committee (cont.)| 2014
- IX
-
Foreword| 2014
- V
-
Organizing and steering committees| 2014
- VI
-
Program committee| 2014
- X
-
Special sessions program committee| 2014
- XI
-
Contents| 2014