267 search results - page 9 / 54 » The Linux kernel as a case study in software evolution |
84
Voted
VMCAI
2009
Springer
15 years 4 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...
90
Voted
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
GCSE
2000
Springer
15 years 1 months ago
2000
Springer
Product instantiation is one of the less frequently studied activities in the domain of software product lines. In this paper, we present the results of a case study at Axis Commu...
ICSM
2003
IEEE
15 years 2 months ago
2003
IEEE
: The objective of this paper is to identify those factors, which are critical to the success of a maintenance operation in general and to apply them to a particular maintenance pr...
SEAA
2008
IEEE
15 years 4 months ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...