1700 search results - page 92 / 340 » Specifying and implementing refactorings |
165
click to vote
VMCAI
2010
Springer
16 years 4 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...
165
click to vote
FORMATS
2009
Springer
16 years 1 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...
167
click to vote
DSN
2007
IEEE
16 years 1 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...
183
click to vote
IEEEARES
2007
IEEE
16 years 1 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...
200
click to vote
DALT
2007
Springer
16 years 26 days 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...