Sciweavers

4708 search results - page 368 / 942
» Generating the Structure of Argument
Sort
View
JFP
2002
100views more  JFP 2002»
15 years 6 months ago
A typed representation for HTML and XML documents in Haskell
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
Peter Thiemann
ACL
2009
15 years 4 months ago
Mining User Reviews: from Specification to Summarization
This paper proposes a method to extract product features from user reviews and generate a review summary. This method only relies on product specifications, which usually are easy...
Xinfan Meng, Houfeng Wang
ICSE
2009
IEEE-ACM
15 years 4 months ago
Model Based Functional Testing Using Pattern Directed Filmstrips
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Tony Clark
SIGSOFT
2008
ACM
16 years 7 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde
ICFP
2007
ACM
16 years 6 months ago
Relating complexity and precision in control flow analysis
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
David Van Horn, Harry G. Mairson