3948 search results - page 415 / 790 » Integration Workbench: Integrating Schema Integration Tools |
179
click to vote
ICSE
2007
IEEE-ACM
16 years 6 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...
223
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Models become increasingly important for software development processes. Though there is a multitude of software modeling tools available, the handling of diagrams is still diffic...
186
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
152
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Within the field of software security we have yet to find efficient ways on how to learn from past mistakes and integrate security as a natural part of software development. Th...
188
click to vote
ICSEA
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...