2274 search results - page 168 / 455 » Qualitative Modeling for Requirements Engineering |
126
click to vote
FMOODS
2006
15 years 7 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
156
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
191
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
168
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
151
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect informat...