↓ Skip to main content

Principled Software Development

Overview of attention for book
Cover of 'Principled Software Development'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Smart Contracts: A Killer Application for Deductive Source Code Verification
  3. Altmetric Badge
    Chapter 2 A Methodology for Invariants, Framing, and Subtyping in JML
  4. Altmetric Badge
    Chapter 3 Trends in Relational Program Verification
  5. Altmetric Badge
    Chapter 4 Collaborative Work Management with a Highly-Available Kanban Board
  6. Altmetric Badge
    Chapter 5 A Case for Certifying Compilers in Industrial Automation
  7. Altmetric Badge
    Chapter 6 Compositional Semantics for Concurrent Object Groups in ABS
  8. Altmetric Badge
    Chapter 7 Same Same But Different: Interoperability of Software Product Line Variants
  9. Altmetric Badge
    Chapter 8 A Hoare Logic Contract Theory: An Exercise in Denotational Semantics
  10. Altmetric Badge
    Chapter 9 Towards Reliable Concurrent Software
  11. Altmetric Badge
    Chapter 10 Dynamic Software Updates and Context Adaptation for Distributed Active Objects
  12. Altmetric Badge
    Chapter 11 Using CSP to Develop Quality Concurrent Software
  13. Altmetric Badge
    Chapter 12 Modular Verification Scopes via Export Sets and Translucent Exports
  14. Altmetric Badge
    Chapter 13 The Binomial Heap Verification Challenge in Viper
  15. Altmetric Badge
    Chapter 14 Abstract and Concrete Data Types vs Object Capabilities
  16. Altmetric Badge
    Chapter 15 A Personal History of Delta Modelling
  17. Altmetric Badge
    Chapter 16 Are Synchronous Programs Logic Programs?
  18. Altmetric Badge
    Chapter 17 Illi Isabellistes Se Custodes Egregios Praestabant
  19. Altmetric Badge
    Chapter 18 Reasoning About Weak Semantics via Strong Semantics
  20. Altmetric Badge
    Chapter 19 Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users
wikipedia
1 Wikipedia page

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Principled Software Development
Published by
Springer International Publishing, January 2018
DOI 10.1007/978-3-319-98047-8
ISBNs
978-3-31-998046-1, 978-3-31-998047-8
Editors

Peter Müller, Ina Schaefer

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.