Jumbala : An Action Language for UML State Machines , Juro Dubrovin, Master's Thesis.
UML 2.0 is a language for modeling complex software systems. A UML model may describe the dynamic aspects of software as well as the static structure.
We concentrate on models of reactive systems, such as embedded controllers or telecommunications switches.
The behavior of such systems is modeled using UML state machines. Although UML defines the structure of state machines, it leaves open the...
ZendCon Day 0 - Tutorial Day - Ibuildings Blog
After our amazing roadtrip (see previous blog entries for trip reports), it was time for the first day of the conference. Or actually, day 0, as the...
Compiler Validation through Program Analysis
Anna Zaks and Amir Pnueli (2008). CoVaC: Compiler Validation by Program Analysis of the Cross-Product. In Proc. 15th Symp. Formal Methods. From the...
Communicating Scala Objects
I wouldn't normally think a library is LtU material, but since this one lives at the intersection of embedded DSLs, process calculi, and a spotlight...
In Praise of Scripting: Real Programming Pragmatism
Ronald Loui, In Praise of Scripting: Real Programming Pragmatism, IEEE Computer, vol. 41, no. 7, July 2008. The July IEEE Computer carries an article...
PHP 4 - this parrot is deceased! - Ken Guest
I woke this morning with a grin. Nope, nothing to with the Olympics; PHP 4 is dead and by that I mean it is no longer supported - no more official...
Post new comment