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

Reference.SoftwareQuality History

Hide minor edits - Show changes to markup

2015-10-07 13:57 by trijezdci -
Changed line 13 from:

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

to:

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

Restore
2015-10-07 13:55 by trijezdci -
Changed lines 11-14 from:
  • Teach Yourself Programming in 10 Years -- Why is everyone in such a Rush?
to:
  • Teach Yourself Programming in 10 Years -- Why is everyone in such a Rush?

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

  • http://sel4.systems/Info/Docs/GD-NICTA-whitepaper.pdf
Restore
2015-10-01 13:31 by trijezdci -
Changed line 8 from:
to:
  • https://www.dreamsongs.com/RiseOfWorseIsBetter.html
Restore
2015-10-01 13:31 by trijezdci -
Added lines 6-8:

Richard Gabriel on The Rise of Worse-Is-Better

Restore
2015-10-01 13:16 by trijezdci -
Changed lines 5-8 from:
  • http://pu.inf.uni-tuebingen.de/users/klaeren/sw.pdf (currenly only in German)
to:
  • http://pu.inf.uni-tuebingen.de/users/klaeren/sw.pdf (currenly only in German)

Peter Norvig on How to Teach Yourself Programming in 10 Years

  • Teach Yourself Programming in 10 Years -- Why is everyone in such a Rush?
Restore
2015-10-01 12:35 by trijezdci -
Changed lines 2-5 from:
  • https://www.youtube.com/watch?v=zorLFtK2__w
to:
  • https://www.youtube.com/watch?v=zorLFtK2__w

Herbert Klaeren on Software Engineering

  • http://pu.inf.uni-tuebingen.de/users/klaeren/sw.pdf (currenly only in German)
Restore
2015-10-01 12:33 by trijezdci -
Added lines 1-2:

Harry Sneed on Technical Debt

  • https://www.youtube.com/watch?v=zorLFtK2__w
Restore