-
1
Use case maps as architectural entities for complex systems
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
2
Temporal logic-based deadlock analysis for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
3
Starvation and critical race analyzers for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
4
Software CAD: a revolutionary approach
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
5
-
6
-
7
Support for specifying temporal behavior in Ada designs
Veröffentlicht in ACM SIGAda Ada Letters
VolltextArtikel -
8
-
9
Timethread-role maps for object-oriented design of real-time-and-distributed systems
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
An informal overview of CADA: a design environment for Ada
Veröffentlicht in ACM SIGAda Ada Letters
VolltextArtikel -
16
TimeBench: a CAD tool for real-time system design
Veröffentlicht in ACM SIGAda Ada Letters
VolltextArtikel -
17
-
18
Effects of Torcetrapib in Patients at High Risk for Coronary Events
Veröffentlicht in The New England journal of medicine
VolltextArtikel -
19
-
20