Márcio Cornélio,
Bill Roscoe
Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Paperback Engels 2016 9783319294728
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783319294728
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
<p>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.</p>
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.</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan