| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An architectural pattern for non-functional dependability requirements
|
Xu, Lihua
|
|
2006
|
79 |
10 |
p. 1370-1378
9 p.
|
article
|
| 2 |
Architecting dependable systems
|
de Lemos, Rogério
|
|
2006
|
79 |
10 |
p. 1359-1360
2 p.
|
article
|
| 3 |
Automatic code generation from high-level Petri-Nets for model driven systems engineering
|
Philippi, Stephan
|
|
2006
|
79 |
10 |
p. 1444-1455
12 p.
|
article
|
| 4 |
Comparative evaluation of dependability characteristics for peer-to-peer architectural styles by simulation
|
Bischofs, Ludger
|
|
2006
|
79 |
10 |
p. 1419-1432
14 p.
|
article
|
| 5 |
Editorial Board
|
|
|
2006
|
79 |
10 |
p. iii-iv
nvt p.
|
article
|
| 6 |
Semantic component networking: Toward the synergy of static reuse and dynamic clustering of resources in the knowledge grid
|
Zhuge, Hai
|
|
2006
|
79 |
10 |
p. 1469-1482
14 p.
|
article
|
| 7 |
Software architecture-based regression testing
|
Muccini, Henry
|
|
2006
|
79 |
10 |
p. 1379-1396
18 p.
|
article
|
| 8 |
Specification of exception flow in software architectures
|
Castor Filho, Fernando
|
|
2006
|
79 |
10 |
p. 1397-1418
22 p.
|
article
|
| 9 |
Structural translation from Time Petri Nets to Timed Automata
|
Cassez, Franck
|
|
2006
|
79 |
10 |
p. 1456-1468
13 p.
|
article
|
| 10 |
Using temporal logic to specify adaptive program semantics
|
Zhang, Ji
|
|
2006
|
79 |
10 |
p. 1361-1369
9 p.
|
article
|
| 11 |
Verification of rectangular hybrid automata models
|
Kotini, Isabella
|
|
2006
|
79 |
10 |
p. 1433-1443
11 p.
|
article
|
Journal description