Sciweavers

432 search results - page 87 / 87
» A Meta-Model for the Analysis and Design of Organizations in...
Sort
View
EMSOFT
2011
Springer
12 years 6 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
BMCBI
2006
122views more  BMCBI 2006»
13 years 6 months ago
PET-Tool: a software suite for comprehensive processing and managing of Paired-End diTag (PET) sequence data
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
Kuo Ping Chiu, Chee-Hong Wong, Qiongyu Chen, Prami...