03.27.09
The Worst of Software Design (Part 1)
RODIN is an Eclipse-based platform for the formal specification of systems in Event-B. Unfortunately, I have to use it (although, not too much). It is, however, the worst piece of software I have seen for a long time. As such I have decided to share my frustration also with you…
Event-B has a main language structure the Event. An Event has a status (not important for now), local variables (which have a type), guards (which define when the event can be triggered) and actions (which specify how to change the state variables.
I decided to create a local variable rr, but unfortunately I managed to put a space after the name “rr”… so it read “rr ” [look out for the space]. Immediately, RODIN refuses the variable definition and highlights all the occurrences of rr throughout the body of the event as undefined variable. WOW!
I leave you with a screenshot:
As promised… A photo of Lambda!
It’s not usual for me to post personal stuff in my blog but I can’t resist to show off the most intelligent cat I have seen:
03.04.09
Meow, this is λ!
Time goes fast and it is scary the time I took to write something more here than a ‘I am alive!’ post.
Making a very happy story, short: me and my girlfriend started to live together, finished my pre-thesis report for the PhD (hopefully the final thesis date will have a 2009 on it), got an awesome house in Southampton, we moved in and today… we got λ.
λ is our new female cat with 10months that we adopted from the BlueCross. Although the adoption process took around a week and a half and involved a home visit it went smoothly and we have it with us now. She is a beautiful black cat which as soon as she arrived home, and once the door of the carrier was opened, she jumped out. None of the ’scared’, ’shy’ stuff we were worried about.
First interesting report was to book a vet appointment, the reception girl asked us for her name and we said λ. She looked at us with a strange look and we said: ‘λ : as in the Greek letter’. Funny enough, she said: ‘Can you spell it?’ Argh… HEY, IT’S A LETTER…
Although I didn’t say that, I thought it and ended up spelling it for her… l… a… m… b… d… a, but it should be written as a single character.
Soon I will give you the first photos! :)
