537 search results - page 18 / 108 » TIES: An Engineering Design Methodology and System |
186
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
139
click to vote
EKAW
1992
Springer
15 years 10 months ago
1992
Springer
In order to help the knowledge engineer and the expert during knowledge acquisition phase, the ACACIA Group is working on a knowledge acquisition methodology and tool (KATEMES)all...
156
click to vote
ECBS
2006
IEEE
16 years 22 hour ago
2006
IEEE
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
154
click to vote
SAC
2009
ACM
16 years 23 days ago
2009
ACM
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
141
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
Continued growth in chip capacity has led to new methodologies stressing reuse, not only of pre-designed processing components, but even of entire pre-designed architectures. To b...