4799 search results - page 555 / 960 » Model Based Requirements Engineering for Embedded Software |
193
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
Process-centered software engineering environments, such as Arcadia, impose a variety of requirements on database technology that to date have not been well supported by available...
178
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...
176
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
191
click to vote
SOFSEM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
242
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...