1487 search results - page 104 / 298 » On Validating Engineering Design Decision Support Tools |
134
Voted
SIGMOD
1997
ACM
15 years 8 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
133
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
144
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
178
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
134
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...