Sciweavers

5433 search results - page 652 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
CC
2000
Springer
100views System Software» more  CC 2000»
15 years 11 months ago
A Static Study of Java Exceptions Using JESP
JESP is a tool for statically examining the usage of user thrown exceptions in Java source code. Reported here are the first findings over a dataset of 31 publicly available Java...
Barbara G. Ryder, Donald Smith, Ulrich Kremer, Mic...
EICS
2010
ACM
15 years 11 months ago
User interface model discovery: towards a generic approach
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
Andy Gimblett, Harold W. Thimbleby
ISPD
1999
ACM
106views Hardware» more  ISPD 1999»
15 years 11 months ago
Timing driven maze routing
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...
Sung-Woo Hur, Ashok Jagannathan, John Lillis
HICSS
1999
IEEE
97views Biometrics» more  HICSS 1999»
15 years 11 months ago
The Ragnarok Architectural Software Configuration Management Model
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
Henrik Bærbak Christensen
HICSS
1999
IEEE
112views Biometrics» more  HICSS 1999»
15 years 11 months ago
The Interoperability Problem: Bringing together Mobile Agents and Agent Communication Languages
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
Yannis Labrou, Timothy W. Finin, Yun Peng