832 search results - page 39 / 167 » Declarative Specification of Software Architectures |
110
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
108
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
133
click to vote
AC
2002
Springer
15 years 2 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
104
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
137
Voted
METRICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...