Search results for "SPECIFICATION"
showing 10 items of 96 documents
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/…
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…
Reproductive and developmental phenomena in annelids: a source of exemplary research problems
1999
Specific traits of reproduction, of early and postembryonic development and of sexual maturation in annelids are reported, and the existing and expected contributions to this field from the study of annelids are discussed. The study of early development, as in other spiralians, reveals the existence of canonical cleavage patterns and the combined action of antithetical principles, namely determination by stereotypic sorting-out of ‘determinants’ and determination depending upon the interactions between the blastomeres. A high potential of information about the processes of metameric trunk segment formation and of segment specification has only begun to be exploited in annelids. Epitoky, the…
Activity typologies as a design model for the ubiquitous detection of daily routines
2018
Emerging technologies open up new visions and business potential for systems design and development in the areas of wellbeing and health. New technologies enable the detection of human performance and early changes in physical and cognitive functioning, making it possible to monitor an older person’s wellbeing. This kind of technology or service sets significant requirements for design, as design concepts must be able to capture the complexity of people’s daily lives in terms of activities and environments. Technology itself is “blind” unless designers can adapt it to human life. There is thus a distinct need for comprehensive design and development models that generate adequate human requi…
Inferring Business Rules from Natural Language Expressions
2014
This paper proposes a mapping technique for automatically translating rules expressed in a format based on natural language, i.e. Semantics of Business Vocabulary and Business Rules (SBVR) standard, into production rules that can be executed by a computer (i.e. Rule engine). The proposed approach achieves a twofold purpose: on the one hand non IT skilled people (i.e. Domain expert) can effectively focus on business rules definition by using statements in natural language, and on the other hand the IT staff will have to manage business rules in a format ready to be executed by a rule engine. The main goal is to overcome some weaknesses in the software development process that could produce i…
Riflessioni a margine dell’ordinanza cautelare del 26 novembre 2021 del Tribunale di Gorizia: greenwashing tra concorrenza sleale e diritto del consu…
2022
La pubblicizzazione sul mercato di prodotti ecofriendly non di rado si è rivelata frutto di pratiche scorrette di c.d. greenwashing, ciò consistendo in ipotesi di concorrenza sleale capaci di alterare i sistemi competitivi del libero mercato e ledere il diritto dei consumatori all’acquisto consapevole. Simili atti sono oggi sanzionati ricorrendo ad inibitorie e a comunicazioni pubbliche in cui l’impresa infedele informa i propri consumatori circa l’ingannevolezza dei comportamenti posti in essere. In tale ambito, che in primo luogo interessa il settore agroalimentare, si inserisce l’ordinanza cautelare del 26 novembre 2021 del Tribunale di Gorizia. Il ricorso a disciplinari di produzione ba…
Lutter contre la pollution lumineuse
2019
La dégradation de l’obscurité sous l’effet des usages de lumière artificielle nocturne dans et aux abords des infrastructures humaines est appelée pollution lumineuse. Liée à l’urbanisation, cette pollution déborde les espaces urbains pour affecter les espaces ruraux et les aires protégées. La lutte contre la pollution lumineuse s’organise dans plusieurs pays, dans lesquels des territoires expérimentent des politiques environnementales de protection de l’obscurité. L’enjeu porte à la fois sur la préservation de la biodiversité et la transition énergétiques. En France, quelques territoires ruraux pionniers expérimentent des dispositifs intégrant ce double enjeu. Deux d’entre eux constituent …
Graph grammar engineering: A software specification method
1987
Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a compr…
Design Procedures for Soil-Lime Stabilization for Road and Railway Embankments. Part 2-Experimental Validation
2012
AbstractAs detailed in Part 1, the most common Italian Technical Specifications refer to different design methodologies for design of lime-soil mixtures, some being quite different from those internationally adopted. Therefore, it seemed appropriate to the Authors to compare these methodologies, via a wide experimental program.It is shown that the Italian methodology of the National Road Agency is different not only from those used in Italy, but also from the main international standards. The experimental results highlight that a revision of that methodology is needed in order to bring it into line with what is prescribed by the European standard.
Panel Conditioning or SOCRATIC EFFECT REVISITED: 99 Citations, but is there Theoretical Progress?
2020
In a paper published as early as 1987 by Jagodzinski, Kuhnel and Schmidt on attitude measurement in a three wave panel study, we established empirically a general orientation toward foreign employees in Western Germany called “Gastarbeiter”. These items have been continuously used from 1980 till now in the ALLBUS studies (Wasmer and Hochman 2019). In this paper, we have analyzed how the citation, explanation and modeling of the Socratic effect for explaining changes in panel data developed over time starting with the original paper of Jagodzinski et al. (1987). According to Google Scholar retrieved at 24.1.2019, 99 citations were found, which are all listed in the Online Supplementary. From…