Sciweavers

1492 search results - page 64 / 299
» Integrative, model-based engineering design
Sort
View
ACMSE
2005
ACM
14 years 1 months ago
Image is everything: advancing HCI knowledge and interface design using the system image
As the field of human-computer interaction matures, the need for proven, dependable engineering processes for interface development becomes apparent. Our continuing work in develo...
Jason Chong Lee, Christa M. Chewar, D. Scott McCri...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 15 days 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
SEFM
2003
IEEE
14 years 1 months ago
From Requirements to Design: Formalizing the Key Steps
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
R. Geoff Dromey
ICSE
2010
IEEE-ACM
14 years 6 days ago
Code bubbles: rethinking the user interface paradigm of integrated development environments
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
Andrew Bragdon, Steven P. Reiss, Robert C. Zelezni...
APAQS
2001
IEEE
13 years 12 months ago
End-to-End Integration Testing
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
Raymond A. Paul