148 search results - page 2 / 30 » A Logical Framework for Monitoring and Evolving Software Com... |
158
click to vote
RULEML
2005
Springer
15 years 11 months 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...
153
click to vote
ICFEM
2004
Springer
15 years 11 months 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...
170
click to vote
EEE
2005
IEEE
15 years 11 months 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...
154
click to vote
ISSTA
1989
ACM
15 years 10 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 ‘‘...
300
Voted
ICFP
2009
ACM
16 years 6 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...