2846 search results - page 83 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
151
click to vote
KBSE
2008
IEEE
16 years 20 days ago
2008
IEEE
—A key issue in maintaining Linux device drivers is the need to update drivers in response to evolutions in Linux internal libraries. Currently, there is little tool support for ...
213
click to vote
FASE
2007
Springer
16 years 13 days ago
2007
Springer
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
175
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
140
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
190
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...