726 search results - page 128 / 146 » Formal Requirements Engineering: Learning from the Students |
217
click to vote
POPL
2008
ACM
16 years 2 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
DAGSTUHL
2006
15 years 1 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
During the past five years, our research group worked with a group of public school teachers to define, develop, and assess network-based support for collaborative learning in mid...
170
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
Today's enterprise databases are large and complex, often relating hundreds of entities. Enabling ordinary users to query such databases and derive value from them has been o...
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...