LEADER 04207oam 2200409zu 450 001 9910872876403321 005 20241212215030.0 035 $a(CKB)111026746745296 035 $a(SSID)ssj0000558379 035 $a(PQKBManifestationID)12197975 035 $a(PQKBTitleCode)TC0000558379 035 $a(PQKBWorkID)10559343 035 $a(PQKB)11083657 035 $a(NjHacI)99111026746745296 035 $a(EXLCZ)99111026746745296 100 $a20160829d1997 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aHigh-Assurance Software Engineering Workshop, 1997 210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1997 215 $a1 online resource (xii, 227 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780818679711 311 08$a0818679719 327 $aOn 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. 330 $aThis volume on software design and development is aimed at researchers, professors, practitioners, students, and other computing professionals.". 606 $aQuality assurance$vCongresses 615 0$aQuality assurance 676 $a658.562 801 0$bPQKB 906 $aBOOK 912 $a9910872876403321 996 $aHigh-Assurance Software Engineering Workshop, 1997$92369731 997 $aUNINA