Search
Now showing items 1-10 of 175989
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 ...
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 ...
SPECIFYING ACTIVE RULES FOR DATABASE MAINTENANCE
(SPRINGER, 2000)
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Firstly, the derivation of active rules that ...
Instalação e "Site Specific Works": arte como oposição
(PPGAV-UFRGS, 2017)
Hydrolysis of coconut oil (Cocos nucífera L.) by specificity and no positional specificity enzimes Hidrólisis del aceite de coco (Cocos nucífera L.) mediante enzimas estereoespecíficas y sin especificidad posicional
(1997)
The characteristic fatty acid composition of coconut oil provides mainly short- and medium- chain fatty acids when incorporated to the diet. These fatty acids have nutritional advantages because their metabolic disposition ...
An evolutionary approach to translating operational specifications into declarative specifications
(Elsevier Science, 2019-05)
Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many ...