Search results for "SPECIFICATION"

Automatic Temporal Formatting of Multimedia Presentations Using Dynamic Petri Nets.

2009

An efficient authoring tool would provide support for automatic temporal formatting and modeling of multimedia presentations. Automatic temporal formatting is a process of converting the given presentation specifications into a required temporal format. This paper presents an algorithm that can convert a temporal layout into a dynamic petri net (DPN )w hich can represent iterative and interactive presentation components effectively. The prototype of the authoring tool extracts the temporal layout from any given SMIL file representation and uses the proposed algorithm to automatically convert it into a DPN. The DPN generated automatically at compile-time helps the run-time components in effe…

Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design

1996

The paper starts with a brief overview of the current situation in the world of CASE tools for information systems. Then there follows the outline of the basic ideas and principles of integrated CASE tool GRADE. The most outstanding characteristics of GRADE are that the tool is based on a unified specification language GRAPES and that it supports all information system development phases including analysis, requirements specification, design and implementation.

Specifications for the software “PRAGMA” of quantitative collection and treatment software

2006

Towards Diagrammatic Patterns

2008

This article presents the idea that the graphical representation (concrete syntax) of a visual language can be specified based on some pre-defined diagrammatic patterns. A diagram from the Specification and Description Language (SDL) is used as illustration.

Extending a Metamodel for Formalization of Data Warehouse Requirements

2014

In performance measurement systems that are built on top of a data warehouse, the information requirements in natural language are different performance indicators that should be stored and analyzed. We use the requirement formalization metamodel to create a formal requirement repository out of information requirements in natural language. In the course of this research we tested the compatibility of the existing requirement formalization metamodel applying it to a set of over 150 requirements for the currently operating data warehouse project. As a result, we extended the formal specification of information requirements with some additional classes like themes, grouping, and requirement pr…

Are requirements elicitation sessions influenced by participants' gender? An empirical experiment

2021

[EN] Context: Requirements elicitation is a crucial phase in the software development life cycle. During requirements elicitation sessions, requirements engineers capture software requirements, and motivate stakeholders to express needs and expected software functionalities. In this context, there is a lack of extensive empirical research reporting the extent to which elicitation sessions can be influenced by participants' gender. Objective: This paper presents our research endeavour to investigate requirements engineers' effort and elicited requirements' accuracy based on participants' gender. Method: We conducted an experiment in two rounds with a total of 59 students who played the role …

Spatially restricted expression of PlOtp, a Paracentrotus lividus Orthopedia-related homeobox gene, is correlated with oral ectodermal patterning and…

1999

ABSTRACT Several homeobox genes are expressed in the sea urchin embryo but their roles in development have yet to be elucidated. Of particular interest are homologues of homeobox genes that in mouse and Drosophila are involved in patterning the developing central nervous system (CNS). Here, we report the cloning of an orthopedia (Otp)-related gene from Paracentrotus lividus, PlOtp. Otp is a single copy zygotic gene that presents a unique and highly restricted expression pattern. Transcripts were first detected at the mid-gastrula stage in two pairs of oral ectoderm cells located in a ventrolateral position, overlying primary mesenchyme cell (PMC) clusters. Increases in both transcript abund…

3D surfaces automated acquisition using non contact sensor with repect of metrological conditions

2013

International audience

Gadolinium perturbs expression of skeletogenic genes, calcium uptake and larval development in phylogenetically distant sea urchin species

2018

Chelates of Gadolinium (Gd), a lanthanide metal, are employed as contrast agents for magnetic resonance imaging and are released into the aquatic environment where they are an emerging contaminant. We studied the effects of environmentally relevant Gd concentrations on the development of two phylogenetically and geographically distant sea urchin species: the Mediterranean Paracentrotus lividus and the Australian Heliocidaris tuberculata. We found a general delay of embryo development at 24 h post-fertilization, and a strong inhibition of skeleton growth at 48 h. Total Gd and Ca content in the larvae showed a time- and concentration-dependent increase in Gd, in parallel with a reduction in C…

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…