287 search results - page 12 / 58 » Guidelines From Organizational Requirements to Formal Specif... |
RE
2001
Springer
15 years 2 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing web sites that are responsive to customer needs is a critical prerequisite for the success of online services. Recently, a usability evaluation procedure, based on the M...
WER
1998
Springer
15 years 1 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...
100
click to vote
RE
2008
Springer
14 years 9 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...