410 search results - page 80 / 82 » Tool Support for Invariant Based Programming |
ER
1995
Springer
13 years 11 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
BMCBI
2006
13 years 7 months ago
2006
Background: In the fly Drosophila melanogaster, new genetic, physiological, molecular and behavioral techniques for the functional analysis of the brain are rapidly accumulating. ...
BMCBI
2010
13 years 7 months ago
2010
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...
CONCURRENCY
1998
13 years 7 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
ICIW
2008
IEEE
14 years 1 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...