Sciweavers

927 search results - page 110 / 186
» Practical Limits on Software Dependability: A Case Study
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ESE
2006
105views Database» more  ESE 2006»
13 years 7 months ago
Replaying development history to assess the effectiveness of change propagation tools
As developers modify software entities such as functions or variables to introduce new features, enhance old ones, or fix bugs, they must ensure that other entities in the software...
Ahmed E. Hassan, Richard C. Holt
IV
2006
IEEE
82views Visualization» more  IV 2006»
14 years 1 months ago
Two sides of the story: Visualising Products and Processes in Engineering Design
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
René Keller, Tomás L. Flanagan, Clau...
IADIS
2003
13 years 9 months ago
Automatic Gui Generation in Web Based Information Systems
The HCI subsystem is an essential component of an Information System, whose success inside an organization strongly depend on user acceptance. A good UI design considering usabili...
Nicola Aloia, Cesare Concordia, Maria Teresa Parat...
ACMDIS
2000
ACM
14 years 2 days ago
Bridge for Buttons - A GUI Design Methodology Applied in Non-GUI Consumer Product Design
This paper describes the experience gained in the case study of adapting the Bridge, a GUI design method to the design of non-GUI interactive consumer products. An industrial desi...
Simo Säde, Katja Battarbee