10263 search results - page 75 / 2053 » From Use Cases to System Operation Specifications |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
One of the major difficulties when applying Multiobjective Evolutionary Algorithms (MOEA) to real world problems is the large number of objective function evaluations. Approximate...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
IWSSD
2000
IEEE
14 years 1 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...