7139 search results - page 1012 / 1428 » Language Engineering in Practice |
195
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
208
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
187
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
179
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
168
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...