1522 search results - page 63 / 305 » Practical Exception Specifications |
CACM
2000
15 years 1 months ago
2000
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...
119
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
CAISE
1997
Springer
15 years 5 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
129
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
100
click to vote
ENTCS
2008
15 years 1 months ago
2008
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...