Sciweavers

14670 search results - page 111 / 2934
» The Systems Modeling Language for Products and Systems Devel...
Sort
View
VAMOS
2010
Springer
13 years 9 months ago
Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
Reinhard Stoiber, Martin Glinz
BNCOD
2004
106views Database» more  BNCOD 2004»
13 years 9 months ago
Language Bindings for Spatio-Temporal Database Programming in Tripod
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
Tony Griffiths, Norman W. Paton, Alvaro A. A. Fern...
ECIS
2004
13 years 9 months ago
The use of embedded open source software in commercial products
The purpose of this paper is to increase understanding about the use of embedded open source software in commercial telecommunication products. This paper applies concepts of valu...
Hanna Heikinheimo, Tuija Kuusisto
HYBRID
2010
Springer
14 years 3 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
TPHOL
1998
IEEE
14 years 15 days ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...