LEADER 04501nam  22008055  450 
001 9910483842503321
005 20200630221610.0
010   $a3-319-29473-3
024 7 $a10.1007/978-3-319-29473-5
035   $a(CKB)4340000000001285
035   $a(SSID)ssj0001658334
035   $a(PQKBManifestationID)16442647
035   $a(PQKBTitleCode)TC0001658334
035   $a(PQKBWorkID)14985176
035   $a(PQKB)10219720
035   $a(DE-He213)978-3-319-29473-5
035   $a(MiAaPQ)EBC6307038
035   $a(MiAaPQ)EBC5586466
035   $a(Au-PeEL)EBL5586466
035   $a(OCoLC)1066186335
035   $a(PPN)192771531
035   $a(EXLCZ)994340000000001285
100   $a20160330d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods: Foundations and Applications $e18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /$fedited by Márcio Cornélio, Bill Roscoe
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XVIII, 195 p. 62 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v9526
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-29472-5 
327   $aModel Checking -- Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware -- Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking -- Languages and Semantics -- Mobile CSP -- Evaluating the Assignment of Behavioral Goals to Coalitions of Agents -- Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case -- Refinement and Verification -- Refinement strategies for Safety-Critical Java -- Verifying Transformations of Java programs using Alloy.-A Mechanized Textbook Proof of a Type Unification Algorithm -- Testing and Evaluation -- Automatic generation of test cases and test purposes from natural language -- Time Performance Formal Evaluation of Complex Systems -- Test Case Generation from Natural Language Requirements using CPN Simulation.
330   $aThis book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
410  0$aProgramming and Software Engineering ;$v9526
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aManagement of Computing and Information Systems.
676   $a004.0151
702   $aCornélio$b Márcio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRoscoe$b Bill$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483842503321
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNINA