6800 search results - page 131 / 1360 » Testing with Functions as Specifications |
128
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
144
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Using microarray and sequencing platforms, a large number of copy number variations (CNVs) have been identified in humans. In practice, because our human genome is a d...
124
Voted
KI
2006
Springer
15 years 2 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
115
Voted
IWAN
1999
Springer
15 years 7 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
145
Voted
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...