4061 search results - page 514 / 813 » Framework Evolution Tool |
157
click to vote
AOSD
2005
ACM
16 years 6 days ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
199
click to vote
CAISE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
162
click to vote
ICSOC
2005
Springer
16 years 4 days ago
2005
Springer
In the area of network monitoring a lot of tools are already available to measure a variety of metrics. However, these tools are often limited to a single administrative domain so ...
209
click to vote
FASE
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
199
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...