1527 search results - page 68 / 306 » From Requirements to Design: Formalizing the Key Steps |
159
click to vote
ICSEA
2007
IEEE
16 years 10 days ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
176
click to vote
JUCS
2002
15 years 5 months ago
2002
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
175
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
138
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...