652 search results - page 88 / 131 » Reconciling Software Requirements and Architectures: The CBS... |
WWW
2010
ACM
14 years 4 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Web Services together with Service-Oriented Architectures (SOA) are playing an important role in the future of distributed computing, significantly impacting software development ...