Sciweavers

1696 search results - page 232 / 340
» Knowledgeable development environments using shared design m...
Sort
View
KBSE
2002
IEEE
15 years 11 months ago
Generating Product-Lines of Product-Families
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Phi...
ECOOPW
1998
Springer
15 years 10 months ago
Evaluating OO-CASE Tools: OO Research Meets Practice
Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...
Danny Greefhorst, Mark van Elswijk, Mattijs Maat, ...
BMCBI
2008
134views more  BMCBI 2008»
15 years 6 months ago
Identification of transcription factor contexts in literature using machine learning approaches
Background: Availability of information about transcription factors (TFs) is crucial for genome biology, as TFs play a central role in the regulation of gene expression. While man...
Hui Yang, Goran Nenadic, John A. Keane
CSCWD
2005
Springer
15 years 12 months ago
A Web Service for Exchanging Procedural CAD Models Between Heterogeneous CAD Systems
It is a challenging issue to exchange procedural CAD models between heterogeneous CAD systems. In this paper, we extend the synchronized collaborative design environment among hete...
Xiang Chen, Min Li, Shuming Gao
KBSE
2000
IEEE
15 years 10 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...