205 search results - page 10 / 41 » Architecting families of software systems with process algeb... |
ICSEA
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
MSR
2005
ACM
14 years 1 months ago
2005
ACM
Diversification of software assets through changing requirements impose a constant challenge on the developers and maintainers of large software systems. Recent research has addr...
ICECCS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
MSE
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we present an FPGA-based daughtercard designed for TI’s C6000 family of DSP Starter Kits (DSKs). The hardware, initially designed for a course project, provides a ...