Sciweavers

5433 search results - page 588 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 11 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
15 years 11 months ago
Single and multi-objective genetic operators in object-oriented conceptual software design
This poster paper investigates the potential of single and multiobjective genetic operators with an object-oriented conceptual design space. Using cohesion as an objective fitness...
Christopher L. Simons, Ian C. Parmee
ER
2000
Springer
105views Database» more  ER 2000»
15 years 10 months ago
TBE: Trigger-By-Example
One of the obstacles that hinder database trigger systems from their wide deployment is the lack of tools that aid users in creating trigger rules. Similar to understanding and spe...
Dongwon Lee, Wenlei Mao, Wesley W. Chu
MICCAI
2000
Springer
15 years 10 months ago
diSNei: A Collaborative Environment for Medical Images Analysis and Visualization
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
Carlos Alberola, Rubén Cárdenes, Mar...
DAC
1997
ACM
15 years 10 months ago
CELLERITY: A Fully Automatic Layout Synthesis System for Standard Cell Libraries
This paper describes a fully automatic standard-cell layout synthesis system, CELLERITY. The system is flexible in supporting a wide variety of process technologies and a range of...
Mohankumar Guruswamy, Robert L. Maziasz, Daniel Du...