15783 search results - page 600 / 3157 » Evidence-Based Software Engineering |
225
click to vote
IFIP12
2009
15 years 5 months ago
2009
: Component-based software development has matured into standard practice in software engineering. Among the advantages of reusing software modules are lower costs, faster developm...
206
click to vote
FIW
2009
15 years 5 months ago
2009
The security of software applications is an important domain, and one that mixes formalisms (e.g. when dealing with cryptography and security protocols) with very ad hoc, low level...
159
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...
181
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
204
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...