1823 search results - page 1 / 365 » Formal specification: a roadmap |
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
ITCC
2005
IEEE
13 years 11 months ago
2005
IEEE
Reliable delivery of messages is now a key component of the Web Services roadmap, with two promising, and competing, specifications in this area viz. WS-Reliability (WSR) from OAS...
EKAW
2000
Springer
13 years 9 months ago
2000
Springer
IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
Abstract. Finding paths in high-dimensional gemetric spaces is a provably hard problem. Recently, a general randomized planning scheme has emerged as an e ective approach to solve ...
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from ...