## Endian theory

- [5 Cs](/content/theory/adject-clarity-five-integral-c-words-of-maximally-useful-product-specification-for-teams/index.html)

[**Adject Clarity: Five Integral C-Words of Maximally Useful Product Specification for Teams**](/content/theory/adject-clarity-five-integral-c-words-of-maximally-useful-product-specification-for-teams/index.html)

Paul M Fox and Adrian Duke. Roughly 5600 words, or about a 27 minute read

Identification and analysis of five integral qualities for maximally useful product specifications.

## Theory we like

- [**On Being Lost**](https://medium.com/wardleymaps/on-being-lost-2ef5f05eb1ec)

Simon Wardley

The book that describes the incredibly powerful Wardley Maps model.

- [**Cynefin Framework Introduction**](http://cognitive-edge.com/videos/cynefin-framework-introduction/)

Dave Snowden

A brief explanation of the decision-making framework.

- [**Software Art Thou: Real Software Engineering**](https://www.youtube.com/watch?v=RhdlBHHimeM)

Glenn Vanderburg

Is software engineering worthy of the name?

- [BDD](https://inviqa.com/blog/bdd-guide)

[**The beginner's guide to BDD**](https://inviqa.com/blog/bdd-guide)

Konstantin Kudryashov

Everything you need to know about Behaviour Driven Development.

- [FML](http://homepage.divms.uiowa.edu/~tinelli/classes/181/Spring03/Readings/vLam00.pdf)

[**Formal Specification: A Roadmap**](http://homepage.divms.uiowa.edu/~tinelli/classes/181/Spring03/Readings/vLam00.pdf)

Axel van Lamsweerde

An excellent overview of formal proofs in computer science.