1700 search results - page 53 / 340 » Specifying and implementing refactorings |
109
click to vote
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
102
click to vote
IEEEIAS
2007
IEEE
15 years 6 months ago
2007
IEEE
: Achieving privacy preservation in a data-sharing computing environment is becoming a challenging problem. Some organisations may have published privacy policies, which promise pr...
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract. We seek to distinguish Strategic design decisions (e.g., to adopt a programming paradigm, architectural style, CBSE standard or application framework) from tactical desig...
112
click to vote
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Over 30 years ago, the preprocessor cpp was developed to extend the programming language C by lightweight metaprogramming capabilities. Despite its error-proneness and low ion lev...