695 search results - page 36 / 139 » Dynamic Software Architectures Verification using DynAlloy |
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE
: Alborz is a multi-view, interactive, and wizard-based software architecture reconstruction and evaluation toolkit that takes advantage of the Eclipse plug-in technology to provid...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in so...
MEDINFO
2007
13 years 9 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
ICTAI
2003
IEEE
14 years 26 days ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
CGO
2006
IEEE
14 years 1 months ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...