1527 search results - page 66 / 306 » From Requirements to Design: Formalizing the Key Steps |
174
click to vote
ITNG
2008
IEEE
16 years 12 days ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
167
click to vote
ITSSA
2006
15 years 6 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
162
click to vote
VLSID
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
161
click to vote
FDL
2007
IEEE
16 years 10 days ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
144
click to vote
ICDIM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this position paper we analyze the benefits of enabling virtual communities to self-organize and introduce a novel research direction for providing incentives, required in this...