6 search results - page 1 / 2 » From abstract qualities to concrete specification using guid... |
63
Voted
ATAL
2009
Springer
15 years 2 months ago
2009
Springer
CAISE
2006
Springer
15 years 2 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
14 years 10 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...
115
click to vote
CSSE
2004
IEEE
14 years 10 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
14 years 12 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...