Both Gary Leavens and Jim Horning commented (partly here, partly on Facebook) about my Domain Theory article [1] to mention that Larch had mechanisms for domain modeling and specification reuse. As Horning writes: The Larch...

It is a common occurrence in software development. Someone says: “ We should design a language”. The usual context is that some part of the development requires a rich functionality set, and it appears appropriate to provide a...

Ever more people are realizing that concurrency is at the center of IT challenges for the next decades. Concurrent programming remains as hard as ever; we have put together a one-day seminar that helps understand the concepts...

From JavaScript everywhere to everything on the JVM, new tools, techniques, and troubles are changing how developers...

Publication is about helping the advancement of humankind. Of course. Let us take this basis for granted and look at the other, possibly less glamorous aspects. Publication has four modes: Publicity; Exam; Business; and Ritual....

Perhaps I should explain why I use Google Translate with Russian as the source language. I do not use it for translation, but I do need it to type texts in Russian. I could use a Cyrillic keyboard, but I don't because I am a...