Sciweavers

5668 search results - page 63 / 1134
» Overlaps in Requirements Engineering
Sort
View
ICFEM
2003
Springer
14 years 3 months ago
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
ICS
2009
Tsinghua U.
14 years 4 months ago
MPI-aware compiler optimizations for improving communication-computation overlap
Several existing compiler transformations can help improve communication-computation overlap in MPI applications. However, traditional compilers treat calls to the MPI library as ...
Anthony Danalis, Lori L. Pollock, D. Martin Swany,...
DDEP
2000
Springer
14 years 2 months ago
GODDAG: A Data Structure for Overlapping Hierarchies
Abstract. Notations like SGML and XML represent document structures using tree structures; while this is in general a step forward from earlier systems, it creates certain difficul...
C. M. Sperberg-McQueen, Claus Huitfeldt
ISSTA
2006
ACM
14 years 4 months ago
Integrating customized test requirements with traditional requirements in web application testing
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lor...
ICFP
2010
ACM
13 years 11 months ago
Instance chains: type class programming without overlapping instances
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
J. Garrett Morris, Mark P. Jones