De Stijl (Design and Specification Through Interfacing and Joining Languages) is a Human Capital and Mobility (HCM) network project involving six European partners: University of Groningen, University of Utrecht, Philips Research Laboratories, Technical University of Denmark, University of Munich and University of Dublin (Trinity College).
The aim of the project is to obtain fundamental theoretical results relating features which can be found in many software specification and design languages. Examples of such features are: modularity, processes, types, partiality, temporal specification, formalization of design decisions, inheritance, parametrization, algebraic specification, state-based specification and executability of sublanguages. Existing languages will be assessed. These include COLD, VDM (-SL and Irish schools), RAISE, ASL and VVSL, whose developers are directly represented in De Stijl (see below). Case studies will also be developed.
De Stijl started in 1995 and has a duration of three years. It is hosted by the Computing Science Department of Groningen University.