1199 search results - page 200 / 240 » Software Verification and Software Engineering a Practitione... |
158
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
285
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
193
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
148
click to vote
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
Several companies are careless about the accuracy of their user manuals and online help, leading readers to believe that a product has characteristics that it lacks. Under America...
142
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...