Buscar
Mostrando ítems 1-10 de 11089
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 ...
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 ...
Structural basis for the relaxed substrate selectivity of Leishmania mexicana broad specificity aminotransferase
(Elsevier Science, 2015-08)
Leishmania species are early branching eukaryotic parasites that cause difficult-to-treat tissue-damaging diseases known as leishmaniases. As a hallmark of their parasitic lifestyle, Leishmaniae express a number of ...
Improving bioreactor production of a recombinant glycoprotein in Escherichia coli: Effect of specific growth rate on protein glycosylation and specific productivity
(John Wiley & Sons Inc, 2019-02)
In the last decades bacterial glycoengineering emerged as a new field as the result of the ability to transfer the Campylobacter jejuni N- glycosylation machinery into Escherichia coli for the production of recombinant ...
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 ...
Strategy for the analysis of tissue-specific methylation changes without physical isolation
(Landes Bioscience, 2019-01)
One common experimental hurdle that arises when explore patterns of cytosine methylation is the generation of data derived from a single specific tissue, often arduous to isolate from a heterogeneous biospecimen. Here we ...
A meta-analysis of host specificity in Neotropical hard ticks (Acari: Ixodidae)
(Cambridge University Press, 2013-02)
Host specificity of Neotropical hard ticks (Acari: Ixodidae) was analyzed by using the number of hosts species for each tick species and the index of host specificity STD*, which integrates phylogenetic and ecological ...