631 search results - page 3 / 127 » Deriving Specifications from Requirements: An Example |
JIB
2007
13 years 5 months ago
2007
In this paper we present how the process modeling and execution tools iPM and iPE can be used to model and execute biological processes. The main focus of this paper is on the fle...
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
WER
2001
Springer
13 years 10 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
BMCBI
2010
13 years 5 months ago
2010
Background: We propose a method for deriving enzymatic signatures from short read metagenomic data of unknown species. The short read data are converted to six pseudo-peptide cand...
RE
2001
Springer
13 years 10 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...