{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":33,"n_cols":5,"rows_kept":33,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[9,2,9,3],[10,2,10,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[25,2,25,3],[26,2,26,3],[28,2,28,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910715040503321"]
[null,null,"Autore",null,"Sanger Nelson L."]
[null,null,"Titolo",null,"Noncavitating and cavitating performance of two low-area-ratio water jet pumps with throat lengths of 5.66 diameters / / by Nelson L. Sanger"]
[null,null,"Pubbl/distr/stampa",null,"Washington, D.C. : , : National Aeronautics and Space Administration, , August 1968"]
[null,null,"Descrizione fisica",null,"1 online resource (iv, 34 pages) : illustrations"]
[null,null,"Collana",null,"NASA technical note ; ; TN D-4759"]
[null,null,"Soggetti",null,"Cavitation"]
[{"$nulls":4},"Jet nozzles"]
[{"$nulls":4},"Pumping machinery"]
[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","\"August 1968.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (page 34)."]
[null,"2.","Record Nr.",null,"UNISA996464416503316"]
[null,null,"Autore",null,"Hojjat Hossein"]
[null,null,"Titolo",null,"Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, revised selected papers / / Hossein Hojjat and Mieke Massink"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer International Publishing, , [2021]"]
[{"$nulls":4},"©2021"]
[null,null,"ISBN",null,"3-030-89247-6"]
[null,null,"Descrizione fisica",null,"1 online resource (235 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science ; ; v.12818"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Software engineering - Data processing"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Intro -- Preface -- Organization -- Contents -- Coordination -- Protocol Scheduling -- 1 Introduction -- 2 Work Automata -- 3 Graph Games -- 4 Scheduling Game -- 5 Protocol Restriction -- 6 Conclusion -- References -- Automated Replication of Tuple Spaces via Static Analysis -- 1 Introduction -- 2 Preliminaries -- 3 Programming Interface Extension for Replication -- 4 Static Analysis and Program Transformation -- 5 Implementation and Experimental Evaluation -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Incremental Refinement of Goal Models with Contracts -- 1 Introduction -- 2 Background -- 3 Running Example: Vehicle Platooning -- 4 The CoGoMo Approach -- 4.1 Goal Formalization -- 4.2 Goal Manipulation via Composition and Refinement -- 4.3 Goal Manipulation via Conjunction -- 5 CGT Extension -- 6 Related Work -- 7 Conclusions -- A Distribution of Composition over Conjunction -- References -- Logic -- Adding Proof Calculi to Epistemic Logics with Structured Knowledge -- 1 Introduction -- 2 Overview on Parametric Construction of Epistemic Logics with Structured States -- 2.1 The Parameter -- 2.2 The Method -- 3 Proof Calculus -- 3.1 Completeness -- 4 Model Checking and Satisfiability Problem -- 5 Conclusion -- References -- Introducing Interval Differential Dynamic Logic -- 1 Introduction -- 2 Interval Paradigm -- 3 Interval Functions for dL -- 4 Conclusions and Future Work -- References -- A Program Logic for Fresh Name Generation -- 1 Introduction -- 2 Programming Language "]
[{"$nulls":4},"-- 3 Logical Language -- 4 Model -- 4.1 Semantics -- 5 Axioms -- 6 Rules -- 7 Reasoning Examples -- 8 Conclusion -- References -- Event-Driven Temporal Logic Pattern for Control Software Requirements Specification -- 1 Introduction -- 2 Syntax and Definition of EDTL-Requirements -- 3 Semantics of EDTL-Requirements -- 3.1 Definitions for the Semantics."]
[{"$nulls":4},"3.2 The First Order Logic Semantics -- 3.3 The Linear Temporal Logic Semantics -- 4 Case Study -- 5 Related Work -- 6 Conclusion and Future Work -- A  Bounded Checking of EDTL-requirements -- References -- Extending OCL with Map and Function Types -- 1 Introduction -- 2 Map Types -- 2.1 Map Type Semantics -- 2.2 Operations on Maps -- 2.3 Implementation -- 3 Function Types -- 3.1 Function Type Semantics -- 3.2 Operations on Functions -- 3.3 Implementation -- 4 Related Work -- A  Additional Map Type Operators -- References -- Networks -- Deadlock in Packet Switching Networks -- 1 Introduction -- 2 Preliminaries -- 2.1 Packet Switching Network -- 2.2 Semantics of Packet Switching Networks -- 3 Deadlocks -- 3.1 Global Deadlock -- 3.2 Local Deadlock -- 3.3 Weak Deadlock -- 4 Expressivity of Different Notions of Deadlock -- 4.1 Comparing Global Deadlocks to Local and Weak Deadlocks -- 4.2 Comparing Local Deadlocks to Weak Deadlocks -- 5 Proof of Concept Implementation -- 5.1 An SMV Model for Packet Switching Networks -- 5.2 Deadlock Formulas in CTL -- 5.3 Experiments -- 6 Conclusions -- References -- Runtime Monitoring Processes Across Blockchains -- 1 Introduction -- 2 Challenges of Full Decentralisation for Monitoring Business Processes -- 3 Monitoring Business Processes Across Blockchains -- 3.1 Business Process Monitoring Through Smart Contracts -- 3.2 Communication Across Blockchains -- 4 Case Study -- 5 Related Work -- 6 Remaining Challenges -- 7 Conclusions -- References -- Solving Systems of Bilinear Equations for Transition Rate Reconstruction -- 1 Introduction -- 2 Background -- 3 Special Cases Leading to Complete System -- 3.1 Synchronising Action -- 3.2 Non-synchronising Action -- 4 Iterative Algorithm to Solve System of Equations -- 5 Case Study: Tandem Queueing Network -- 5.1 System Definition -- 5.2 Runtime Comparison -- 6 Conclusion."]
[{"$nulls":4},"References -- Parallel Computation -- Term Rewriting on GPUs -- 1 Introduction -- 2 Preliminaries -- 3 A GPU Algorithm for Term Rewriting -- 4 Evaluation -- References -- Promise Plus: Flexible Synchronization for Parallel Computations on Arrays -- 1 Introduction -- 2 Context -- 3 PromisePlus: Flexible Synchronization for Arrays -- 4 Benchmarks -- 5 Related Work -- 6 Future Work and Conclusion -- A Algorithms of get and set -- References -- Testing -- Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications -- 1 Introduction -- 2 Background -- 2.1 Running Example: Matching Limit Orders -- 3 Functional Specification -- 3.1 Basic Specification Patterns -- 3.2 Verifying Properties on Specification -- 4 Test Case Generation -- 4.1 Fitness Function -- 4.2 Local Search -- 4.3 Global Search -- 5 Evaluation -- 5.1 Test Execution -- 5.2 Code Coverage Analysis -- 5.3 Mutation Analysis -- 6 Related Work -- 7 Conclusion -- References -- Compressing Automatically Generated Unit Test Suites Through Test Parameterization -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 4 Evaluation -- 5 Conclusion -- References -- Systematic Extraction of Tests from Object-Oriented Programs -- 1 Introduction -- 2 Related Works -- 3 The Proposed Approach -- 3.1 Model Extractor Component -- 3.2 Test Machine Component -- 3.3 Test Case Generator Component -- 4 Evaluation -- 4.1 Effectiveness of Tests in Revealing Errors -- 4.2 Revealing Real Error -- 5 Conclusion -- References -- "]
[{"$nulls":4},"Author Index."]