2748 search results - page 113 / 550 » Generating Object-Z Specifications from Use Cases |
AVI
2004
14 years 15 days ago
2004
Generative Programming (GP) is a new paradigm that allows automatic creation of entire software family, using the configuration of elementary and reusable components. GP can be pr...
ASPLOS
1991
ACM
14 years 2 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
ACL
1990
14 years 8 days ago
1990
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
SSIRI
2010
14 years 3 months ago
2010
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract-Multi-detect (N-detect) testing suffers from the drawback that its test length grows linearly with N. We present a new method to generate compact test sets that provide hi...