"You can't get a fried burger here"
semantic invariants from the pragmatic programmers g
Let's suppose you want to model a very simple transaction, for example, purchasing a hamburger at a fast food establishment. Suppose you have an interface (or abstract class) for "Buying a Burger". The constraints on such a transaction might be expressed as:
Pre-condition to "Buying A Burger": 1) The customer has sufficient money in local currency to purchase a burger. 2) Customer may request options on the burger, any of: cheese, lettuce, or tomato.
Post-condition to "Buying A Burger": 1) Customer will receive a burger with the requested option(s).
Invariant for Burgers: 1) All burgers are made of a beef and kangaroo mixture, and come on a 1.5" diameter roll. 2) All burgers are flame-broiled. 3) All burgers weigh 0.08oz before cooking.
You can't get a fried burger here. If you request a burger with ketchup the supplier is under no obligation to give it to you. If you request a cheese-burger and have the money, you are guaranteed to receive it.
So here we have the pre- and postconditions that define "Buying A Burger". What defines a burger? ...
... Comment
Last update: 3/11/23 17:00
| abril 2024 | ||||||
|---|---|---|---|---|---|---|
| dg. | dl. | dt. | dc. | dj. | dv. | ds. |
| 1 | 2 | 3 | 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 | 11 | 12 | 13 |
| 14 | 15 | 16 | 17 | 18 | 19 | 20 |
| 21 | 22 | 23 | 24 | 25 | 26 | 27 |
| 28 | 29 | 30 | ||||
| novembre | ||||||
the brain does." (margaret boden) Mind As Machine. A History...
20 years since i met nils abramson and heard about...
the year 2000 . Intellectual Property in the Information Age...
was after all, the early days of Intelsat, when having...
makes one search again, along the lines given. brought me...
im ohr: ein interview mit verkühlter stimme. aufnahmedatum: 2016.
It's an amazing window on the early history of interactive...
werden in ihrer wortwahl aggressiv.
Mathematischen Erquickstunden, Dritter Theil, 1653 | https://archive.org/details/bub_gb_bGM_AAAAcAAJ
