1481 search results - page 130 / 297 » Enriching the Software Development Process by Formal Methods |
164
click to vote
IRI
2007
IEEE
16 years 19 days 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...
199
click to vote
FMCAD
2008
Springer
15 years 8 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...
138
click to vote
XPU
2005
Springer
15 years 12 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...
184
click to vote
ASWEC
2006
IEEE
16 years 14 days 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...
166
click to vote
CHIMIT
2009
ACM
16 years 28 days 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...