Sciweavers

2253 search results - page 98 / 451
» An Approach to Specifying Software Frameworks
Sort
View
122
Voted
APBC
2004
124views Bioinformatics» more  APBC 2004»
15 years 5 months ago
BRINet: A BioResource Integration Network
Addressing queries interactively to a chain of two or more biological resources is an everyday task for many scientists, as they use in-silico methods to characterize a biological...
Jason E. Sew Hoy, Alan F. McCulloch, John R. McDon...
156
Voted
WISE
2006
Springer
15 years 9 months ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
127
Voted
FTCS
1998
79views more  FTCS 1998»
15 years 5 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
118
Voted
CSUR
2000
141views more  CSUR 2000»
15 years 3 months ago
On built-in test reuse in object-oriented framework design
: Object-oriented frameworks have extended reusability of software from code modules to architectural and domain information. This paper further extends software reusability from c...
Yingxu Wang, Dilip Patel, Graham King, Ian Court, ...
136
Voted
WER
2005
Springer
15 years 9 months ago
Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition
How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In t...
Zlatko Zlatev, Maya Daneva, Roel Wieringa