1347 search results - page 152 / 270 » An Approach to Software Evolution Based on Semantic Change |
183
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
154
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
196
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
167
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
To make pervasive computing a reality, we need better system support for building, deploying, and using pervasive applications. In this paper, we identify the unique requirements ...
147
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...