Search
Now showing items 1-10 of 8810
Computational support for the process of software requirement specification
(2012-12-01)
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...
Support Tool to the Validation Process of Functional Requirements
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2011)
The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different ...
Support Tool to the Validation Process of Functional Requirements
(Institute of Electrical and Electronics Engineers (IEEE), 2011-09-01)
The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different ...
Support Tool to the Validation Process of Functional Requirements
(Institute of Electrical and Electronics Engineers (IEEE), 2014)
Modeling and Specifying Requirements for Cyber-Physical Systems
(Institute Of Electrical And Electronics Engineers, 2013-02)
Cyber-physical systems have to do with a strong interaction between the physical world and a computing system, which should be transparent to an external observer. In this paper, an approach for modeling and specifying ...
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
(Open Publishing Association, 2014-02)
Tabular notations, in particular SCR specifications, have proved to be a useful means for formallydescribing complex requirements. The SCR method offers a powerful family of analysis tools, knownas the SCR Toolset, but its ...