Atjaunināt sīkdatņu piekrišanu

Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers 1st ed. 2016 [Mīkstie vāki]

Edited by , Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 431 pages, height x width: 235x155 mm, weight: 682 g, 174 Illustrations, color; XV, 431 p. 174 illus. in color., 1 Paperback / softback
  • Sērija : Communications in Computer and Information Science 586
  • Izdošanas datums: 25-Feb-2016
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3319301411
  • ISBN-13: 9783319301419
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Paperback / softback, 431 pages, height x width: 235x155 mm, weight: 682 g, 174 Illustrations, color; XV, 431 p. 174 illus. in color., 1 Paperback / softback
  • Sērija : Communications in Computer and Information Science 586
  • Izdošanas datums: 25-Feb-2016
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3319301411
  • ISBN-13: 9783319301419
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.





The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems. 
Invited Paper
What Do We Know and How Well Do We Know It? Current Knowledge About Software Engineering Practices
3(16)
David Bud Gen
Software Paradigm Trends
Filtered Model-Driven Product Line Engineering with SuperMod: The Home Automation Case
19(23)
Felix Schwagerl
Thomas Buchmann
Bernhard Westfechtel
A Semantic Versioning Service Based on Formal Certification
42(21)
Jean-Yves Vion-Dury
Nikolaos Lagos
An Eclipse IDE for Teaching Java--
63(16)
Lorenzo Bettini
Pierluigi Crescenzi
Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis
79(20)
Rene Meis
Maritta Heisel
Integrating Model Driven and Model Checking to Mine Design Patterns
99(19)
Mario L. Bernardi
Marta Cimitile
Giuseppe De Ruvo
Giuseppe A. Di Lucca
Antonella Santone
R-UML: An UML Profile for Verification of Flexible Control Systems
118(19)
Mohamed Oussama Ben Salem
Olfa Mosbahi
Mohamed Khalgui
Georg Frey
Invariant Implementation for Domain Models Applying Incremental OCL Techniques
137(18)
Alberto-Manuel Fernandez-Alvarez
Daniel Fernandez-Lanvin
Manuel Quintela-Pumares
An Ontological Analysis of a Proposed Theory for Software Development
155(20)
Diana Kirk
Stephen MacDonell
Software Engineering and Applications
Specifying Business Process Outsourcing Requirements
175(16)
Mouna Rekik
Khouloud Boukadi
Hanene Ben-Abdallah
Supporting Deviations on Software Processes: A Literature Overview
191(19)
Manel Smatti
Maurad Oussalah
Mohamed Ahmed Nacer
Protection of Customers' and Suppliers' Knowledge in Software Development Projects with Fixed-Price Contract: Using Property Rights Theory
210(18)
Cornelia Gaebert
GQM-Based Definition and Evaluation of Software Project Success Indicators
228(22)
Luigi Lavazza
Enrico Frumento
Riccardo Mazza
Dynamic Analysis Techniques to Reverse Engineer Mobile Applications
250(19)
Philippe Dugerdil
Roland Sako
Annotating Goals with Concerns in Goal-Oriented Requirements Engineering
269(18)
Shinpei Hayashi
Wataru Inoue
Haruhiko Kaiya
Motoshi Saeki
A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines
287(20)
Julie Street Fant
Hassan Gomaa
Robert G. Pettit
Model Checking Feature Interactions
307(19)
Thibaut Le Guilly
Petur Olsen
Thomas Pedersen
Anders P. Ravn
Arne Skou
Deriving Tailored UML Interaction Models from Scenario-Based Runtime Tests
326(23)
Thorsten Haendler
Stefan Sobernig
Mark Strembeck
Documenting and Designing QVTo Model Transformations Through Mathematics
349(16)
Ulyana Tikhonova
Tim Willemse
An Approach for the Automatic Adaptation of Domain-Specific Modeling Languages for Model-Driven Mobile Application Development
365(15)
Xiaoping Jia
Christopher Jones
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
380(17)
Bruno Lima
Joao Pascoal Faria
Guiding Cloud Developers to Build Energy Aware Applications
397(18)
Christophe Ponsard
Jean-Christophe Deprez
Raphael Michel
SPACES: Subjective sPaces Architecture for Contextualizing hEterogeneous Sources
415(16)
Daniela Micucci
Marco Mobilio
Francesco Tisato
Author Index 431