1459 search results - page 120 / 292 » Tool Supported Development of Service-Based Systems |
131
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
188
Voted
CSMR
2002
IEEE
15 years 8 months ago
2002
IEEE
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...
165
Voted
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
115
Voted
CACM
1998
15 years 3 months ago
1998
: The development of network management interfaces (NMIs) involves a variety of software layers, application programming interfaces (APIs), specification languages and tools. In or...
153
Voted
MSE
2005
IEEE
15 years 9 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...