Sciweavers

3763 search results - page 162 / 753
» Component-Based Software Engineering Processes
Sort
View
CODES
2001
IEEE
15 years 10 months ago
The usage of stochastic processes in embedded system specifications
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
Axel Jantsch, Ingo Sander, Wenbiao Wu
FASE
2000
Springer
15 years 10 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
CCE
2010
15 years 3 months ago
Multi-scale methods and complex processes: A survey and look ahead
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...
Angelo Lucia
EDOC
2007
IEEE
16 years 20 days ago
Survey of Traceability Approaches in Model-Driven Engineering
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
Ismênia Galvão, Arda Goknil
IWSAPF
2000
15 years 10 months ago
Creating Product Line Architectures
The creation and validation of product line software architectures are inherently more complex than those of software architectures for single systems. This paper compares a proces...
Joachim Bayer, Oliver Flege, Cristina Gacek