Sciweavers

1134 search results - page 20 / 227
» Composing Tests from Examples
Sort
View
79
Voted
EWSA
2004
Springer
15 years 4 months ago
Distilling Scenarios from Patterns for Software Architecture Evaluation - A Position Paper
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
Liming Zhu, Muhammad Ali Babar, D. Ross Jeffery
ICSE
2003
IEEE-ACM
15 years 11 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan
62
Voted
ZUM
1995
Springer
15 years 2 months ago
Testing as Abstraction
as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...
Susan Stepney
80
Voted
ICML
2004
IEEE
15 years 11 months ago
Learning first-order rules from data with multiple parts: applications on mining chemical compound data
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
Cholwich Nattee, Sukree Sinthupinyo, Masayuki Numa...
95
Voted
ICADL
2004
Springer
162views Education» more  ICADL 2004»
15 years 4 months ago
Character Region Identification from Cover Images Using DTT
A robust character region identification approach is proposed here to deal with cover images using a differential top-hat transformation (DTT). The DTT is derived from morphologica...
Lixu Gu