Sciweavers

86 search results - page 6 / 18
» Doing Software Development: Occasions for Automation and For...
Sort
View
ISSTA
2006
ACM
14 years 1 months ago
APTE: automated pointcut testing for AspectJ programs
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
Prasanth Anbalagan, Tao Xie
FASE
2011
Springer
12 years 11 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
ASWEC
2007
IEEE
14 years 1 months ago
Improving Usability of Software Refactoring Tools
Post-deployment maintenance and evolution can account for up to 75% of the cost of developing a software system. Software refactoring can reduce the costs associated with evolutio...
Erica Mealy, David A. Carrington, Paul A. Strooper...
IUI
2005
ACM
14 years 1 months ago
Automated email activity management: an unsupervised learning approach
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
Nicholas Kushmerick, Tessa A. Lau
ASWEC
2006
IEEE
14 years 1 months ago
Evaluating software refactoring tool support
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
Erica Mealy, Paul A. Strooper