Rigorous Software Development

Author : José Bacelar Almeida
Publisher : Springer Science & Business Media
ISBN 13 : 0857290185
Total Pages : 269 pages
Book Rating : 4.82/5 ( download)

DOWNLOAD NOW!

Download or read book Rigorous Software Development written by José Bacelar Almeida and published by Springer Science & Business Media. This book was released on 2011-01-04 with total page 269 pages. Available in PDF, EPUB and Kindle. Book excerpt: The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.

Author : Cliff B. Jones
Publisher : Prentice Hall
ISBN 13 :
Total Pages : 408 pages
Book Rating : 4.34/5 ( download)

DOWNLOAD NOW!

Download or read book Software Development written by Cliff B. Jones and published by Prentice Hall. This book was released on 1980 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt: A course in software development practice ; problem based, with programs written in PL/I language.

Author : Ana Bove
Publisher : Springer Science & Business Media
ISBN 13 : 3642031536
Total Pages : 301 pages
Book Rating : 4.33/5 ( download)

DOWNLOAD NOW!

Download or read book Language Engineering and Rigorous Software Development written by Ana Bove and published by Springer Science & Business Media. This book was released on 2009-07-27 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.

Author : Martin Wirsing
Publisher : Springer Science & Business Media
ISBN 13 : 3642204007
Total Pages : 747 pages
Book Rating : 4.05/5 ( download)

DOWNLOAD NOW!

Download or read book Rigorous Software Engineering for Service-Oriented Systems written by Martin Wirsing and published by Springer Science & Business Media. This book was released on 2011-05-09 with total page 747 pages. Available in PDF, EPUB and Kindle. Book excerpt: Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to designing, analyzing and implementing SO applications.

Author : Norman E. Fenton
Publisher : Course Technology Ptr
ISBN 13 : 9780534954253
Total Pages : 638 pages
Book Rating : 4.51/5 ( download)

DOWNLOAD NOW!

Download or read book Software Metrics written by Norman E. Fenton and published by Course Technology Ptr. This book was released on 1997 with total page 638 pages. Available in PDF, EPUB and Kindle. Book excerpt: PART I: FUNDAMENTALS OF MEASUREMENT AND EXPERIMENTATION 1. Measurement: What Is It and Why Do It? 2. The Basics of Measurement 3. A Goal-Based Framework for Software Measurement 4. Empirical Investigation 5. Software Metrics Data Collection 6. Analyzing Software-Measurement Data PART II: SOFTWARE-ENGINEERING MEASUREMENT 7. Measuring Internal Product Attributes: Size 8. Measuring Internal Product Attributes: Structure 9. Measuring Internal Product Attributes 10. Software Reliability: Measurement and Prediction 11. Resource Measurement: Productivity, Teams, and Tools 12. Making Process Predictions PART III: MEASUREMENT AND MANAGEMENT 13. Planning a Measurement Program 14. Measurement in Practice 15. Empirical Research in Software Engineering APPENDIXES: A. Solutions to Selected Exercises / B. Metric Tools / C. Acronyms and Glossary / ANNOTATED BIBLIOGRAPHY / INDEX

Author : Alexander Raschke
Publisher : Springer Nature
ISBN 13 : 3030760200
Total Pages : 367 pages
Book Rating : 4.05/5 ( download)

DOWNLOAD NOW!

Download or read book Logic, Computation and Rigorous Methods written by Alexander Raschke and published by Springer Nature. This book was released on 2021-06-04 with total page 367 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.

Author : Norman Fenton
Publisher : CRC Press
ISBN 13 : 1439838232
Total Pages : 602 pages
Book Rating : 4.35/5 ( download)

DOWNLOAD NOW!

Download or read book Software Metrics written by Norman Fenton and published by CRC Press. This book was released on 2014-10-01 with total page 602 pages. Available in PDF, EPUB and Kindle. Book excerpt: A Framework for Managing, Measuring, and Predicting Attributes of Software Development Products and ProcessesReflecting the immense progress in the development and use of software metrics in the past decades, Software Metrics: A Rigorous and Practical Approach, Third Edition provides an up-to-date, accessible, and comprehensive introduction to soft

Author : National Research Council
Publisher : National Academies Press
ISBN 13 : 0309176085
Total Pages : 83 pages
Book Rating : 4.88/5 ( download)

DOWNLOAD NOW!

Download or read book Statistical Software Engineering written by National Research Council and published by National Academies Press. This book was released on 1996-03-15 with total page 83 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book identifies challenges and opportunities in the development and implementation of software that contain significant statistical content. While emphasizing the relevance of using rigorous statistical and probabilistic techniques in software engineering contexts, it presents opportunities for further research in the statistical sciences and their applications to software engineering. It is intended to motivate and attract new researchers from statistics and the mathematical sciences to attack relevant and pressing problems in the software engineering setting. It describes the "big picture," as this approach provides the context in which statistical methods must be developed. The book's survey nature is directed at the mathematical sciences audience, but software engineers should also find the statistical emphasis refreshing and stimulating. It is hoped that the book will have the effect of seeding the field of statistical software engineering by its indication of opportunities where statistical thinking can help to increase understanding, productivity, and quality of software and software production.

Author : Michael Butler
Publisher : Springer
ISBN 13 : 3540482679
Total Pages : 413 pages
Book Rating : 4.73/5 ( download)

DOWNLOAD NOW!

Download or read book Rigorous Development of Complex Fault-Tolerant Systems written by Michael Butler and published by Springer. This book was released on 2006-11-23 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

Author : Barry Boehm
Publisher : Springer Science & Business Media
ISBN 13 : 3540311122
Total Pages : 537 pages
Book Rating : 4.26/5 ( download)

DOWNLOAD NOW!

Download or read book Unifying the Software Process Spectrum written by Barry Boehm and published by Springer Science & Business Media. This book was released on 2005 with total page 537 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the International Software Process Workshop, SPW 2005, help in Beijing, China in May 2005. The 30 papers presented here, together with 11 keynote addresses are organized in topical sections on process content, process tools and metrics, process management, process representation and analysis, as well as experience reports.