10159 search results - page 585 / 2032 » System Design Validation Using Formal Models |
210
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
219
Voted
DT
2006
15 years 6 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
189
click to vote
ACMDIS
2006
ACM
16 years 24 days ago
2006
ACM
Conceptual design dominates the early stages of most creative design processes. During these stages, the designer makes important decisions about the parameters of a model that ar...
192
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
168
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...