Search results for "SPECIFICATION"
showing 10 items of 96 documents
Process specification and verification
1996
Graph grammars provide a very convenient specification tool for distributed systems of processes. This paper addresses the problem how properties of such specifications can be proven. It shows a connection between algebraic graph rewrite rules and temporal (trace) logic via the graph expressions of [2]. Statements concerning the global behavior can be checked by local reasoning.
Two Types of pseudo-clefts?
2010
Sentences such as 'What Fred does is complain' and 'What Fred does is important' have both been labeled as pseudo-clefts, though of two distinct types. We provide four tests to structurally distinguish such constructions. Entailment patterns and a number of structural ties between the post-copular constituent and specific constituents of the pre-copular relative clause suggest using the label ‘pseudo-cleft’ for the former type only. This paper also examines certain cases of pseudo-clefts with no simple correlates, and vice versa, to argue – contra Higgins 1973 – that these do not necessarily contradict the existence of a structural connection (a transformation, in the sense of Z. S. Harris)…
An Approach to Data Quality Evaluation
2018
This research proposes a new approach to data quality evaluation comprising 3 aspects: (1) data object definition, which quality will be analyzed, (2) quality requirements specification for the data object using Domain Specific Language (DSL), (3) implementation of an executable data quality model that would enable scanning of data object and detect its shortages. Like the Model Driven Architecture (MDA) the data quality modelling is divided into platform independent (PIM) and platform-specific (PSM) models. PIM comprises informal specifications of data quality, PSM describes implementation of data quality model, thus making the data quality model executable. The approbation of the proposed…
The ladybird homeobox genes are essential for the specification of a subpopulation of neural cells
2004
AbstractIn Drosophila, neurons and glial cells are produced by neural precursor cells called neuroblasts (NBs), which can be individually identified. Each NB generates a characteristic cell lineage specified by a precise spatiotemporal control of gene expression within the NB and its progeny. Here we show that the homeobox genes ladybird early and ladybird late are expressed in subsets of cells deriving from neuroblasts NB 5-3 and NB 5-6 and are essential for their correct development. Our analysis revealed that ladybird in Drosophila, like their vertebrate orthologous Lbx1 genes, play an important role in cell fate specification processes. Among those cells that express ladybird are NB 5-6…
A framework for intention-driven requirements engineering of innovative software products
2011
Requirements engineering is highly challenging particularly when designing innovative software products. This is so because there are no corresponding products, ultimate needs of actors are difficult to capture, the products may have unforeseeable impacts on the actors’ behavior, and it is hard to find out how value-added and competitive the product actually is. In this paper, we propose a novel framework for intention-driven requirements engineering of innovative software products, which combines technological, social and business viewpoints. We illustrate its use with a short example related to the domain of web mapping services and augmented reality. peerReviewed
Including covariates in a space-time point process with application to seismicity
2020
AbstractThe paper proposes a spatio-temporal process that improves the assessment of events in space and time, considering a contagion model (branching process) within a regression-like framework to take covariates into account. The proposed approach develops the forward likelihood for prediction method for estimating the ETAS model, including covariates in the model specification of the epidemic component. A simulation study is carried out for analysing the misspecification model effect under several scenarios. Also an application to the Italian seismic catalogue is reported, together with the reference to the developed R package.
Preparation prerequisites for effective irrigation of apical root canal : a critical review
2017
Background It is well recognized that disinfection of the complex root canal system at the apical root canal remains the most critical therapeutic measure to treat apical periodontitis. Material and Methods Observational and experimental data in relation to the anatomy of the apical root canal in different tooth types and the cross sectional diameters of the apical part of the most commonly used hand and rotary files are critically reviewed. Results The present data analysis confirm that the challenging issue of antibacterial efficacy of modern preparation protocols in non-surgical endodontics requires more attention to apical root canal irrigation as a balance between safety and effectiven…
SITA/G - Description and simulation tools for public utility systems on IBM PC
1991
Abstract Simulation is a powerful and universal systems research tool for the analysis of discrete event model's functional quality. The simulation is used very widely in different areas of our everyday life. Simulation system SITA/G is produced in the Latvia University Research Institute of Mathematics and Computer Science. SITA/G softwares is proposed for using on IBM PC. SITA/G offers the facilities to describe, build and edit graphic programs by means of specification language SITA. Also the proposed system allows: 1) the visual demonstration of the simulation process of the graphic simulation programs; 2) obtaining of the probability characteristics of the systems under research. SITA/…
LanguageLab - A Meta-modelling Environment
2015
In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…
Ectopic hbox12 Expression Evoked by Histone Deacetylase Inhibition Disrupts Axial Specification of the Sea Urchin Embryo
2015
Dorsal/ventral patterning of the sea urchin embryo depends upon the establishment of a Nodal-expressing ventral organizer. Recently, we showed that spatial positioning of this organizer relies on the dorsal-specific transcription of the Hbox12 repressor. Building on these findings, we determined the influence of the epigenetic milieu on the expression of hbox12 and nodal genes. We find that Trichostatin-A, a potent and selective histone-deacetylases inhibitor, induces histone hyperacetylation in hbox12 chromatin, evoking broad ectopic expression of the gene. Transcription of nodal concomitantly drops, prejudicing dorsal/ventral polarity of the resulting larvae. Remarkably, impairing hbox12 …