8627 search results - page 1508 / 1726 » Software Engineering Using RATionale |
193
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...
176
click to vote
CEEMAS
2005
Springer
16 years 4 days ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
223
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
179
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
202
click to vote
IUI
2004
ACM
16 years 15 hour ago
2004
ACM
Never before have so many information sources been available. Most are accessible on-line and some exist on the Internet alone. However, this large information quantity makes inte...