Sciweavers

4360 search results - page 3 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
82
Voted
IEEECIT
2010
IEEE
14 years 8 months ago
Research on Case Learning System for Engineering Subject - Software Engineering as an Example
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...
Zhaocheng Wang, Cheng Yang
69
Voted
ICSE
1994
IEEE-ACM
15 years 2 months ago
Applying Formal Methods for Human Error Tolerant Design
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Bob Fields, Peter C. Wright, Michael D. Harrison
73
Voted
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
15 years 3 months ago
A Powerful System Design Methodology Combining OCAPI and Handel-C for Concept Engineering
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
Klaus Buchenrieder, Andreas Pyttel, Alexander Sedl...
71
Voted
APSEC
2002
IEEE
15 years 3 months ago
Extracting threads from concurrent objects for the design of embedded systems
Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama