932 search results - page 63 / 187 » Improving Requirements Engineering by Quality Modelling - A ... |
ARCS
2006
Springer
14 years 22 days ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
ECMDAFA
2008
Springer
13 years 10 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
ASC
2011
13 years 4 months ago
2011
In this work, a novel optimization framework is proposed that allows the improvement of Quality of Service levels in TCP/IP based networks, by configuring the routing weights of ...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
Accurate software cost and schedule estimations are essential especially for large software projects. However, once the required efforts have been estimated, little is done to rec...