1101 search results - page 212 / 221 » Barbed Model-Driven Software Development: A Case Study |
CBMS
2004
IEEE
15 years 1 months ago
2004
IEEE
Coronary angiography has become an important tool in modern medicine by providing an additional modality for heart disease diagnostics. Even though the recorded images (or image s...
JUCS
2008
14 years 9 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
JSS
2007
14 years 9 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
BMCBI
2008
14 years 9 months ago
2008
Background: In real-time quantitative PCR studies using absolute plasmid DNA standards, a calibration curve is developed to estimate an unknown DNA concentration. However, potenti...
87
Voted
POPL
2010
ACM
15 years 2 days ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...