148 search results - page 2 / 30 » A Logical Framework for Monitoring and Evolving Software Com... |
RULEML
2005
Springer
14 years 25 days ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
ICFEM
2004
Springer
14 years 22 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
EEE
2005
IEEE
14 years 29 days ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
ISSTA
1989
ACM
13 years 11 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...