Sciweavers

1802 search results - page 68 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
CAISE
2003
Springer
15 years 4 months ago
A Framework for the Design of ETL Scenarios
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
Panos Vassiliadis, Alkis Simitsis, Panos Georganta...
HCI
2009
14 years 9 months ago
User Research and User Centered Design; Designing, Developing, and Commercializing Widget Service on Mobile Handset
Mobile widget is a new paradigm for interactive idle screen service on mobile handset. Currently the standardization of widget is being discussed by W3C; Widget is globally accepte...
Sung Moo Hong
IRI
2005
IEEE
15 years 4 months ago
AnyInformationHiding: a stable design pattern
The AnyInformationHiding design pattern models the concept of information hiding and the interactions between parties associated with it in any application. Information hiding is ...
Mohamed Fayad, Haritha Kilaru
RE
2002
Springer
14 years 11 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
APSEC
2004
IEEE
15 years 3 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu