Sciweavers

4166 search results - page 141 / 834
» Automating the constraining process
Sort
View
CADE
2004
Springer
15 years 10 months ago
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
Bernd Fischer 0002, Ewen Denney, Johann Schumann
SIGCSE
2005
ACM
147views Education» more  SIGCSE 2005»
15 years 3 months ago
Automated tutoring for a database skills training environment
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
Claire Kenny, Claus Pahl
MKWI
2008
147views Business» more  MKWI 2008»
14 years 11 months ago
Process-oriented Test Automation of Configurable Business Solutions
: Along with rapidly changing market requirements for service-oriented business software new challenges for quality management, quality assurance, and testing arise. Customers must...
Benjamin Blau, Hong Tuan Kiet Vo
HCI
2009
14 years 8 months ago
Mobile Phone Usability Questionnaire (MPUQ) and Automated Usability Evaluation
The mobile phone has become one of the most popular products amongst today's consumers. The Mobile Phone Usability Questionnaire (MPUQ) was developed to provide an effective s...
Young Sam Ryu
ICSEA
2009
IEEE
15 years 4 months ago
Virtualization Techniques for Cross Platform Automated Software Builds, Tests and Deployment
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
Thomas Müller, Alois Knoll