1801 search results - page 12 / 361 » Software Patterns in ITS Architectures |
WCRE
2002
IEEE
14 years 8 days ago
2002
IEEE
Architecture reconstruction embodies benefits for commercial organizations. Reconstructing or recovering the architecture of software systems is primarily driven by the increased ...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
ICSE
2004
IEEE-ACM
14 years 23 days ago
2004
IEEE-ACM
INFSOF
2006
13 years 7 months ago
2006
Adding usability improving solutions during late stage development is to some extent restricted by the software architecture. However, few software engineers and human
FOSSACS
2010
Springer
14 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...