16725 search results - page 2829 / 3345 » Engineering Software Correctness |
137
click to vote
ICAD
2004
15 years 8 months ago
2004
Comparing designs of sonifications is difficult enough but comparing a visual display with a sound display is much harder. Yet the designer of multi-sensory displays would like to...
177
click to vote
IADIS
2003
15 years 8 months ago
2003
As a consequence of the great number of web modelling languages arisen in the last few years, some criteria to compare them have to be given. Thus, a few authors have made a recol...
176
click to vote
IC
2003
15 years 8 months ago
2003
Parallel application programmers and software engineers have a variety of paradigms at their disposal. Some of the tools include traditional environments such as Parallel Virtual ...
195
click to vote
SERP
2004
15 years 8 months ago
2004
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
188
click to vote
SFP
2004
15 years 8 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...