Software systems construction with examples in Ada

Ada design of a neural network

ACM SIGAda Ada Letters

The state-machine pattern

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada

Concurrent design patterns for resource sharing

Proceedings of the conference on TRI-Ada '97

The Practical Use of Ada 95's Concurrency Features

IEEE Concurrency

Modeling Concurrent Software

IEEE Software

A Design Pattern for State Machines and Concurrent Activities

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Entity-Life Modeling: Modeling a Thread Architecture on the Problem Environment

IEEE Software

Real-time programming safety in Java and Ada

ACM SIGAda Ada Letters

Reusable software components

ACM SIGAda Ada Letters