237 search results - page 7 / 48 » Ensuring Correctness at the Application Level: a Software Fr... |
SPIN
2007
Springer
14 years 24 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
SIGADA
2005
Springer
14 years 5 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
COMPSAC
2006
IEEE
14 years 23 days ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
GI
2005
Springer
14 years 7 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...