2805 search results - page 390 / 561 » Software, architecture, and participatory design |
173
click to vote
SIGSOFT
2003
ACM
15 years 11 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...
180
click to vote
CIDR
2007
15 years 8 months ago
2007
In this paper, we propose an approach that provides the benefits of isolation in service-oriented applications where it is not feasible to use the traditional locking mechanisms u...
155
click to vote
WWW
2010
ACM
16 years 1 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...
155
click to vote
ECLIPSE
2006
ACM
16 years 12 days ago
2006
ACM
The support available in Eclipse to help software developers learn complex APIs and development tools is inadequate; the support is largely passive and the support typically opera...
166
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...