1601 search results - page 67 / 321 » The affordable application of formal methods to software eng... |
APSEC
2001
IEEE
14 years 22 days ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...