4048 search results - page 394 / 810 » Design Science, Engineering Science and Requirements Enginee... |
168
click to vote
AIS
2005
Springer
15 years 6 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
159
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
164
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
152
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Software maintenanceand evolutionare the dominantactivities in the software lifecycle. Modularization can separate design decisions and allow them to be independently evolved, but...
183
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...