Sciweavers

50 search results - page 2 / 10
» Systematic editing: generating program transformations from ...
Sort
View
ECOOP
2000
Springer
13 years 9 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link
POPL
2010
ACM
14 years 2 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
EPK
2004
186views Management» more  EPK 2004»
13 years 6 months ago
EPML2SVG - Generating Websites from EPML Processes
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...
Jan Mendling, Alberto Brabenetz, Gustaf Neumann
BMCBI
2006
199views more  BMCBI 2006»
13 years 4 months ago
PageMan: An interactive ontology tool to generate, display, and annotate overview graphs for profiling experiments
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...
Björn Usadel, Axel Nagel, Dirk Steinhauser, Y...
EHCI
2004
13 years 6 months ago
Finding Iteration Patterns in Dynamic Web Page Authoring
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
José A. Macías, Pablo Castells