156 search results - page 1 / 32 » Linux as a Case Study: Its Extracted Software Architecture |
ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
JSS
2007
13 years 4 months ago
2007
Common coupling (sharing global variables across modules) is widely accepted as a measure of software quality and maintainability; a low level of common coupling is necessary (but...
ICSM
2000
IEEE
13 years 9 months ago
2000
IEEE
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
IWPC
2002
IEEE
13 years 9 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...