9 search results - page 1 / 2 » Goal-Oriented and Modular Stability Analysis |
SIAMMAX
2011
13 years 6 days ago
2011
We introduce a methodology for obtaining inventories of error results for families of numerical dense linear algebra algorithms. The approach for deriving the analyses is goal-orie...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Software product lines (SPLs) enable modular, large-scale reuse through a software architecture addressing multiple core and varying features. To reap the benefits of SPLs, their ...
CSMR
2009
IEEE
14 years 1 days ago
2009
IEEE
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...