دانلود کتاب Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers

فهرست مطالب :

Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
Survey on the Applicability of Textual Notations for the Unified Modeling Language (Stephan Seifermann, Henning Groenda)....Pages 3-24
Using Workflows to Automate Activities in MDE Tools (Miguel Andrés Gamboa, Eugene Syriani)....Pages 25-45
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System (Stefano Pepi, Alessandro Fantechi)....Pages 46-69
Cognitive Feedback and Behavioral Feedforward Automation Perspectives for Modeling and Validation in a Learning Context (Gayane Sedrakyan, Monique Snoeck)....Pages 70-92
Automatically Testing of Multimodal Interactive Applications (Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis)....Pages 93-113
Automated Web Service Composition Testing as a Service (Dessislava Petrova-Antonova, Sylvia Ilieva, Denitsa Manova)....Pages 114-131
Software Testing Techniques Revisited for OWL Ontologies (Cesare Bartolini)....Pages 132-153
Certification of Cash Registers Software (Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni)....Pages 154-167
Front Matter ....Pages 169-169
Meta-Tool for Model-Driven Verification of Constraints Satisfaction (César Cuevas Cuesta, Patricia López Martínez, José M. Drake)....Pages 171-193
A Model-Driven Adaptive Approach for IoT Security (Bruno A. Mozzaquatro, Carlos Agostinho, Raquel Melo, Ricardo Jardim-Goncalves)....Pages 194-215
Identifying Performance Objectives to Guide Service Oriented Architecture Layers (Tehreem Masood, Chantal Bonner Cherifi, Néjib Moalla)....Pages 216-226
Front Matter ....Pages 227-227
Empirical Investigation of Scrumban in Global Software Development (Ahmad Banijamali, Research Dawadi, Muhammad Ovais Ahmad, Jouni Similä, Markku Oivo, Kari Liukkunen)....Pages 229-248
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations (Dan Zhang, Dragan Bošnački, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper et al.)....Pages 249-273
Process Oriented Training with ADOxx: A Model-Based Realisation in Learn PAd (Robert Woitsch, Nesat Efendioglu, Damiano Falcioni)....Pages 274-292
Model-Based Architecture for Learning in Complex Organization (Francesco Basciani, Gianni Rosa)....Pages 293-311
An Assessment Environment for Model-Based Learning Management (Antonello Calabrò, Sarah Zribi, Francesca Lonetti, Eda Marchetti, Tom Jorquera, Jean-Pierre Lorré)....Pages 312-332
An Ontology-Based and Case-Based Reasoning Supported Workplace Learning Approach (Sandro Emmenegger, Knut Hinkelmann, Emanuele Laurenzi, Andreas Martin, Barbara Thönssen, Hans Friedrich Witschel et al.)....Pages 333-354
Back Matter ....Pages 355-355