1141 search results - page 10 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
149
click to vote
WER
1998
Springer
15 years 8 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
163
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
148
click to vote
IESA
2007
15 years 6 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
128
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
138
click to vote
RE
1997
Springer
15 years 8 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...