4048 search results - page 368 / 810 » Design Science, Engineering Science and Requirements Enginee... |
174
Voted
SEKE
2004
Springer
16 years 2 days ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
206
Voted
CGVR
2006
15 years 8 months ago
2006
- This paper describes the capabilities of a parametric model developed to perform design and analysis tasks in the areas of advanced engineering activities during the development ...
192
Voted
SERA
2005
Springer
16 years 6 days ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
164
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Eclipse defines a heterogeneous multiprocessor architecture template for data-dependent stream processing. Intended as a scalable and flexible subsystem of forthcoming media-proce...
148
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...