846 search results - page 55 / 170 » Separating Designs from Implementations: Role-Based Software... |
190
click to vote
B
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
118
click to vote
ENTCS
2006
15 years 1 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
110
click to vote
EUROMICRO
2003
IEEE
15 years 6 months ago
2003
IEEE
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...
105
click to vote
INFSOF
2007
15 years 1 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
110
click to vote
RTCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
In ubiquitous computing environments, contextawareness is one of the most important research topics. Computers embedded in our surrounding can extract information about a user, an...