Sciweavers

11089 search results - page 28 / 2218
» Developing software families
Sort
View
ISSRE
2002
IEEE
15 years 3 months ago
Fault Contribution Trees for Product Families
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
Dingding Lu, Robyn R. Lutz
ICRE
1998
IEEE
15 years 2 months ago
Safety Analysis of Requirements for a Product Family
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman,...
ISMB
2004
14 years 11 months ago
Exploiting conserved structure for faster annotation of non-coding RNAs without loss of accuracy
Motivation: Non-coding RNAs (ncRNAs)--functional RNA molecules not coding for proteins--are grouped into hundreds of families of homologs. To find new members of an ncRNA gene fam...
Zasha Weinberg, Walter L. Ruzzo
ICFEM
2000
Springer
15 years 1 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
SIGSOFT
2007
ACM
15 years 10 months ago
Contract driven development = test driven development - writing test cases
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...