LEADER 03723nam  22006015  450 
001 9910483633703321
005 20200706023550.0
010   $a3-642-40213-5
024 7 $a10.1007/978-3-642-40213-5
035   $a(CKB)3710000000015902
035   $a(SSID)ssj0000988149
035   $a(PQKBManifestationID)11619333
035   $a(PQKBTitleCode)TC0000988149
035   $a(PQKBWorkID)10951511
035   $a(PQKB)11700679
035   $a(DE-He213)978-3-642-40213-5
035   $a(MiAaPQ)EBC3093368
035   $a(PPN)172429145
035   $a(EXLCZ)993710000000015902
100   $a20130829d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFundamentals of Software Engineering$b[electronic resource] $e5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /$fedited by Farhad Arbab, Marjan Sirjani
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIX, 283 p. 85 illus.) 
225 1 $aProgramming and Software Engineering ;$v8161
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40212-7 
327   $aUnbounded Allocation in Bounded Heaps -- On the Complexity of Adding Convergence -- Deadlock Checking by Data Race Detection -- Delta Modeling and Model Checking of Product Families -- Lending Petri Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations -- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems -- Efficient Operational Semantics for EB3 for Verification of Temporal Properties -- Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair -- Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks -- A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility -- Validating SCTP Simultaneous Open Procedure -- Improving Time Bounded Reachability Computations in Interactive Markov Chains -- Checking Compatibility of Web Services Behaviorally.
330   $aThis book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 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 software industry and promoting their integration with practical engineering techniques.
410  0$aProgramming and Software Engineering ;$v8161
606   $aComputer logic
606   $aSoftware engineering
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aComputer logic.
615  0$aSoftware engineering.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
676   $a005.1
702   $aArbab$b Farhad$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSirjani$b Marjan$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483633703321
996   $aFundamentals of Software Engineering$92508180
997   $aUNINA