Buscar
Mostrando ítems 1-10 de 30496
Site and Time Specificity In the Performance of Live Electronics
(Universidade Federal de Uberlandia, 2016)
Instalação e "Site Specific Works": arte como oposição
(PPGAV-UFRGS, 2017)
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 ...
Improving lazy abstraction for SCR specifications through constraint relaxation
(John Wiley & Sons Ltd, 2018-03)
Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirements, ...
Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
(Academic Press Inc Elsevier Science, 2017-08)
The principle of reinstatement governing most argument systems states that an argument is reinstated when all its defeaters are in turn ultimately defeated. Nevertheless, some criticisms to this principle have been offered ...
Specification Patterns: Formal and Easy
(World Scientific, 2015-05)
Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages ...
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach
(Centro Latinoamericano de Estudios en Informática, 2013)
Categorical foundations for structured specifications in Z
(Springer, 2015-11)
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of the main features of our formal framework, based on category theory and the theory of institutions, is that it enables us ...
Installation art and site specific works: art as opposition
(PPGAV-UFRGS, 2017)
Wood specific gravity of Pinus ponderosa (Dougl. Ex Laws) growing in three localities of ArgentinaDensidad de la madera de Pinus ponderosa (Dougl. Ex Laws) en tres localidades de Argentina
(Universidad Austral de Chile, Facultad de Ciencias Forestales y Recursos Naturales., 2002)