LEADER 01023nam0-22003371i-450 001 990005495480203316 005 20190313151547.0 010 $a88-204-1914-9 035 $a000549548 035 $aUSA01000549548 035 $a(ALEPH)000549548USA01 035 $a000549548 100 $a20010829d1980----km y0itac5003----ba 101 0 $aita 102 $aIT 200 1 $aSuolo urbano e popolazione$eil processo di urbanizzazione nelle cittą padane centro-orientali (1881-1971)$fCarlo Carozzi, Renato Rozzi 210 $aMilano$cAngeli$dc1980 215 $a266 p.$cill.$d22 cm 225 2 $aCollana di storia urbana$v3 410 1$12001$aCollana di storia urbana$v3 606 $aComunitą$xZone urbane$2BNCF 676 $a301.36 700 1$aCAROZZI,$bCarlo$0325564 701 1$aROZZI,$bRenato$0126807 801 0$aIT$bSOL$c20120104 912 $a990005495480203316 951 $a300 301.36 CAR$b2063 DISES 959 $aBK 969 $aDISES 996 $aSuolo urbano e popolazione$91129277 997 $aUNISA LEADER 06840nam 2200493 450 001 996464416503316 005 20231110220647.0 010 $a3-030-89247-6 035 $a(CKB)4950000000281755 035 $a(MiAaPQ)EBC6784269 035 $a(Au-PeEL)EBL6784269 035 $a(OCoLC)1281960537 035 $a(PPN)258296372 035 $a(EXLCZ)994950000000281755 100 $a20220710d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamentals of software engineering $e9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, revised selected papers /$fHossein Hojjat and Mieke Massink 210 1$aCham, Switzerland :$cSpringer International Publishing,$d[2021] 210 4$d©2021 215 $a1 online resource (235 pages) 225 1 $aLecture Notes in Computer Science ;$vv.12818 311 $a3-030-89246-8 327 $aIntro -- 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 -- 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. 327 $a3.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. 327 $aReferences -- 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 -- Author Index. 410 0$aLecture Notes in Computer Science 606 $aSoftware engineering$vCongresses 606 $aSoftware engineering$xData processing 615 0$aSoftware engineering 615 0$aSoftware engineering$xData processing. 676 $a005.1 700 $aHojjat$b Hossein$0905425 702 $aMassink$b Mieke 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464416503316 996 $aFundamentals of software engineering$92897772 997 $aUNISA