{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":13,"n_cols":5,"rows_kept":13,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[10,2,10,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910872876403321"]
[null,null,"Titolo",null,"High-Assurance Software Engineering Workshop, 1997"]
[null,null,"Pubbl/distr/stampa",null,"[Place of publication not identified], : IEEE Computer Society Press, 1997"]
[null,null,"Descrizione fisica",null,"1 online resource  (xii, 227 pages) : illustrations"]
[null,null,"Disciplina",null,"658.562"]
[null,null,"Soggetti",null,"Quality assurance"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"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. -- "]
[{"$nulls":4},"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."]
[null,null,null,"Sommario/riassunto","This volume on software design and development is aimed at researchers, professors, practitioners, students, and other computing professionals.\"."]