Software system design methods (37 resultados)

Paperback or Softback. Condición: New. Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System. Book.

hardcover. Condición: Gut. 747 Seiten; 9780387167657.3 Gewicht in Gramm: 1.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of the challenge of advanced computing technology to system design methods. This is in fact the second ASI organised by myself and my colleagues in the field of systems reliability; the first was about Electronic Systems Effectiveness and Life Cycle Costing, and the proceed ings were published by the same publisher in 1983, as 'Series F (Computer and System Sciences, No. 3)'. The first part of the present proceedings concentrates on the development of low-fault and fault-tolerant software. In organising this session I was greatly helped by Mr. John Musa and Professor V. R. Basili. The latter and Or. R. W. Selby open our text with their interesting approach to the problem of data collection and of observation sampling for statistical analysis of software development, software testing strategies and error analysis. The problem of clean room software development is also considered. Next Professor B. Randell discusses recursively structured fault-tolerant distributed computer systems, and bases his approach on a UNIX system example. His aim is to establish that a distributed system should be functionally equivalent to an individual computing system. Or. L. F. Pau considers knowledge engineering techniques applied to fault detection, test generation and maintenance of software. This is illustrated by a variety of examples, such as electronic failure detection, control system testing, analysis of intermittent failures, false alarm reduction and others. Following this Mr. M.…

Condición: New. pp. 770.

Paperback. Condición: Brand New. 747 pages. 9.50x6.75x1.50 inches. In Stock.

Hardcover. Condición: Brand New. 1st edition. 328 pages. 10.00x7.00x1.00 inches. In Stock.

Condición: New.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: Neu. Artificial Intelligence for System Oriented Design | Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1 | Radek Silhavy (u. a.) | Taschenbuch | Lecture Notes in Networks and Systems | xv | Englisch | 2025 | Springer | EAN 9783031967979 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers a broad range of ideas from CoMeSySo 2024, highlighting theory and practice in modern computing. Researchers from diverse backgrounds present their latest findings on systems design, software engineering, and innovative problem-solving.Topics include new methods to improve modeling, testing, and optimization across various fields.The book also shows how data-driven approaches and well-structured architectures can increase reliability. These proceedings foster meaningful teamwork and shared learning by bringing together experts from many areas. Readers will gain insights into advanced techniques that can be adapted to real-world situations. Industry specialists, academic researchers, and students will benefit from the breadth of approaches.Case studies reveal common hurdles and present workable solutions for upcoming challenges.With a clear focus on advancement, this resource is an essential guide to the next steps in computational development.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book bridges theory and practice in modern computing, showcasing the latest research in systems design, software engineering, and innovative problem-solving. Across the book, contributors introduce fresh methods for modeling, testing, and optimization, while demonstrating how data-driven techniques and thoughtfully crafted architectures boost system reliability. By bringing together specialists from a wide range of fields, the proceedings foster meaningful collaboration and knowledge-sharing. Detailed case studies illuminate common hurdles and offer practical, evidence-based solutions, giving industry professionals, academic researchers, and students techniques they can immediately apply to real-world projects and future challenges. With its clear focus on forward progress, this collection serves as an essential guide to the next phase of computational development.…

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: Brand New. 578 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Condición: Brand New. 500 pages. 9.26x6.11x9.21 inches. In Stock.

Paperback. Condición: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Condición: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.

paperback. Condición: New. Paperback. Pub Date: 2012 Pages: 219 in Publisher: Harbin Engineering University Press real-time embedded system software design method introduced the knowledge of the design and development of real-time embedded systems software. Real-time embedded system software design method for real-time embedded operating system VxWorks object. a detailed discussion of the development environment for the establishment of task scheduling and management. kernel object manipulation.…

paperback. Condición: New. Language:Chinese.Paperback.Pub Date:2011-02 Publisher:People's Medical Publishing House.

Condición: new. Questo è un articolo print on demand.