65 resultater (0,38584 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Risk Assessment and Risk-Driven Testing - - Bog - Springer International Publishing AG - Plusbog.dk

Risk Assessment and Risk-Driven Testing - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed conferenceproceedings of the Third International Workshop on Risk Assessment andRisk-driven Testing, RISK 2015, held in conjunction with the OMG TechnicalMeeting in Berlin, Germany, in June 2015. The revised 8 full papers were carefully reviewed and selectedfrom 12 submissions. This workshop addresses systematic approaches that combinerisk assessment and testing. Also, the workshop was structured into the threesessions namely Risk Assessment, Risk and Development and Security Testing.

DKK 335.00
1

Hardware and Software: Verification and Testing - - Bog - Springer International Publishing AG - Plusbog.dk

Hardware and Software: Verification and Testing - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.

DKK 375.00
3

Formal Methods: Foundations and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Formal Methods: Foundations and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.

DKK 335.00
1

Software Project Management for Distributed Computing - Life-Cycle Methods for Developing Scalable and Reliable Tools

Software Project Management for Distributed Computing - Life-Cycle Methods for Developing Scalable and Reliable Tools

This unique volume explores cutting-edge management approaches to developing complex software that is efficient, scalable, sustainable, and suitable for distributed environments. Practical insights are offered by an international selection of pre-eminent authorities, including case studies, best practices, and balanced corporate analyses. Emphasis is placed on the use of the latest software technologies and frameworks for life-cycle methods, including the design, implementation and testing stages..

DKK 234.00
1

Dependable Software Engineering: Theories, Tools, and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

Dependable Software Engineering: Theories, Tools, and Applications - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.

DKK 375.00
2

Structured Object-Oriented Formal Language and Method - - Bog - Springer International Publishing AG - Plusbog.dk

Structured Object-Oriented Formal Language and Method - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

DKK 335.00
1

SDL 2015: Model-Driven Engineering for Smart Cities - - Bog - Springer International Publishing AG - Plusbog.dk

SDL 2015: Model-Driven Engineering for Smart Cities - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.

DKK 375.00
1

Gemini Flies! - Unmanned Flights and the First Manned Mission - David J. Shayler

Gemini Flies! - Unmanned Flights and the First Manned Mission - David J. Shayler

This book explains how the testing program of the next-stage space exploration mission was completed. In this pre-Apollo stage, the vehicle''s ability to move in space was demonstrated, and the dawn of a new era of operational activities in Earth orbit commenced. When Gemini 3 became the first manned flight of the highly successful series of ten missions the spring of 1965, it paved the way for Apollo to reach the Moon later in the decade. Tasked with addressing key objectives and challenges..

DKK 376.95
2

Recent Trends in Algebraic Development Techniques - - Bog - Springer International Publishing AG - Plusbog.dk

Recent Trends in Algebraic Development Techniques - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the thoroughly refereedpost-conference proceedings of the 22 nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.The 8 revised papers presented were carefully reviewed and selected from 13presentations and focus together with one invited paper on foundations ofalgebraic specification, approaches to formal specification including processcalculi and models of concurrent, distributed and mobile computing,specification languages, methods, and environments, semantics of conceptualmodeling methods and techniques, model-driven development, graphtransformations, term rewriting and proof systems, integration of formalspecification techniques, formal testing and quality assurance, validation, andverification.

DKK 335.00
1

Current Concepts in Medical Research and Practice - - Bog - Springer International Publishing AG - Plusbog.dk

Current Concepts in Medical Research and Practice - - Bog - Springer International Publishing AG - Plusbog.dk

Change is an inherent feature of all aspects of clinical practice and patient management. This book seeks to contribute to presenting novel knowledge in various fields of clinical work. The articles tackle transdisciplinary topics and focus on the underlying mechanisms of clinical disorders, their prevention and management. The themes addressed include allergy and pseudoallergy in the pediatric population, influenza-related infections and their sequelae, which continues to be a scourge in the developing world, the risk of lung cancer repeats and their management, viral hepatitis that may lead to hepatocarcinoma, respiratory consequences of diaphragmatic hernias, disorders of steroid hormone metabolism, and others. The articles bring the updated strategies, research, and best practices to improve outcomes and to deliver state-of-the-art clinical care to patients. The book will be of interest to physicians, academic scientists, and researchers who are keen in sharing the latest medical practice developments.

DKK 304.00
1