Software development : a rigorous approa
β Jones C.B.
π Library
π
1980
π Prentice Hall
π English
β¦ LIBER β¦
π
Rigorous Software Development
β Scribed by JosΓ© Bacelar Almeida, Maria JoΓ£o Frade, Jorge Sousa Pinto;SimΓ£o Melo de Sousa
- Publisher
- Springer London
- Year
- 2011
- Tongue
- English
- Series
- Undergraduate Topics in Computer Science
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Table of Contents
List of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techniques.- 3. Propositional Logic.- 4. First-Order Logic.- 5. Hoare Logic.- 6. Generating Verification Conditions.- 7. Safety Properties.- 8. Procedures and Contracts.- 9. Specifying C Programs.- 10. Verifying C Programs.- Bibliography.- Index
β¦ Subjects
Algebra;Logischer Entwurf;Software Engineering;Online-Publikation
π SIMILAR VOLUMES
Rigorous Software Development: An Introd
β JosΓ© Bacelar Almeida, Maria JoΓ£o Frade, Jorge Sousa Pinto, SimΓ£o Melo de Sousa (
π Library
π
2011
π Springer-Verlag London
π English
Rigorous software development: an introd
β Almeida, JosΓ© Bacelar;Frade, Maria JoΓ£o;Pinto, Jorge Sousa;Sousa, SimΓ£o Melo de
π Library
π
2011
π Springer
π English
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 mathem
Software Metrics: A Rigorous and Practic
β Norman E. Fenton, Shari Lawrence Pfleeger
π Library
π
1998
π Course Technology
π English
The Second Edition of SOFTWARE METRICS provides an up-to-date, coherent, and rigorous framework for controlling, managing, and predicting software development processes.
How to think about software development:
β EkstrΓΆm, Dan
π Library
π
2022
π English
The impact of software on society is both widespread and deep. It touches almost every aspect of our lives, from the way we bank and shop to the way we stay in touch with our friends and family. It helps us get our work done and entertain ourselves. It even affects the way we think and learn. It can
Software Metrics: A Rigorous and Practic
β Fenton, Norman
π Library
π
2014
π CRC Press
π English