Sciweavers

1926 search results - page 252 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
DAGSTUHL
2007
15 years 5 months ago
An analytic solution to the alibi query in the bead model for moving object data
Abstract. Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When also speed limitations in these sample poin...
Bart Kuijpers, Walied Othman
APSEC
2009
IEEE
15 years 11 months ago
Assessing and Estimating Corrective, Enhancive, and Reductive Maintenance Tasks: A Controlled Experiment
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...
Vu Nguyen, Barry W. Boehm, Phongphan Danphitsanuph...
AICCSA
2006
IEEE
106views Hardware» more  AICCSA 2006»
15 years 10 months ago
Stable Analysis Patterns
Software analysis patterns are believed to play a major role in reducing the cost and condensing the time of software product lifecycles. However, analysis patterns have not reali...
Haitham S. Hamza, Mohamed E. Fayad
CLEIEJ
2010
15 years 1 months ago
Implementation of an Improvement Cycle using the Competisoft Methodological Framework and the Tutelkan Platform
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
Rodolfo Villarroel, Yessica Gómez, Roman Ga...
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 4 months ago
Spreadsheet modelling for solving combinatorial problems: The vendor selection problem
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
Pandelis G. Ipsilandis