Requirements Scenarios Formalization Technique
نویسندگان
چکیده
منابع مشابه
Formalization of Network Quality-of-Service Requirements
The provision of network Quality-of-Service (network QoS) is a major challenge in the development of future communication systems. Before designing and implementing these systems, the network QoS requirements are to be specified. Existing approaches to the specification of network QoS requirements are mainly focused on specific domains or individual system layers. In this paper, we present a ho...
متن کاملFormalization and Algebraic Verification of Legal Requirements
This paper outlines the technology of the formalization and verification of legal text documents. A formal model of a legal document is presented as an ordered set of rules. Every rule is presented as a triple containing preand post-conditions, as well as process parts. All rules are ordered in Use Case Maps (UCM) diagrams. Such a formal model can be verified for inconsistency and incompletenes...
متن کاملFormalization and Validation of Safety-Critical Requirements
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, t...
متن کاملTowards More Efficient Requirements Formalization: A Study
[Context and motivation] Validating natural language requirements is an important but difficult task. Although there are techniques available for validating formalized requirements, the gap between natural language requirements and formalism is huge. [Question/problem] As part of a larger piece of work on temporal requirements consistency checking, we developed a front end to semi-automatically...
متن کاملTowards Ontology-Based Methodology for Requirements Formalization
Implementation of enterprise information management systems is still a challenging task for any organization. One of the key challenges within implementation projects is analysis of business requirements and determination of required system capabilities. Traditionally this challenge is overcome by gathering a team of experienced specialists but we would like to propose an alternate solution: us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80934-4