03912nam a22005895i 4500 978-3-319-29473-5 DE-He213 20210625004059.0 cr nn 008mamaa 160330s2016 gw | s |||| 0|eng d 9783319294735 978-3-319-29473-5 10.1007/978-3-319-29473-5 doi QA76.758 UMZ bicssc COM051230 bisacsh UMZ thema 005.1 23 Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by Márcio Cornélio, Bill Roscoe. 1st ed. 2016. Cham : Springer International Publishing : Imprint: Springer, 2016. XVIII, 195 p. 62 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Programming and Software Engineering ; 9526 Model 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. This 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. Software engineering. Computer logic. Mathematical logic. Programming languages (Electronic computers). Management information systems. Computer science. Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029 Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market-codes/I1603X Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product-market-codes/I16048 Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies/product-market-codes/I14037 Management of Computing and Information Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I24067 Cornélio, Márcio. editor. edt http://id.loc.gov/vocabulary/relators/edt Roscoe, Bill. editor. edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) Springer Nature eBook Printed edition: 9783319294728 Printed edition: 9783319294742 Programming and Software Engineering ; 9526 https://doi.org/10.1007/978-3-319-29473-5 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC Computer Science (SpringerNature-11645) Computer Science (R0) (SpringerNature-43710)