Sciweavers

5433 search results - page 361 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
APSEC
2007
IEEE
16 years 1 months ago
Towards Instant Automatic Model Refinement Based on OCL
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
Hui Song, Yanchun Sun, Li Zhou, Gang Huang
SOFTVIS
2006
ACM
16 years 19 days ago
Mondrian: an agile information visualization framework
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
Michael Meyer, Tudor Gîrba, Mircea Lungu
ICAS
2005
IEEE
103views Robotics» more  ICAS 2005»
16 years 9 days ago
QoS issues in the Research and Academic Networks: The case of GRNET
This paper describes the design and the implementation of QoS services in a high speed backbone network as well as a management tool for the service. The services were designed ta...
Christos Bouras, Anastasios Karaliotas, Michael Oi...
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
16 years 5 days ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
XPU
2005
Springer
16 years 5 days ago
Source Code Repositories and Agile Methods
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
Alberto Sillitti, Giancarlo Succi