1401 search results - page 157 / 281 » Tool Integration for Reasoned Programming |
CHI
2007
ACM
16 years 2 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
123
click to vote
VLSID
2003
IEEE
16 years 1 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
SIGCSE
2004
ACM
15 years 7 months ago
2004
ACM
An important question that must be addressed in a coherent computing curriculum is which programming environments to use across the curriculum. For Java, currently the most widely...
115
Voted
WSC
2004
15 years 2 months ago
2004
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...
123
click to vote
CMSB
2009
Springer
15 years 8 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...