2969 search results - page 337 / 594 » The Case for User-Centered CASE Tools |
186
click to vote
INFSOF
2007
15 years 6 months ago
2007
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
156
click to vote
JNCA
2007
15 years 6 months ago
2007
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
181
click to vote
COMSIS
2004
15 years 6 months ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
152
click to vote
COMCOM
2000
15 years 6 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
143
click to vote
COMBINATORICS
2002
15 years 6 months ago
2002
Several authors have examined connections between permutations which avoid 132, continued fractions, and Chebyshev polynomials of the second kind. In this paper we prove analogues...