1446 search results - page 196 / 290 » Formal analysis of hardware requirements |
ER
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
INAP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
RE
1999
Springer
14 years 1 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
ER
2006
Springer
14 years 28 days ago
2006
Springer
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...
CASCON
2008
13 years 10 months ago
2008
Databases are growing rapidly in scale and complexity. High performance, availability, and further service level agreements need to be satisfied under any circumstances to please ...