bertrandmeyer.com: 14 stories from 8 submitters

  1. 20
    Programming Really Is Simple Mathematics math programming bertrandmeyer.com
    lcapaldo avatar via lcapaldo 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  2. 10
    "Object Success" now available book programming bertrandmeyer.com
    pushcx avatar via pushcx 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 11
    Introduction to the Theory of Programming Languages (1991) now freely available book plt bertrandmeyer.com
    mjn avatar via mjn 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 10
    A full online version of Object-Oriented Software Construction, 2nd edition book formalmethods programming bertrandmeyer.com
    jmiven avatar via jmiven 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  5. 5
    Some contributions person programming rant bertrandmeyer.com
    hwayne avatar via hwayne 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  6. 5
    Lectures on Software: Distances, Invariants and Recursion compsci bertrandmeyer.com
    jmiven avatar via jmiven 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 4
    Getting a program right, in nine episodes formalmethods bertrandmeyer.com
    jmiven avatar via jmiven 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 7
    Are my requirements complete? programming bertrandmeyer.com
    jmiven avatar via jmiven 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 6
    Formality in requirements: new publication compsci formalmethods programming bertrandmeyer.com
    felixyz avatar via felixyz 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 11
    A theorem of software engineering practices bertrandmeyer.com
    hyperpape avatar via hyperpape 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 7
    Domain Theory: the forgotten step in program verification (2012) formalmethods bertrandmeyer.com
    hwayne avatar via hwayne 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 4
    The story of our field, in a few short words [2011] ☶ historical rant bertrandmeyer.com
    hwayne avatar via hwayne 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 7
    Attached by default? (Adding compile-time null safety to Eiffel) compsci programming bertrandmeyer.com
    craigstuntz avatar via craigstuntz 10 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment