9110 search results - page 347 / 1822 » Formally-Based Design Evaluation |
172
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
—This paper presents a SoC platform based design for the implementation of AAC audio decoder. We present the approach not only for the characteristics of the algorithm, but also ...
155
click to vote
MSE
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
175
click to vote
QSIC
2005
IEEE
16 years 7 days ago
2005
IEEE
The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial...
171
click to vote
SEW
2005
IEEE
16 years 7 days ago
2005
IEEE
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...
161
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
This paper describes issues in the design of IT-centric trouble-ticketing applications. Two prototypes are presented. The first introduces a user-centric, webaccessible thick clie...