High-Assurance Software Engineering Workshop, 1997

• Pubblicazione: [Place of publication not identified], : IEEE Computer Society Press, 1997
• Descrizione fisica: 1 online resource (xii, 227 pages) : illustrations
• Disciplina: 658.562
• Soggetto topico: Quality assurance
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: On the development of dependability-evaluation workbench for high-assurance system designers,"A. -- Taming the Octopus: using formal models to integrate the Octopus object oriented analysis models,"R. -- Do you trust your compiler? Applying formal methods to constructing high-assurance compilers,"J. -- Enhancing system dependability with dynamically reconfigurable FPGAs,"K. -- Experience in capturing requirements for safety-critical medical devices in an industrial environment,"Wei-Tek -- The quality of service model and high assurance,"T. -- A graphical property specification language,"Insup -- Analytical design of evolutionary control flow components,"C. -- Verifying communication constraints in RSML specifications,"M. -- Design and assurance strategy for the NRL pump,"M. -- Automated computation of decomposable synchronization conditions,"G. -- A software environment for custom simulation and monitoring of real-time specifications,"M. -- Analytical modelling and evaluation of phased-mission systems for space applications,"A. -- Verifying fault-tolerant behavior of state machines,"M. -- Scalable and reliable synchronous collaboration environment on CORBA using WWW,"Minsoon -- An automated tool for efficiently generating a massive number of random test cases,"A. -- Evaluation and improvement of software products and processes based on measurement,"F. -- Framework of a software reliability engineering tool,"S. -- Design of a portable control-flow checking technique,"Z. -- A recovery model for extended real-time transactions,"E. -- Software complexity analysis on department of defense real-time systems,"W. -- Hierarchical specification of system behavior,"R. -- High-coverage fault tolerance in real-time systems based on point-to-point communication,"K. -- ReSoFT: a reusable testbed for development and evaluation of software fault-tolerant systems,"K. -- Process measures for predicting software quality,"T. -- Deriving safety properties of critical software from the system risk analysis, application to ground transportation systems,"J. -- High assurance application systems and their technologies under changing situations,"K. -- Toward more effective testing for high assurance systems,"H. -- Combining testing and correctness verification in software reliability assessment,"B. -- Efficient compositional state-space verification for communicating processes in distributed systems,"J. -- Modeling applications for adaptive QoS-based resource management,"S. -- Ensuring quality of service for multimedia applications in a LAN environment,"H. -- A case study of agreement problems in distributed systems: non-blocking atomic commitment,"M. -- A mechanism for communicating in dynamically reconfigurable embedded systems,"M. -- A technique to analyze the tolerance to transient overloads of a fault-tolerant real-time system,"G.
• Sommario/riassunto: This volume on software design and development is aimed at researchers, professors, practitioners, students, and other computing professionals.".
• Titolo autorizzato: High-Assurance Software Engineering Workshop, 1997
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996204372203316
• Lo trovi qui: Univ. di Salerno