LEADER 03890nam  22006735  450 
001 9910506376103321
005 20251225173527.0
010   $a3-030-89247-6
024 7 $a10.1007/978-3-030-89247-0
035   $a(CKB)4950000000281755
035   $a(MiAaPQ)EBC6784269
035   $a(Au-PeEL)EBL6784269
035   $a(OCoLC)1281960537
035   $a(PPN)258296372
035   $a(BIP)81914094
035   $a(BIP)81554092
035   $a(DE-He213)978-3-030-89247-0
035   $a(EXLCZ)994950000000281755
100   $a20211016d2021      u|         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 /$fedited by Hossein Hojjat, Mieke Massink
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (235 pages)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12818
311 08$a3-030-89246-8 
327   $aCoordination -- Protocol Scheduling -- Automated Replication of Tuple Spaces via Static Analysis -- Incremental Refinement of Goal Models with Contracts -- Logic -- Proof Calculi for Epistemic Logics with Structured Knowledge -- Introducing Intervalar differential dynamic logic -- A Program Logic for Fresh Name Generation -- Event-Driven Temporal Logic Pattern for Control Software Requirements Specification -- Extending OCL with map and function types -- Networks -- Deadlock in packet switching networks -- Runtime Monitoring Processes Across Blockchains -- Solving Systems of Bilinear Equations for Transition Rate Reconstruction -- Parallel Computation -- Term Rewriting on GPUs -- Promise Plus: Flexible Synchronization for Parallel Computations on Arrays -- Testing -- Towards Test Case Generation for Industrial Software Systems Based on Functional Specifications -- Compressing Automatically Generated Unit Test Suites through Test Parameterization -- Systematic Extractionof Test Cases from Object-oriented Programs.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021. The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v12818
606   $aSoftware engineering
606   $aMicroprogramming
606   $aComputer networks
606   $aComputer science
606   $aSoftware Engineering
606   $aControl Structures and Microprogramming
606   $aComputer Communication Networks
606   $aTheory of Computation
615  0$aSoftware engineering.
615  0$aMicroprogramming.
615  0$aComputer networks.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aControl Structures and Microprogramming.
615 24$aComputer Communication Networks.
615 24$aTheory of Computation.
676   $a005.1
700   $aHojjat$b Hossein$0905425
702   $aMassink$b Mieke
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910506376103321
996   $aFundamentals of software engineering$92897772
997   $aUNINA