The role of prototypes is well established in the field of HCI and Design. A lack of
knowledge, however, about the fundamental nature of prototypes still exists. Researchers …

The realisation of domain-specific languages (dsls) differs in fundamental ways from that of
traditional programming languages. We describe eight recurring patterns that we have …

GPUs take advantage of uniformity in program control flow and utilize SIMD execution to
obtain execution efficiency. In SIMD execution, threads are batched into SIMD groups to …

StateTime is a prototype toolset that supports the design of verified real-time discrete-event
systems using executable visual state descriptions (the Build tool). Visual state descriptions …

We have implemented a technique for execution of formal, model-based specifications. The
specifications we can execute are written at a level of abstraction that is close to that used in …

We describe the use of domain-specific languages for expressing critical design values and
constraints in a civil engineering CAD software application. Through the use of these …

Model-checking is a powerful automated technique for verifying finite state real-time safety
critical systems, but suffers from a combinatorial explosion of states as system complexity …

The Workshop on Applications of Logic Programming in Software Engineering was held at
S. Margherita Ligure, Italy, on June 18 1994. This workshop was organized in conjunction …

Computers are increasingly used to monitor and control safety critical systems. Real-time
software controls aircraft, shuts down nuclear power reactors in emergencies, keeps …

Abstract The Production Cell example was chosen by FZI (the Computer Science Research
Center), in Karlsruhe. to examine the benefits of formal methods for industrial applications …