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: 3319563890 ISBN-13(EAN): 9783319563893 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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: 3319302426 ISBN-13(EAN): 9783319302423 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Marsha Chechik; Martin Wirsing Название: Fundamental Approaches to Software Engineering ISBN: 3642005926 ISBN-13(EAN): 9783642005923 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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 Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Stefania Gnesi; Arend Rensink Название: Fundamental Approaches to Software Engineering ISBN: 3642548032 ISBN-13(EAN): 9783642548031 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Perdita Stevens; Andrzej W?sowski Название: Fundamental Approaches to Software Engineering ISBN: 366249664X ISBN-13(EAN): 9783662496640 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The Death of Object-Oriented Programming.- Concurrent and Distributed Systems Automated Choreography Repair.- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.- Integrated environment for verifying and running distributed components.- Model-Driven Development.- Iterative and incremental model generation by logic solvers.- Automated Model Merge by Design Space Exploration.- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules.- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories.- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models.- Analysis and Bug Triaging.- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs.- Modeling and Abstraction of Memory Management in a Hypervisor.- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment.- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems.- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems.- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.- Statistical model checking of e-Motions domain-specific modeling languages.- Proof and Theorem Proving.- Towards Formal Proof Metrics.- Reduction Rules for Colored Workflow Nets.- Many-valued Institutions for Constraint Specification.- CafeInMaude: a CafeOBJ interpreter in Maude.- Verification.- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.- Hybrid Session Verification through Endpoint API Generation.- PVAIR: Partial Variable Assignment InterpolatoR.
Автор: Leszek A. Maciaszek; Joaquim Filipe Название: Evaluation of Novel Approaches to Software Engineering ISBN: 3642454216 ISBN-13(EAN): 9783642454219 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Kay Berkling; Mathai Joseph; Bertrand Meyer; Marti Название: Software Engineering Approaches for Offshore and Outsourced Development ISBN: 3642018556 ISBN-13(EAN): 9783642018558 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: David S. Rosenblum; Gabriele Taentzer Название: Fundamental Approaches to Software Engineering ISBN: 3642120288 ISBN-13(EAN): 9783642120282 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Marieke Huisman; Julia Rubin Название: Fundamental Approaches to Software Engineering ISBN: 3662544938 ISBN-13(EAN): 9783662544938 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
