ShinTakezou's Blog

This is a personal blog (mainly about programming computer, and more)

Showing posts with label design by contract. Show all posts
Showing posts with label design by contract. Show all posts

2018-03-18

Sather reloaded

Sather Tower By John Galen Howard - from the exhibition catalog of the 'Roma Pacifica' Online Exhibit. Of the John Galen Howard Collection (1955-4), Environmental Design Archives, University of California, Berkeley., Public Domain

Once upon a time, there was Sather… I've briefly said it exists in a previous old article, Languages, OOP, Sather et al..

Read more »
Posted by Mauro at 11:00 No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: c++, design by contract, eiffel, postconditions, preconditions, sather, UAP, uniform access principle

2018-03-17

Eiffel

Tour Eiffel By Benh LIEU SONG

The first language which put emphasis on design by contract was Eiffel. It seems that the term is born with/for it.

Read more »
Posted by Mauro at 17:30 No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: design by contract, eiffel

Just another Schiaparelli

Schiaparelli crater on Mars By NASA - http://ltpwww.gsfc.nasa.gov/tharsis/regional.html, Public Domain
Read more »
Posted by Mauro at 11:30 No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: ada, ada2012, bugs, design by contract, mars, schiaparelli, strongly typed language
Older Posts Home
Subscribe to: Posts (Atom)

Pages

  • Home
  • License
  • Altri link

Blog Archive

  • ▼  2025 (1)
    • ▼  April (1)
      • Asking ChatGPT about API design/OpenAPI and stuffs
  • ►  2024 (1)
    • ►  February (1)
  • ►  2023 (2)
    • ►  December (1)
    • ►  October (1)
  • ►  2021 (1)
    • ►  April (1)
  • ►  2020 (13)
    • ►  October (3)
    • ►  September (1)
    • ►  August (4)
    • ►  July (1)
    • ►  June (2)
    • ►  May (2)
  • ►  2019 (8)
    • ►  October (1)
    • ►  June (1)
    • ►  April (3)
    • ►  March (1)
    • ►  January (2)
  • ►  2018 (21)
    • ►  November (1)
    • ►  September (1)
    • ►  June (2)
    • ►  May (3)
    • ►  April (5)
    • ►  March (9)
  • ►  2017 (8)
    • ►  November (1)
    • ►  October (2)
    • ►  September (4)
    • ►  March (1)
  • ►  2016 (1)
    • ►  May (1)
  • ►  2015 (8)
    • ►  October (2)
    • ►  August (1)
    • ►  July (1)
    • ►  June (1)
    • ►  May (1)
    • ►  March (1)
    • ►  January (1)
  • ►  2014 (9)
    • ►  December (2)
    • ►  September (1)
    • ►  May (3)
    • ►  April (2)
    • ►  February (1)
  • ►  2013 (6)
    • ►  December (1)
    • ►  October (1)
    • ►  September (2)
    • ►  April (2)
  • ►  2012 (6)
    • ►  November (2)
    • ►  September (1)
    • ►  April (1)
    • ►  March (1)
    • ►  February (1)
  • ►  2011 (5)
    • ►  June (2)
    • ►  May (1)
    • ►  April (1)
    • ►  February (1)
  • ►  2010 (19)
    • ►  December (4)
    • ►  November (1)
    • ►  October (1)
    • ►  September (1)
    • ►  July (1)
    • ►  June (2)
    • ►  May (6)
    • ►  April (1)
    • ►  March (2)

Other links

  • Pivius (p-views)

About me

My photo
Mauro
In the meantime, I do what I do.
View my complete profile
Simple theme. Powered by Blogger.