Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Modern Software Engineering Concepts and Practices: Advanced Approaches, Do Ru Ali H., Dogru Ali H., Bier Veli


Варианты приобретения
Цена: 22572.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до:
Ориентировочная дата поставки:
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Do Ru Ali H., Dogru Ali H., Bier Veli
Название:  Modern Software Engineering Concepts and Practices: Advanced Approaches
ISBN: 9781609602154
Издательство: Mare Nostrum (Eurospan)
Классификация:
ISBN-10: 1609602153
Обложка/Формат: Hardcover
Страницы: 506
Вес: 1.44 кг.
Дата издания: 31.03.2011
Язык: English
Размер: 27.94 x 21.84 x 3.05 cm
Читательская аудитория: Further/higher education
Подзаголовок: Advanced approaches
Рейтинг:
Поставляется из: Англии
Описание: Provides emerging theoretical approaches and their practices. This book includes case studies and real-world practices and presents a range of advanced approaches to reflect various perspectives in the discipline.


Fundamental Approaches to Software Engineering

Автор: Russo
Название: Fundamental Approaches to Software Engineering
ISBN: 3319893629 ISBN-13(EAN): 9783319893624
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Model-Based Software Development.- A Formal Framework for Incremental Model Slicing.- Multiple Model Synchronization with Multiary Delta Lenses.- Controlling the Attack Surface of Object-Oriented Refactorings.- Efficient Analysis of Attack Trees: a Model-Driven Approach.- Distributed Program and System Analysis.- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems.- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States.- Software Design and Verification.- Hierarchical Specification and Verification of Architectural Design Patterns.- Supporting Verification-Driven Incremental Distributed Design of Components.- Summarizing Software API Usage Examples using Clustering Techniques.- Fast Computation of Arbitrary Control Dependencies.- Specification and Program Testing.- Iterative Generation of Diverse Models for Testing Specifications of SL Tools.- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications.- TCM: Test Case Mutation to Improve Crash Detection in Android.- CRETE: A Versatile Binary-Level Concolic Testing Framework.- Family-Based Software Development.- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL*.- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems.- Taming Multi-Variability of Software Product Line Transformations.

Puppet Best Practices

Автор: Barbour Chris
Название: Puppet Best Practices
ISBN: 1491923008 ISBN-13(EAN): 9781491923009
Издательство: Wiley
Рейтинг:
Цена: 6334.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: If you maintain or plan to build Puppet infrastructure, this practical guide will take you a critical step further with best practices for managing the task successfully. Authors Chris Barbour and Jo Rhett present best-in-class design patterns for deploying Puppet environments and discuss the impact of each.

Software Engineering: Effective Teaching and Learning Approaches and Practices

Автор: Ellis Heidi J. C., Demurjian Steven a., Naveda J. Fernando
Название: Software Engineering: Effective Teaching and Learning Approaches and Practices
ISBN: 1605661023 ISBN-13(EAN): 9781605661025
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 24453.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the developments in software engineering education.

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering

Автор: Dietmar Winkler; Stefan Biffl; Johannes Bergsmann
Название: Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering
ISBN: 3319036017 ISBN-13(EAN): 9783319036014
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part: Keynote.- Software Quality Assurance by Static Program Analysis.- Part: Software Process Improvement and Measurement.- An Industry Ready Defect Causal Analysis Approach Exploring Bayesian Networks.- Business Intelligence in Software Quality Monitoring: Experiences and Lessons Learnt from an Industrial Case Study (Short Paper).- Dealing with Technical Debt in Agile Development Projects (Short Paper).- Part: Requirements Management.- Statistical Analysis of Requirements Prioritization for Transition to Web Technologies: A Case Study in an Electric Power Organization.- Challenges and Solutions in Global Requirements Engineering - A Literature Survey (Short Paper).- Automated Feature Identification in Web Applications (Short Paper).- Part: Value-Based Software Engineering.- Value-Based Migration of Legacy Data Structures.- Part: Software and Systems Testing.- An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.- Effects of Test-Driven Development: A Comparative Analysis of Empirical Studies (Short Paper).- Isolated Testing of Software Components in Distributed Software Systems (Short Paper).- Part: Automation-Supported Testing.- Automated Test Generation for Java Generics (Short Paper).- Constraint-Based Automated Generation of Test Data (Short Paper).- Part: Quality Assurance and Collaboration.- RUP Alignment and Coverage Analysis of CMMI ML2 Process Areas for the Context of Software Projects Execution (Short Paper).- Directing High-Performing Software Teams: Proposal of a Capability-Based Assessment Instrument Approach (Short Paper).

Fundamental Approaches to Software Engineering

Автор: Vittorio Cortellessa; D?niel Varr?
Название: Fundamental Approaches to Software Engineering
ISBN: 364237056X ISBN-13(EAN): 9783642370564
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. They are organized in topical sections named: model-driven engineering;

Evaluation of Novel Approaches to Software Engineering

Автор: 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.

Fundamental Approaches to Software Engineering

Автор: 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.

Software Engineering Approaches for Offshore and Outsourced Development

Автор: 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.

Formal Approaches to Software Testing and Runtime Verification

Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha
Название: Formal Approaches to Software Testing and Runtime Verification
ISBN: 3540496998 ISBN-13(EAN): 9783540496991
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Software Engineering Approaches for Offshore and Outsourced Development

Автор: Olly Gotel; Mathai Joseph; Bertrand Meyer
Название: Software Engineering Approaches for Offshore and Outsourced Development
ISBN: 3642029868 ISBN-13(EAN): 9783642029868
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Fundamental Approaches to Software Engineering

Автор: 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
   В Контакте     В Контакте Мед  Мобильная версия