742 search results - page 74 / 149 » Set-based Concurrent Engineering |
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
QSIC
2006
IEEE
15 years 3 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...