Topics
- Computational Thinking (24)
- Abstraction Awareness (6)
- Analytic Epistemology (9)
- Model Thinking (10)
- Modelling Theory (11)
- Software Modelling (11)
- Computational Thinking (24)
Tweets
- RT @CompSciFact: Hierarchies and hierarchy theorems ow.ly/bd5CP 1 day ago
- RT @JBezivin: Free book on the philosophy of Mathematics: goo.gl/DxZM1 Author: Comte, Auguste, 1798-1857 Subject:… https://t.c ... 2 days ago
Tag Archives: quality
Making use of IEEE 830 for Requirements Engineering
IEEE 830 provides eight quite abstract characteristics for good requirements, like correctness, completeness, traceablity etc. Continue reading
Smith x Kano = …
Writing specifications that capture the intention is difficult. For different kinds of requirements, this has different reasons. Continue reading
Toyota and the Infinite Richness of B.C. Smith
If a failure has occurred then humans AND formal systems have contributed to it. Continue reading
Posted in Analytic Epistemology, Software Modelling
Tagged B.C. Smith, gemalto, LFHI Risk, quality, toyota, Y2010 bug
3 Comments