172 search results - page 35 / 35 » Specification and Verification of Web Applications in Rewrit... |
ICSE
2003
IEEE-ACM
14 years 2 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
IEEESCC
2007
IEEE
14 years 1 months ago
2007
IEEE
A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more other...