950 search results - page 50 / 190 » Developing Law-Governed Systems Using Aspects |
FORTEST
2008
15 years 1 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
ICSOC
2005
Springer
15 years 5 months ago
2005
Springer
The diffusion of service-oriented computing is today heavily influencing many software development and research activities. Despite this, service-oriented computing is a relative...
100
click to vote
PET
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
103
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
HICSS
1998
IEEE
15 years 4 months ago
1998
IEEE
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...