Sciweavers

2682 search results - page 113 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
EMSOFT
2011
Springer
13 years 9 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
ISPW
1996
IEEE
15 years 2 months ago
Feedback, evolution and software technology
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
M. M. Lehman
CORR
2004
Springer
103views Education» more  CORR 2004»
14 years 9 months ago
Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
Pardha S. Pyla, Manuel A. Pérez-Quiñ...
SECON
2008
IEEE
15 years 4 months ago
Content Distribution in VANETs Using Network Coding: The Effect of Disk I/O and Processing O/H
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
Seung-Hoon Lee, Uichin Lee, Kang-Won Lee, Mario Ge...
BMCBI
2011
14 years 4 months ago
DecGPU: distributed error correction on massively parallel graphics processing units using CUDA and MPI
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
Yongchao Liu, Bertil Schmidt, Douglas L. Maskell