2274 search results - page 263 / 455 » Qualitative Modeling for Requirements Engineering |
165
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
: Nowadays businesses often decide to form networked value constellations in order to satisfy complex customer needs. To fulfill the value-based requirements of an e-Business idea ...
189
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
217
click to vote
WSC
2007
15 years 8 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
231
click to vote
SCESM
2006
ACM
16 years 14 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
193
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
While much research has been performed on query logs collected for major Web search engines, query log analysis to enhance search on smaller and more focused collections has attrac...