1099 search results - page 183 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
159
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
150
click to vote
VMCAI
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
148
click to vote
ISSTA
2009
ACM
16 years 15 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
158
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
198
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...