Doron A. Peled
Software Reliability Methods
Gebonden Engels 2001 2001e druk 9780387951065
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.
Specificaties
ISBN13:9780387951065
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:332
Uitgever:Springer New York
Druk:2001
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
*Introduction * Preliminaries * Logic and Theorem Proving * Modeling Systems * Formal Specification of Systems Properties * Automatic Verification * Deductive Verification * Process Algebras and Equivalences * Testing * Visualization * Pragmatics of Formal Methods * Conclusions
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