Sciweavers

4350 search results - page 248 / 870
» Case studies for contract-based systems
Sort
View
ICSM
2000
IEEE
15 years 11 months ago
Information Retrieval Models for Recovering Traceability Links between Code and Documentation
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...
DL
1997
Springer
206views Digital Library» more  DL 1997»
15 years 10 months ago
The Digital Library Integrated Task Environment (DLITE)
We describe a case study in the design of a user interface to a digital library. Our design stems from a vision of a library as a channel to the vast array of digital information ...
Steve B. Cousins, Andreas Paepcke, Terry Winograd,...
EDOC
2009
IEEE
16 years 1 months ago
Modeling the IT Impact on Organizational Structure
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
Pia Gustafsson, David Höök, Ulrik Franke...
CBSE
2006
Springer
15 years 10 months ago
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models
This paper addresses the unavoidable problem of dynamic reconfiguration in component-based system with a hierarchical component model. The presented solution is based on (1) allowi...
Petr Hnetynka, Frantisek Plasil
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 12 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...