This 1991 report describes the Durra language and incorporates the language changes introduced as a result of our experiences writing application descriptions in Durra.
Topics: Performance and Dependability
This 1991 report presents a design specification method that treats a software architecture as a set of runtime entities.
This report describes Durra, a language and support environment for the specification and execution of distributed Ada applications.
This 1991 paper discusses the relationship between software specification, modeling and prototyping activities as part of a real-time system development strategy.