1005 search results - page 165 / 201 » Formal Software Development in MAYA |
105
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Evolutionary analysis provides a formal framework for comparative analysis of genomic and other data. In evolutionary analysis, observed data are treated as the termin...
SIGSOFT
2005
ACM
16 years 16 days ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
ICAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
FOAL
2009
ACM
15 years 6 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...