Sciweavers

1689 search results - page 151 / 338
» Empirical Methodologies in Software Engineering
Sort
View
AUTONOMICS
2008
ACM
15 years 3 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
CSEE
2008
Springer
15 years 3 months ago
A Case Study in Software Product: Lines An Educational Experience
In order to attend the industry needs, it is necessary to provide more practical issues of real software development in the academic curricula. This paper describes an educational...
Liana Barachisio Lisboa, Leandro Marques Nasciment...
COMPSAC
2008
IEEE
15 years 8 months ago
Managing Libre Software Distributions under a Product Line Approach
Software product lines have already proven to be a successful methodology for building and maintaining a collection of similar software products, based on a common architecture. H...
Israel Herraiz, Gregorio Robles, Rafael Capilla, J...
CATA
2003
15 years 3 months ago
Stratified Programming: Towards a New Paradigm for Software Development
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
Adrian Pasculescu, Sergiu Dascalu
KBSE
1999
IEEE
15 years 6 months ago
Automatic Software Clustering via Latent Semantic Analysis
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
Jonathan I. Maletic, Naveen Valluri