Buscar
Mostrando ítems 1-10 de 2992
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
(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 ...
Requirements Elicitation for Geo-information Solutions
(2017-01-02)
Geo-information solutions can achieve a higher level of quality if they are developed in accordance with a user-centred design that requires definition of the user requirements in the first step of solution construction. ...
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 ...
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 ...
Data product specification proposal for architectural heritage documentation with photogrammetric techniques: A case study in Brazil
(2015-01-01)
Photogrammetric documentation can provide a sound database for the needs of architectural heritage preservation. However, the major part of photogrammetric documentation production is not used for subsequent architectural ...
DataMock: An Agile Approach for Building Data Models from User Interface Mockups
(Springer Heidelberg, 2017-02)
In modern software development, much time is devoted and much attention is paid to the activity of data modeling and the translation of data models into databases. This has motivated the proposal of different approaches ...
Elaborating requirements using model checking and inductive learning
(IEEE Computer Society, 2012-06-12)
The process of requirements engineering includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. ...