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 output

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
2015-10-07 13:55 by trijezdci -
Changed lines 11-14 from:
* [[http://norvig.com/21-days.html|Teach Yourself Programming in 10 Years -- Why is everyone in such a Rush?]]
to:
* [[http://norvig.com/21-days.html|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
]]
2015-10-01 13:31 by trijezdci -
Changed line 8 from:
* [[[https://www.dreamsongs.com/RiseOfWorseIsBetter.html]]
to:
* [[https://www.dreamsongs.com/RiseOfWorseIsBetter.html]]
2015-10-01 13:31 by trijezdci -
Added lines 6-8:

!!! Richard Gabriel on The Rise of Worse-Is-Better
* [[[https://www.dreamsongs.com/RiseOfWorseIsBetter.html]]
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
* [[http://norvig.com/21-days.html|Teach Yourself Programming in 10 Years -- Why is everyone in such a Rush?]]
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)
2015-10-01 12:33 by trijezdci -
Added lines 1-2:
!!! Harry Sneed on Technical Debt
* [[https://www.youtube.com/watch?v=zorLFtK2__w]]