Search results for "SPECIFICATION"
showing 10 items of 96 documents
An inductive learning perspective on automated generation of feature models from given product specifications
2018
For explicit representation of commonality and variability of a product line, a feature model is mostly used. An open question is how a feature model can be inductively learned in an automated way from a limited number of given product specifications in terms of features.We propose to address this problem through machine learning, more precisely inductive generalization from examples. However, no counter-examples are assumed to exist. Basically, a feature model needs to be complete with respect to all the given example specifications. First results indicate the feasibility of this approach, even for generating hierarchies, but many open challenges remain.
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
2005
Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…
Role of en and novel interactions between msh, ind, and vnd in dorsoventral patterning of the Drosophila brain and ventral nerve cord
2010
AbstractSubdivision of the neuroectoderm into discrete gene expression domains is essential for the correct specification of neural stem cells (neuroblasts) during central nervous system development. Here, we extend our knowledge on dorsoventral (DV) patterning of the Drosophila brain and uncover novel genetic interactions that control expression of the evolutionary conserved homeobox genes ventral nervous system defective (vnd), intermediate neuroblasts defective (ind), and muscle segment homeobox (msh). We show that cross-repression between Ind and Msh stabilizes the border between intermediate and dorsal tritocerebrum and deutocerebrum, and that both transcription factors are competent t…
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…
Inverse estimation of model parameters for newborn brain cooling process simulations
2019
In this work, a three-dimensional simplified computational model was built to simulate the passive thermo-physiological response of part of a newborn’s head for neonate’s selective brain cooling. Both metabolicheat generation and blood perfusion were considered. The set of model parameters was selected anda sensitivity study was carried out. Analysis of dimensionless sensitivity coefficients showed that the mostimportant are: the contact thermal resistance between the cool-cap and skin, the thermal resistance ofthe plastic wall material, and deep (arterial) blood temperature. The function specification method wasapplied to estimate the value of the contact resistance. Two, four and six comp…
Premature conclusions about the signal‐to‐noise ratio in structural equation modeling research : A commentary on Yuan and Fang (2023)
2023
In a recent article published in this journal, Yuan and Fang (British Journal of Mathematical and Statistical Psychology, 2023) suggest comparing structural equation modeling (SEM), also known as covariance-based SEM (CB-SEM), estimated by normal-distribution-based maximum likelihood (NML), to regression analysis with (weighted) composites estimated by least squares (LS) in terms of their signal-to-noise ratio (SNR). They summarize their findings in the statement that “[c]ontrary to the common belief that CB-SEM is the preferred method for the analysis of observational data, this article shows that regression analysis via weighted composites yields parameter estimates with much smaller stan…
LCL - A Graphical Meta-Language for Specification of Language Constraints
2015
The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.
The Covid-19 containment effects of public health measures - A spatial difference-in-differences approach
2020
AbstractSince mid-March 2020 the Federal and state governments in Germany agreed on comprehensive public health measures to curb the spread of SARS-CoV-2 infections leading to the Covid-19 disease. We study the containment effects of these policy interventions on the progression of the pandemic in the first containment phase in spring 2020 before the easing of restrictions may become effective by the end of April. To exploit both the temporal and spatial dimension in the dissemination of the virus, we conduct a spatial panel data analysis for German NUTS-3 regions. Specifically, we employ a spatial difference-in-differences approach to identify the effects of six compound sets of public hea…