Sciweavers

1759 search results - page 99 / 352
» Overview of Generative Software Development
Sort
View
158
Voted
PLDI
2011
ACM
14 years 5 months ago
Systematic editing: generating program transformations from an example
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
Na Meng, Miryung Kim, Kathryn S. McKinley
104
Voted
TCAD
2010
102views more  TCAD 2010»
14 years 9 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
ICSE
2001
IEEE-ACM
15 years 7 months ago
Conceptual Modeling through Linguistic Analysis Using LIDA
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
Scott P. Overmyer, Benoit Lavoie, Owen Rambow
109
Voted
WWW
2004
ACM
16 years 3 months ago
An application server for the semantic web
The Semantic Web relies on the complex interaction of several technologies involving ontologies. Therefore, sophisticated Semantic Web applications typically comprise more than on...
Daniel Oberle, Steffen Staab, Raphael Volz
65
Voted
WSC
2000
15 years 3 months ago
SLX: the X is for extensibility
SLX, Simulation Language with Extensibility, is the newest member in Wolverine Software's family of simulation and animation software. SLX features unique extensibility mecha...
James O. Henriksen