6 search results - page 1 / 2 » From abstract qualities to concrete specification using guid... |
ATAL
2009
Springer
13 years 9 months ago
2009
Springer
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
ENTCS
2008
13 years 5 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
CSSE
2004
IEEE
13 years 4 months ago
2004
IEEE
Abstract. Semantic Web technologies will deeply influence the further development of the Internet Economy. A major challenge is, however, to find a practical solution for trust pro...
TC
1998
13 years 6 months ago
1998
Data integrity policies often require that quality and integrity metadata be generated and communicated to potential users. However, in data warehouses, federations, and other mul...