1700 search results - page 49 / 340 » Specifying and implementing refactorings |
GPCE
2009
Springer
15 years 4 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
115
click to vote
ERLANG
2007
ACM
15 years 3 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
136
click to vote
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
113
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...