Pieter Bekaert

Learn More
This paper describes a semi-automatic transformation from object-oriented conceptual models to logical theories. By associating a logical theory with a conceptual model, we are able to combine the best of both worlds. On one hand, the object-oriented software development paradigm is recognized to be well-suited to build maintainable and communicable(More)
During the analysis phase of the development of a software system, conceptual models are created to establish a description of the problem domain. In this paper we introduce concepts that allow us to introduce non-determinism in the specification of behaviour in conceptual models and we provide formal and declarative semantics for these constructs. We(More)
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see(More)
The Prolog programmer’s needs have always been the focus for guiding the development of the SWI-Prolog system. This article accompanies an invited talk about how the SWI-Prolog environment helps the Prolog programmer solve common problems. It describes the central parts of the graphical development environment as well as the command line tools which we see(More)
This article previews a new system for the formal specification and verification of object-oriented programs and modules. It differs from existing systems (see specifically [1], [4], and [3]) in that it is program-oriented, where existing systems are essentially method-oriented. Specifications in existing systems entail separate per-method proof obligations(More)
  • 1