Balancing Agile and Disciplined Engineering and Management Approaches for IT Services and Software Products, Mora Manuel, Gуmez Jorge Marx, O`Connor Rory V.
Автор: 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.
Автор: 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.
Автор: Egidio Astesiano Название: Fundamental Approaches to Software Engineering ISBN: 3540643036 ISBN-13(EAN): 9783540643036 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Besides two invited presentations and three system demonstrations, this volume presents 18 papers. Among the fundamental software engineering issues addressed are formal methods, specification languages, refinements, object-oriented modelling, software architectures, statecharts and model checking.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Joaquim Filipe; Leszek A. Maciaszek Название: Evaluation of Novel Approaches to Software Engineering ISBN: 3642540910 ISBN-13(EAN): 9783642540912 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013.
Описание: Focuses on clarifying theoretical foundations of balanced design methods with conceptual frameworks and empirical cases. The book highlights a broad range of topics, including business trends, IT service, and software development.
Описание: Aptly named `Television`s First Lady` by Walter Ames of the Los Angeles Times, actress Beverly Garland (1926-2008) is also regarded as a Western and science-fiction film icon. In addition to more than 700 TV appearances, she made more than 55 feature and made-for-television films. This comprehensive biography includes a foreword and afterword by her colleagues Joseph Campanella and Peggy Webber.
Автор: Damiani Название: Evaluation of Novel Approaches to Software Engineering ISBN: 3319941348 ISBN-13(EAN): 9783319941349 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017. The 12 full papers presented were carefully reviewed and selected from 102 submissions.
Автор: Reiner H?hnle; Wil van der Aalst Название: Fundamental Approaches to Software Engineering ISBN: 3030167216 ISBN-13(EAN): 9783030167219 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: FASE Invited Talk.- Software Assurance in an Uncertain World.- Software Verification.- Tool Support for Correctness-by-Construction.- Automatic Modeling for Opaque Code in JavaScript Static Analysis.- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.- A Hybrid Dynamic Logic for Event/Data-based Systems.- Model-driven Development and Model Transformation.- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments.- Efficient Model Synchronization by Automatically Constructed Repair Processes.- Offline Delta-driven Model Transformation with Dependency Injection.- A Logic-Based Incremental Approach to Graph Repair.- Software Verification.- DeepFault: Fault Localization For Deep Neural Networks.- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL.- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System.- Checking Observational Purity Of Procedures.- Software Evolution & Requirements Engineering.- Structural and Nominal Cross-Language Clone Detection.- SL2SF: Refactoring Simulink to Stateflow.- Metric Temporal Graph Logic over Typed Attributed Graphs.- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs.- Business Process Privacy Analysis in PLEAK.- Specification, Design, and Implementation of Particular Classes of Systems.- CLTestCheck: Measuring Test Effectiveness for GPU Kernels.- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.- Optimal and Automated Deployment for Microservices.- A Data Flow Model with Frequency Arithmetic.- Software Testing.- CoVeriTest: Cooperative Verifier-Based Testing.- Pardis: Priority Aware Test Case Reduction.- Automatically Identifying Sufficient Object Builders from Module APIs.
Автор: Muhammad Sarfraz Название: Exploring Critical Approaches of Evolutionary Computation ISBN: 1522558322 ISBN-13(EAN): 9781522558323 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 31324.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Modern optimization approaches have attracted an increasing number of scientists, decision makers, and researchers. As new issues in this field emerge, different optimization methodologies must be developed and implemented.Exploring Critical Approaches of Evolutionary Computation is a vital scholarly publication that explores the latest developments, methods, approaches, and applications of evolutionary models in a variety of fields. It also emphasizes evolutionary models of computation such as genetic algorithms, evolutionary strategies, classifier systems, evolutionary programming, genetic programming, and related fields such as swarm intelligence and other evolutionary computation techniques. Highlighting a range of pertinent topics such as neural networks, data mining, and data analytics, this book is designed for IT developers, IT theorists, computer engineers, researchers, practitioners, and upper-level students seeking current research on enhanced information exchange methods and practical aspects of computational systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
