Evaluation of Novel Approaches to Software Engineering, Joaquim Filipe; Leszek A. Maciaszek

Автор: Leszek A. Maciaszek; Joaquim Filipe
Название: Evaluation of Novel Approaches to Software Engineering
ISBN: 3319302426 ISBN-13(EAN): 9783319302423
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereedproceedings of the 10th International Conference on Evaluation of NovelApproaches to Software Engineering, ENASE 2015, held in Barcelona, Spain, inApril 2015.The 10 full papers presented were carefully reviewed and selected from 74 submissions.

Автор: Marieke Huisman; Julia Rubin
Название: Fundamental Approaches to Software Engineering
ISBN: 3662544938 ISBN-13(EAN): 9783662544938
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Learning and Inference.- Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study.- Bordeaux: a tool for thinking outside the box.- Test Selection.- Bucketing Failing Tests via Symbolic Analysis.- Selective Bisection Debugging. - On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study.- Program and System Analysis.- Inference and Evolution of TypeScript Declaration Files.- Explicit Connection Actions in Multiparty Session Types.- Change and Delay Contracts for Hybrid System Component Verification. - Precise Version Control of Trees with Line-based Version Control Systems.- Graph Modelling and Transformation.- StaticGen: Static Generation of UML Sequence Diagrams.- Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques.- GTS Families for the Flexible Composition of Graph Transformation Systems.- Symbolic Model Generation for Graph Properties. - Model Transformations.- Traceability Mappings as a Fundamental Instrument in Model Transformations.- Reusing Model Transformations through Typing Requirement Models.- Change-preserving model repair. -A deductive approach for fault localization in ATL model transformations. -Configuration and Synthesis.- OpenSAW: Open Security Analysis Workbench.- Visual Configuration of Mobile Privacy Policies.- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing from Formal Sematics: Chisel.- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools.- Software Product Lines.- Family-Based Model Checking with mCRL2.- Variability-specific Abstraction Refinement for Family-based Model Checking.- A Unified and Formal Programming Model for Deltas and Traits.

Автор: Leszek A. Maciaszek; Joaquim Filipe
Название: Evaluation of Novel Approaches to Software Engineering
ISBN: 3319563890 ISBN-13(EAN): 9783319563893
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.The 11 full papers presented were carefully reviewed and selected from 79 submissions.

Автор: Leszek A. Maciaszek; Joaquim Filipe
Название: Evaluation of Novel Approaches to Software Engineering
ISBN: 3319272179 ISBN-13(EAN): 9783319272177
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Reducing the Level of Complexity of Working with Model Transformations.- Learning from the Current Status of Agile Adoption.- A Case Study Investigation of a Lightweight, Systematic Elicitation Approach for Enterprise Architecture Requirements.- Using a Domain Specific Language for Lightweight Model-Driven Development.- A Study of the Relationship between Class Testability and Runtime Properties.- Online Testing: A Passive Approach for Protocols.- Experiences of Use of a Multi-Domain Tool for Collaborative Software Engineering Tasks.- Taking Seriously Software Projects Inception through Games. Natural Language Generation Approach for Automated Generation of Test Cases from Logical Specification of Requirements.- Visualization, Simulation and Validation for Cyber-Virtual Systems.- Mobile Application Estimate the Design Phase.

Автор: Leszek A. Maciaszek; Joaquim Filipe
Название: Evaluation of Novel Approaches to Software Engineering
ISBN: 3642454216 ISBN-13(EAN): 9783642454219
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012.

Автор: Marsha Chechik; Martin Wirsing
Название: Fundamental Approaches to Software Engineering
ISBN: 3642005926 ISBN-13(EAN): 9783642005923
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

Автор: Kay Berkling; Mathai Joseph; Bertrand Meyer; Marti
Название: Software Engineering Approaches for Offshore and Outsourced Development
ISBN: 3642018556 ISBN-13(EAN): 9783642018558
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the Second International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2008, held in Zurich, Switzerland, on July 2-3, 2008. This book covers such areas as: extreme programming and code review, outsourcing and offshoring, global and distributed software development.

Автор: Olly Gotel; Mathai Joseph; Bertrand Meyer
Название: Software Engineering Approaches for Offshore and Outsourced Development
ISBN: 3642029868 ISBN-13(EAN): 9783642029868
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outsourcing areas of software development work for many years, either because of the engineering challenges or because the outsourced aspect is not central to their core business.

Автор: Martin Nordio; Mathai Joseph; Bertrand Meyer; Andr
Название: Software Engineering Approaches for Offshore and Outsourced Development
ISBN: 3642137830 ISBN-13(EAN): 9783642137839
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the Fourth International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2010, held in St Petersburg, Russia, June 17-18, 2010.

Автор: David S. Rosenblum; Gabriele Taentzer
Название: Fundamental Approaches to Software Engineering
ISBN: 3642120288 ISBN-13(EAN): 9783642120282
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: Stefania Gnesi; Arend Rensink
Название: Fundamental Approaches to Software Engineering
ISBN: 3642548032 ISBN-13(EAN): 9783642548031
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014.

Автор: Alexander Egyed; Ina Schaefer
Название: Fundamental Approaches to Software Engineering
ISBN: 3662466740 ISBN-13(EAN): 9783662466742
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.