1782 search results - page 227 / 357 » Tool Support for Proof Engineering |
EICS
2009
ACM
14 years 1 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
AMOST
2007
ACM
14 years 29 days ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Determining candidates' views on important issues is critical in deciding whom to support and vote for; but finding their statements and votes on an issue can be laborious. I...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
ECOWS
2007
Springer
14 years 3 months ago
2007
Springer
Several works have addressed the management of individual Web Services. However, the specific management requirements of workflow-based web service compositions such as those speci...