1522 search results - page 30 / 305 » Practical Exception Specifications |
ANLP
1994
15 years 2 months ago
1994
PLANDoc, a system under joint development by Columbia and Bellcore, documents the activity of planning engineers as they study telephone routes. It takes as input a trace of the e...
112
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and type...
101
click to vote
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
190
click to vote
B
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...