2741 search results - page 135 / 549 » Designing Law-Compliant Software Requirements |
153
click to vote
OOPSLA
2009
Springer
16 years 27 days ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
147
click to vote
SOFTVIS
2006
ACM
16 years 9 days ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
152
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...
147
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Automatic design of software architecture by use of genetic algorithms has already been shown to be feasible. A natural problem is to augment – if not replace – genetic algori...
154
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...