-
1
-
2
-
3
-
4
-
5
-
6
Model-Based Verification of Embedded Software
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
7
-
8
ASSL: A Software Engineering Approach to Autonomic Computing
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
9
Formal Versus Agile: Survival of the Fittest
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
10
-
11
-
12
-
13
-
14
Community as Therapy: The Theory of Social Practice
Veröffentlicht in Psychiatric rehabilitation journal
VolltextArtikel -
15
The Method and Application of Social Practice in the Clubhouse
Veröffentlicht in Psychiatric rehabilitation journal
VolltextArtikel -
16
Ten Commandments of Formal Methods ...Ten Years Later
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
17
NASA's swarm missions: the challenge of building autonomous software
Veröffentlicht in IT professional
VolltextArtikel -
18
-
19
-
20
Building Dynamic Software Product Lines
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel