1146 search results - page 21 / 230 » Formal Specification Generation from Requirement Documents |
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Consumer health information written by health care professionals is often inaccessible to the consumers it is written for. Traditional readability formulas examine syntactic featu...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
ENTCS
2008
14 years 9 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
DNIS
2007
Springer
15 years 3 months ago
2007
Springer
The use of XML has become pervasive. It is used in a range of data storage and data exchange applications. In many cases such XML data is captured from users via forms or transform...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...