Buscar
Mostrando ítems 61-70 de 2949
GARREC: ferramenta de apoio no processo de certificação de software da CERTICS
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Computação AplicadaUTFPR, 2017-09-01)
The CERTICS certification was developed to be a public policy tool that seeks to contribute to sustainable national development and it can support national software companies in the evolution required to become more ...
Automated abstractions for contract validation
(IEEE Computer Society, 2012-01)
Pre/postcondition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can ...
Tratamento de ambiguidades em requisitos de evolução de sistemas jurídicos baseado em mapeamento conceitual
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilPrograma de Pós-Graduação em InformáticaUTFPR, 2017-07-28)
Software Engineering is a participatory process that involves all stakeholders actively in design. On a complex domain, such as juridical area, users and domain experts have an important role in requirements elicitation ...
Uma proposta de bula para software
(Universidade Tecnológica Federal do ParanáCornelio ProcopioBrasilPrograma de Pós-Graduação em InformáticaUTFPR, 2015-03-27)
This research proposes a package insert for software that makes it possible to gather information related to the functional and non-functional requirements of a particular software, following a pre-defined structure. The ...
Desenvolvimento de um software web para gerenciamento de requisitos de software
(Universidade Tecnológica Federal do ParanáFrancisco BeltraoBrasilLicenciatura em InformáticaEspecialização em Desenvolvimento de Sistemas para Internet e Dispositivos MóveisUTFPR, 2014-11-27)
Companies developing software for its high level of production end up generating software specifications documents to keep an organization in the development process. These documents primarily describe the operation and ...
Ingeniería de requerimientos. Notas de clase: estrategia en la ingeniería de requisito
(Universidad de Belgrano - Fascículos - Carrera de Informatica, 2013)
La estrategia en la Ingeniería de Requisitos (IR) orientada al cliente se sustenta
en la construcción y uso de dos modelos basados en lenguaje natural: el Léxico
Extendido del Lenguaje (LEL), un glosario especial del ...
Validación basada en pruebas de una interfaz gráfica de usuario en un entorno de desarrollo dirigido por modelos
(2021-09-06)
In the software testing stage, it is possible to benefit from combining the requirements with the testing specification activities. On the one hand, the specification of the tests will require less manual effort, since ...