What happened in Madrid was awful. There is no point. Today Spain elects its government. I think they should have delayed the voting, because there is too much noise and unknowns floating around. The government is being criticized for hiding information. People is out in front of the government offices asking them to reveal the truth. In Pamplona, a civilian has been killed for dissenting. I do not feel like we are prepared to vote calmly. I hope that whoever wins asks for a second voting once all the unknowns have been sorted out. Anyhow, today I voted.
I have discovered UML statecharts. I have always been atracted by mathematical models of computation. Harel's Hierarchical State Machines, that support the concept of "Behavioural Inheritance" look like a very interesting approach. They provide the theory on the basis of UML statecharts. When the time gets tough, that is in real time systems, they are the most useful technique to formalize systems. I am teaching a UML course to the digital TV group in Sony. Obviously, they work on embedded real time systems (a.k.a. digital TVs). This has made me look into parts of the UML standard I disregarded before for being "too detailed". Nothing is "too detailed" if the system is complex enough. I have read "Doing Hard Time" by Douglas and I am reading "Practical Statecharts in C/C++" by Samek. I recommend both. I think "Doing Hard Time" is nice introduction to UML modelling, not just in real time systems. On the other hand, Samek's book introduces C+ as a simple way of translating object oriented constructs into C. It also introduces "Quantum Programming" (quite a hyped name IMHO), that is a way to translate statecharts to C/C++.