2274 search results - page 240 / 455 » Qualitative Modeling for Requirements Engineering |
170
click to vote
COMPSAC
2005
IEEE
16 years 5 days ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
146
click to vote
VSTTE
2005
Springer
16 years 16 hour ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
121
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
303
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
176
click to vote
DIGRA
2005
Springer
16 years 2 days ago
2005
Springer
Academics and industry professionals alike have long been interested in developing a nuanced and empirically sound typography of online gamers. Designers and engineers are aware o...