Sciweavers

1759 search results - page 181 / 352
» Overview of Generative Software Development
Sort
View
DAGSTUHL
2003
15 years 4 months ago
Self-Reconfigurable Robots: Platforms for Emerging Functionality
We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our ...
Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa,...
RE
2001
Springer
15 years 7 months ago
Issues of Visualized Conflict Resolution
Effective and efficient requirements negotiation is a key to the success of software development efforts. For large projects, this can be especially difficult to do effectively an...
Hoh In, Siddhartha Roy
CAV
2008
Springer
139views Hardware» more  CAV 2008»
15 years 5 months ago
CSIsat: Interpolation for LA+EUF
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
Dirk Beyer, Damien Zufferey, Rupak Majumdar
SOFTVIS
2010
ACM
15 years 3 months ago
An interactive ambient visualization for code smells
Code smells are characteristics of software that indicate that code may have a design problem. Code smells have been proposed as a way for programmers to recognize the need for re...
Emerson R. Murphy-Hill, Andrew P. Black
228
Voted
ICDE
2000
IEEE
99views Database» more  ICDE 2000»
16 years 4 months ago
XWRAP: An XML-Enabled Wrapper Construction System for Web Information Sources
This paper describes the methodology and the software development of XWRAP, an XML-enabled wrapper construction system for semi-automatic generation of wrapper programs. By XML-ena...
Ling Liu, Calton Pu, Wei Han