349 search results - page 25 / 70 » The Art and Science of Software Architecture |
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
CSE
2009
IEEE
14 years 27 days ago
2009
IEEE
Abstract--Much of modern software development consists of assembling together existing software components and writing the glue code that integrates them into a unified application...
SPIN
2007
Springer
14 years 3 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
ACSC
2003
IEEE
14 years 2 months ago
2003
IEEE
Time-triggered systems require a very high degree of temporal accuracy at critical stages during run time. While many software fault injection environments exist today, none of th...
CSCW
2000
ACM
14 years 1 months ago
2000
ACM
Locating the expertise necessary to solve difficult problems is a nuanced social and collaborative problem. In organizations, some people assist others in locating expertise by ma...