612 search results - page 20 / 123 » Bridging the Gap between Systems Design |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This paper argues for a model-driven framework for integrating human interface engineering with software engineering. The usage-centered design process, a robust and proven proces...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
1 Many applications require integrated access to multiple distributed, autonomous, and often semantically disparate data. Hence there is a need for bridging the semantic gap betwe...
FOMI
2008
13 years 9 months ago
2008
This work focusses on bridging between folksonomies, which provide social but mainly flat and unstructured metadata on web resources, and semantic web ontologies, which instead des...
IFIP8
2007
13 years 9 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...