00962nam a2200265 i 450099100255312970753620020503170625.0931213s1989 it ||| | eng 8804338997b10381119-39ule_instEXGIL105816ExLBiblioteca InterfacoltàitaShakespeare, William132200I drammi storici /William Shakespeare ; a cura di Giorgio MelchioriMilano :Mondadori,19893 v. ;18 cm.I meridianiTeatro completo di William Shakespeare ;7-9Testo orig. a fronte..b1038111921-02-1727-06-02991002553129707536LE002 Coll. 9,1. 001/VII-IX1LE002-11895N,13619N-13620Nle002-E0.00-no 00000.i1044587027-06-02Drammi storici151415UNISALENTOle00201-01-93ma -engit 2104207oam 2200409zu 450 991087287640332120241212215030.0(CKB)111026746745296(SSID)ssj0000558379(PQKBManifestationID)12197975(PQKBTitleCode)TC0000558379(PQKBWorkID)10559343(PQKB)11083657(NjHacI)99111026746745296(EXLCZ)9911102674674529620160829d1997 uy engur|||||||||||txtccrHigh-Assurance Software Engineering Workshop, 1997[Place of publication not identified]IEEE Computer Society Press19971 online resource (xii, 227 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780818679711 0818679719 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.This volume on software design and development is aimed at researchers, professors, practitioners, students, and other computing professionals.".Quality assuranceCongressesQuality assurance658.562PQKBBOOK9910872876403321High-Assurance Software Engineering Workshop, 19972369731UNINA