3147 search results - page 9 / 630 » Open-Source Model Checking |
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
Can engaging students in free and open source software (FOSS) pique their interest in computer science? This paper describes an introductory computer science course that introduce...
ICSM
2000
IEEE
13 years 12 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...
FECS
2007
13 years 9 months ago
2007
In this paper we present an innovative prototype Open Source Teaching/Learning Collaboratory created at UC Merced that will provide the foundation for offering the vast majority of...
SEKE
2010
Springer
13 years 5 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
LREC
2008
13 years 9 months ago
2008
Basque is a highly inflected and agglutinative language (Alegria et al., 1996). Two-level morphology has been applied successfully to this kind of languages and there are two-leve...