1700 search results - page 320 / 340 » Specifying and implementing refactorings |
109
click to vote
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
122
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
118
click to vote
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
FASE
2006
Springer
15 years 3 months ago
2006
Springer
Modern software codebases are frequently large, heterogeneous, and constantly evolving. The languages and tools for software construction, including code builds and configuration m...