Modula-2 Reloaded ⋄ Software Quality

Modula-2 Reloaded

A Modern Typesafe & Literate Programming Notation

Site Menu

Project

Specification

Implementation

Recommendations

Reference

Needs Updating

Work in Progress

Wastebasket

Wiki Manual

edit SideBar

Software Quality

Harry Sneed on Technical Debt

Herbert Klaeren on Software Engineering

Richard Gabriel on The Rise of Worse-Is-Better

Peter Norvig on How to Teach Yourself Programming in 10 Years

General Dynamics and NICTA on Mathematically Proven Bug-Free OS Kernel seL4