1481 search results - page 130 / 297 » Enriching the Software Development Process by Formal Methods |
126
Voted
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a software defect prediction model using operating characteristic curves. The main idea behind our proposed technique is to use geometric insight in helping construct a...
155
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
105
Voted
XPU
2005
Springer
15 years 9 months ago
2005
Springer
Introducing Extreme Programming (XP) to an industrial software development team usually involves technical and professional aspects as well as social and organizational ones. The i...
145
Voted
ASWEC
2006
IEEE
15 years 9 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
130
Voted
CHIMIT
2009
ACM
15 years 10 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...