1420 search results - page 76 / 284 » A combined functional and object-oriented approach to softwa... |
143
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Under the influence of a new medium, a genre may evolve into variants of the original genre or even into new genre. Genre, even through such evolution, are normally characterized ...
149
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
182
click to vote
SACMAT
2004
ACM
15 years 11 months ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...
148
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
140
click to vote
IJCAI
2007
15 years 7 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...