2741 search results - page 67 / 549 » Designing Law-Compliant Software Requirements |
CASCON
2007
14 years 11 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
SCS
2003
14 years 11 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
100
click to vote
CSCWD
2006
Springer
15 years 1 months ago
2006
Springer
The application designers can usually define their own "virtual environments" by selecting the appropriate computing resources required, or reuse and compose existing en...
EXACT
2007
15 years 5 days ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
EHCI
2001
14 years 11 months ago
2001
We present a way of analyzing sensed context information formulated to help in the generation, documentation and assessment of the designs of context-aware applications. Starting w...