1104 search results - page 73 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
BMCBI
2008
13 years 9 months ago
2008
Background: In cancer research, most clinical variables have already been investigated and are now well established. The use of transcriptomic variables has raised two problems: r...
EWSA
2004
Springer
14 years 2 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
BMCBI
2006
13 years 9 months ago
2006
Background: Array-based comparative genome hybridization (aCGH) is a tool for rapid comparison of genomes from different bacterial strains. The purpose of such analysis is to dete...