2741 search results - page 350 / 549 » Designing Law-Compliant Software Requirements |
151
click to vote
AOSD
2006
ACM
16 years 21 days ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
159
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
163
Voted
SAC
2005
ACM
16 years 9 days ago
2005
ACM
: A learning system to facilitate the integration of Geographical Information Systems (GIS) into the Civil Engineering curriculum is described in this paper. The principal learning...
168
click to vote
WAC
2005
Springer
16 years 6 days ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
188
click to vote
SIGSOFT
2003
ACM
15 years 12 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...