thingsaurus
This is a 'thesaurus for things' or similarity engine: results show things that have something in common with what you enter. The more stars, the more things in common! You can use it for research, recommendations or simply to explore ideas and related subjects.
Here are your results for Formal methods...
Stars indicate closer matches.
Knowledge Based Software Assistant 
- Retrenchment (computing)
- TLA+
- Bigraph
- Bisimulation
- Formal verification
- Hindley–Milner type system
- Lambda calculus
- Language Of Temporal Ordering Specification
- Promise theory
- Semantic spacetime
- Turing machine
- List of software development philosophies
- Acceptance test-driven development
- After the Software Wars
- Agile software development
- Behavior-driven development
- Best practice
- The Cathedral and the Bazaar
- Collaborative software development
- Comment programming
- Cowboy coding
- Domain-driven design
- Door problem
- Extreme programming
- Fibonacci scale (agile)
- Homesteading the Noosphere
- Iterative and incremental development
- Kanban (development)
- KISS principle
- Law of conservation of complexity
- Lean software development
- Lightweight methodology
- The Magic Cauldron (essay)
- Mayo-Smith pyramid
- Minimalism (computing)
- Open–closed principle
- Planning poker
- Release early, release often
- Rule of least power
- Scaled agile framework
- Scrum (software development)
- Secure by design
- Specification by example
- Continuous test-driven development
- Test-driven development
- Transformation Priority Premise
- Unix philosophy
- Waterfall model
- Worse is better
Popular: 7 Reims 2024 Val Thorens Lists of horror films
Random: Brunsden Lock Goombay Smash Craig Gannon Moses Berlin Midsummer Common
[beta] © 2026 • Data source: Wikipedia • Created by this chap