128 search results - page 12 / 26 » icse 2007 |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
It is difficult to fully assess the quality of software inhouse, outside the actual time and context in which it will execute after deployment. As a result, it is common for softw...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Socio-technical processes have come to the forefront of recent analysis of the open source software development (OSSD) world. Interest in making these processes explicit is mounti...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
ICSE
2007
IEEE-ACM
14 years 7 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...