Building an Information System for Collaborative Researchers: A Case Study from the Brain-Tumor Research Domain.
Fuzzy Clustering in Software Reusability.
A System for Translating Executable VDM Specifiactions into Lazy ML.
Synchronous/Reactive Programming of Concurrent System Software.
Thread- and Process-Based Implementations of the pSystem Parallel Programming Environment.
A Practical Approach to Object-Oriented State Modeling.
Event Handling in the Lego System.