Sciweavers

291 search results - page 59 / 59
» Generating Unit Tests from Formal Proofs
Sort
View
ACTAC
1998
71views more  ACTAC 1998»
13 years 5 months ago
On the Information Content of Semi-Structured Databases
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...
Mark Levene