-
1
-
2
-
3
-
4
-
5
-
6
-
7
Cooperating knowledge-based assistants for the office
Veröffentlicht in ACM transactions on information systems
VolltextArtikel -
8
A cataloging framework for software development methods
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
9
-
10
-
11
Temporal logic-based deadlock analysis for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
12
Starvation and critical race analyzers for Ada
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
13
-
14
-
15
Software CAD: a revolutionary approach
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
16
A hierarchical expert system for updating forestry maps with Landsat data
Veröffentlicht in Proceedings of the IEEE
VolltextArtikel -
17
Critical races in Ada programs
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
18
-
19
-
20