8083 search results - page 75 / 1617 » A Formalization of Software Architecture |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
We present a metamodel for runtime architecture and demonstrate with experimental results how this metamodel can be used to recover, analyze and improve runtime architecture of mo...
DSVIS
2006
Springer
13 years 11 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
ICFEM
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
IJSEKE
2000
13 years 7 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...