2030 search results - page 179 / 406 » Checklists for Software Engineering Case Study Research |
149
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
135
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
115
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
133
Voted
CSMR
2002
IEEE
15 years 7 months ago
2002
IEEE
With the growing popularity of the Java programming language for both client and server side applications in network-centric computing, there is a rising need for programming libr...
132
Voted
USS
2008
15 years 4 months ago
2008
We examine the security requirements for creating a Deniable File System (DFS), and the efficacy with which the TrueCrypt disk-encryption software meets those requirements. We fin...