1481 search results - page 198 / 297 » Enriching the Software Development Process by Formal Methods |
156
click to vote
ASWSD
2004
Springer
15 years 9 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
155
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: In recent years, clustering algorithms have been effectively applied in molecular biology for gene expression data analysis. With the help of clustering algorithms suc...
157
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: External stimulations of cells by hormones, cytokines or growth factors activate signal transduction pathways that subsequently induce a re-arrangement of cellular gen...
131
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
148
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...