Sciweavers

4360 search results - page 76 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
87
Voted
WCRE
1999
IEEE
15 years 4 months ago
A Formal Approach for Reverse Engineering: A Case Study
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
Gerald C. Gannod, Betty H. C. Cheng
97
Voted
AVI
2006
15 years 2 months ago
A taxonomy of ambient information systems: four patterns of design
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
Zachary Pousman, John T. Stasko
126
Voted
CODES
2008
IEEE
15 years 2 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
ACMSE
2005
ACM
15 years 6 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...
87
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
Framework for Goal Driven System Design
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
Juha Savolainen, Juha Kuusela