1700 search results - page 40 / 340 » Specifying and implementing refactorings |
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
104
click to vote
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...
ESTIMEDIA
2003
Springer
15 years 5 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...