1101 search results - page 209 / 221 » Barbed Model-Driven Software Development: A Case Study |
TSE
2010
14 years 8 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
A key feature of relational database applications is managing plural relationships—one-to-many and many-to-many— between entities. However, since it is often infeasible to ado...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
AOSD
2003
ACM
15 years 2 months ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
107
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Cross-platform analysis of gene express data requires multiple, intricate processes at different layers with various platforms. However, existing tools handle only a s...