-
1
The role of inspection in software quality assurance
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
2
Using test oracles generated from program documentation
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
3
Software Engineering - Missing in Action: A Personal Perspective
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
4
Software engineering programs are not computer science programs
Veröffentlicht in IEEE software
VolltextArtikel -
5
Functional documents for computer systems
Veröffentlicht in Science of computer programming
VolltextArtikel -
6
Precise documentation of well-structured programs
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
7
-
8
Requirements-based monitors for real-time systems
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
9
-
10
A rational design process: How and why to fake it
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
11
Predicate logic for software engineering
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
12
-
13
On satisfying timing constraints in hard-real-time systems
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
Education for computing professionals
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
20