Jacob Brunekreef

Learn More
We describe here an implemented small programming language, called Alma-0, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These additions encourage declarative programming and make it a more attractive vehicle for problems that involve search. We illustrate the use of(More)
We describe here an implemented small programming language, called Alma-O, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These additions encourage declarative programming and make it a more attractive vehicle for problems that involve search. We illustrate the use of(More)
The well-known problem of leader election in distributed systems is considered in a dynamic context where processes may participate and crash spontaneously. Processes communicate by means of buffered broadcasting as opposed to usual point-to-point communication. In this paper we design a leader election protocol in such a dynamic context. As the problem at(More)
Part of software maintenance consists in applying program transformations system-wide. In a number of recent papers, a factory approach has been advocated in which one program after another is fed to an assembly line that consists of a sequence of transformation tools. The general feeling seems to be that such factories have to be constructed and operated(More)
In order to determine whether there is a gap between the current stateof-the-practice and state-of-the-art in software engineering, we performed a broad survey among Dutch software producing organizations. Our survey covers aspects of the software engineering cycle ranging from requirements engineering, over design and implementation to testing. From our(More)
The well-known problem of leader electi on in distributed systems is considered in a dynamic context where processes may participate and crash spontaneously. Processes communicate by means of buuered broadcasting as opposed to usual point-to-point communication. In this paper