High Integrity System Specification and Design

Author: Jonathan P. Bowen
Publisher: Springer Science & Business Media
ISBN: 9781447134312
Release Date: 2012-12-06
Genre: Computers

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4° 18'3", read cos. 14° 18' 3". - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such tables were often inaccurate, copied carelessly, and had been instrumental in causing a number of maritime disasters. Babbage's machine, called a 'Difference Engine' because it performed its cal culations using the principle of partial differences, was intended to substantially reduce the number of errors made by humans calculating the tables. Babbage had also designed (but never built) a forerunner of the modern printer, which would also reduce the number of errors admitted during the transcription of the results. Nowadays, a system implemented to perform the function of Babbage's engine would be classed as safety-critical. That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.

Component Based Software Quality

Author: Alejandra Cechich
Publisher: Springer Science & Business Media
ISBN: 3540405038
Release Date: 2003-06-26
Genre: Business & Economics

Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems. This book is the first one focusing on quality issues of components and component-based systems. The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coherent and competent survey of the state of the art in the area. The book is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management.

The Cleanroom Approach to Quality Software Development

Author: Michael Dyer
Publisher: Wiley
ISBN: UOM:39015025287635
Release Date: 1992-02-07
Genre: Computers

Describes the first practical attempt to place software development under statistical quality control and to deliver software with a known and certified meantime to failure. Shows how to improve productivity during software development using statistical design methods, and gives guidelines for writing more precise specifications, building simpler designs and avoiding error rework.

Software Testing and Quality Assurance

Author: Kshirasagar Naik
Publisher: John Wiley & Sons
ISBN: 9781118211632
Release Date: 2011-09-23
Genre: Computers

A superior primer on software testing and quality assurance, from integration to execution and automation This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and common testing practices. Software Testing and Quality Assurance: Theory and Practice equips readers with a solid understanding of: Practices that support the production of quality software Software testing techniques Life-cycle models for requirements, defects, test cases, and test results Process models for units, integration, system, and acceptance testing How to build test teams, including recruiting and retaining test engineers Quality Models, Capability Maturity Model, Testing Maturity Model, and Test Process Improvement Model Expertly balancing theory with practice, and complemented with an abundance of pedagogical tools, including test questions, examples, teaching suggestions, and chapter summaries, this book is a valuable, self-contained tool for professionals and an ideal introductory text for courses in software testing, quality assurance, and software engineering.

Advances in Computers

Author:
Publisher: Academic Press
ISBN: 0080566685
Release Date: 1993-06-07
Genre: Computers

Advances in Computers

Applications of Formal Methods

Author: Michael Gerard Hinchey
Publisher:
ISBN: UOM:39015037865444
Release Date: 1995-01-01
Genre: Technology & Engineering

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Fundamental Approaches to Software Engineering

Author: Tom Maibaum
Publisher: Springer Science & Business Media
ISBN: 9783540672616
Release Date: 2000-03-15
Genre: Computers

ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Forthcoming Books

Author: Rose Arny
Publisher:
ISBN: UOM:39015038913821
Release Date: 1997-06
Genre: American literature


Software Engineering

Author: Shari Lawrence Pfleeger
Publisher: Prentice Hall
ISBN: 9780131469136
Release Date: 2006
Genre: Computers

This introduction to software engineering and practice addresses both procedural and object-oriented development.Is thoroughly updated to reflect significant changes in software engineering, including modeling and agile methods. Emphasizes essential role of modeling design in software engineering. Applies concepts consistently to two common examples a typical information system and a real-time system. Combines theory with real, practical applications by providing an abundance of case studies and examples from the current literature.A useful reference for software engineers.

Books in Print

Author:
Publisher:
ISBN: UOM:39015049090825
Release Date: 2001
Genre: American literature

Books in print is the major source of information on books currently published and in print in the United States. The database provides the record of forthcoming books, books in-print, and books out-of-print.

W rme und Stoff bertragung

Author: Hans Dieter Baehr
Publisher: Springer-Verlag
ISBN: 9783662496770
Release Date: 2016-08-01
Genre: Science

Dieses bewährte Lehrbuch ist eine umfassende und gründliche Darstellung der Wärme- und Stoffübertragung. Ihre Theorie wird systematisch entwickelt, und die Lösungsmethoden aller wichtigen Probleme werden ausführlich behandelt. Alle Gebiete der Wärme- und Stoffübertragung werden dargestellt: Wärmeleitung und Diffusion, konvektiver Wärme- und Stoffaustausch, Wärmetransport beim Kondensieren und Verdampfen, Wärmestrahlung sowie die Berechnung der Wärme- und Stoffübertrager. Die 9. Auflage wurde auf den neusten Stand gebracht, so z.B. die Berechnungsgleichungen und auf Messungen basierende Korrelationen des Wärme- und Stoffübergangs oder die Stoffwerttabellen und das Literaturverzeichnis. Inhaltliche Ergänzungen betreffen vor allem die Kapitel über den Wärmeübergang bei erzwungener turbulenter Strömung, ebenso bei freier und Überlagerung von freier und erzwungener Strömung. Zudem enthalten viele Tabellen nur noch Orientierungswerte und wurden damit übersichtlicher gestaltet.