1700 search results - page 92 / 340 » Specifying and implementing refactorings |
136
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
133
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
124
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
143
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
161
click to vote
DALT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...