1172 search results - page 193 / 235 » Who killed design |
SIGCSE
2010
ACM
14 years 25 days ago
2010
ACM
Media-Propelled Computational Thinking (MPCT – pronounced impact) is a course designed to introduce programming in the context of engaging problems in media computation, math, a...
CONCUR
2001
Springer
14 years 6 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
FOCS
2000
IEEE
14 years 3 days ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
KBSE
2000
IEEE
14 years 2 days ago
2000
IEEE
: Software development includes gathering information about tasks, work practices and design options from users. Traditionally requirements gathering takes two forms. Interviews an...
NGITS
1999
Springer
13 years 12 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...