Analytical Methods in Software Engineering Economics, Thomas R. Gulledge; William P. Hutzler

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 50680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

Автор: Vaishnavi
Название: Design Science Research Methods and Patterns
ISBN: 1498715257 ISBN-13(EAN): 9781498715256
Издательство: Taylor&Francis
Рейтинг:
Цена: 112290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.

Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT).

With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method.

This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality.

This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.

Автор: Pamela T. Geriner; Thomas R. Gulledge; William P.
Название: Software Engineering Economics and Declining Budgets
ISBN: 3642788807 ISBN-13(EAN): 9783642788802
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Software Engineering Economics is a relatively new discipline that deals with all segments of the software life cycle.

Автор: Karin Breitman; Ana Cavalcanti
Название: Formal Methods and Software Engineering
ISBN: 3642103723 ISBN-13(EAN): 9783642103728
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .

Автор: Kazuhiro Ogata; Mark Lawford; Shaoying Liu
Название: Formal Methods and Software Engineering
ISBN: 3319478451 ISBN-13(EAN): 9783319478456
Издательство: Springer
Рейтинг:
Цена: 68950.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.

Автор: De Nicola
Название: Software Engineering and Formal Methods
ISBN: 3319415905 ISBN-13(EAN): 9783319415901
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions.

Автор: Alessandro Cimatti; Marjan Sirjani
Название: Software Engineering and Formal Methods
ISBN: 3319661965 ISBN-13(EAN): 9783319661964
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.

Автор: Zhenhua Duan; Luke Ong
Название: Formal Methods and Software Engineering
ISBN: 3319686895 ISBN-13(EAN): 9783319686899
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Автор: Steve Counsell; Manuel N??ez
Название: Software Engineering and Formal Methods
ISBN: 3319050311 ISBN-13(EAN): 9783319050317
Издательство: Springer
Рейтинг:
Цена: 77320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication Behaviour in A Commercial Cloud.- A Typing System for Privacy.- Compliance and Testing Preorders Differ.- Scalable Session Programming for Heterogeneous High-Performance Systems.- A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.- SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets.- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods and Railways: What Next.- What IS a BoK? Large - Extended Abstract.- Verification of Scheme Plans Using CSPjjB.- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.- Validation of Railway Interlocking Systems by Formal Verification, A Case Study.- Verification of Solid State Interlocking Programs.- Towards Knowledge Modeling for Sustainable Transport.- XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain.- The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management.- Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality.- A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.- Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.- DISPAS: An Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.- Soundness and Completeness of the NRB Verification Logic.- Analysis of FLOSS Communities as Learning Contexts.- Small World Characteristics of FLOSS Distributions.

Автор: Dimitra Giannakopoulou; Gwen Sala?n
Название: Software Engineering and Formal Methods
ISBN: 3319104306 ISBN-13(EAN): 9783319104300
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions.

Автор: Stephan Merz; Jun Pang
Название: Formal Methods and Software Engineering
ISBN: 331911736X ISBN-13(EAN): 9783319117362
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.

Автор: Carlos Canal; Akram Idani
Название: Software Engineering and Formal Methods
ISBN: 3319152009 ISBN-13(EAN): 9783319152004
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: HOFM 2014.- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.- An Approach for Creating Domain Specific Visualisations of CSP Models.- Using Z in the Development and Maintenance of Computational Models of Real-World Systems.- When a Formal Model Rhymes with a Graphical Notation.- SaFoMe 2014.- On a Process Algebraic Representation of Sequence Diagrams.- Modelling and Verification of Survivability Requirements for Critical Systems.- Model-Based Verification of Safety Contracts.- A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.- A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics.- OpenCert 2014.- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language.- OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities.- Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives.- MoKMaSD 2014.- A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks.- Use of Mobile Phone Data to Estimate Visitors Mobility Flows.- An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities.- A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.- Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea.- Research Challenges in Modelling Ecosystems.- Retrieving Points of Interest from Human Systematic Movements.- WS-FMDS 2014.- Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution.- Phase-Type Approximations for Non-Markovian Systems: A Case Study.- Quantitative Anonymity Evaluation of Voting Protocols.- Scalable Verification of Markov Decision Processes.- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis.- On Generation of Context-Abstract Plans.- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.