2984 search results - page 417 / 597 » Method engineering process patterns |
116
click to vote
FSTTCS
2008
Springer
15 years 2 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
121
click to vote
ASE
2008
15 years 1 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
167
Voted
SMA
2008
ACM
15 years 1 months ago
2008
ACM
3D mesh models are now widely available for use in various applications. The demand for automatic model analysis and understanding is ever increasing. Mesh segmentation is an impo...
119
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
126
click to vote
CHI
2011
ACM
14 years 5 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...