software system design methods (29 résultats)

Hardcover. Etat : Very Good. Hardcover book in very nice condition, text is unmarked and pages are tight.

Hardcover. Etat : Very Good. Ex-Library hardcover in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.

Gebundene Ausgabe. Etat : Gut. ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Etat : New.

Etat : New. In.

Etat : New. pp. 770.

Taschenbuch. Etat : 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.

Paperback. Etat : Brand New. 747 pages. 9.50x6.75x1.50 inches. In Stock.

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

Paperback. Etat : Like New. Like New. book.

hardcover. Etat : Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Etat : Neu. System Design in Software Engineering | Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 4 | Radek Silhavy (u. a.) | Taschenbuch | xiv | Englisch | 2025 | Springer | EAN 9783031947698 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Etat : Neu. Artificial Intelligence for System Oriented Design | Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1 | Radek Silhavy (u. a.) | Taschenbuch | 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.

Taschenbuch. Etat : 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.

Taschenbuch. Etat : 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.

Paperback. Etat : Brand New. 578 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Etat : Brand New. 300 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Etat : Brand New. 500 pages. 9.26x6.11x9.21 inches. In Stock.

Paperback. Etat : Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.

Paperback. Etat : Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.

paperback. Etat : 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. Etat : New. Language:Chinese.Paperback.Pub Date:2011-02 Publisher:People's Medical Publishing House.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 768 pp. Englisch.

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on the Challenge of Advanced Computing Technology to System Design Methods Held at Grey College, University of Durham, UK, July 29 - August 10, 1985In this volume we present the full proceedings of a NATO.

Etat : New. Print on Demand pp. 770 132 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

Etat : New. PRINT ON DEMAND pp. 770.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 768 pp. Englisch.