1180 search results - page 162 / 236 » Total Functional Software Engineering - Overview Paper |
100
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
70
Voted
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
AUIC
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper a new method for the non-invasive adaptation of user interfaces is presented. The main idea is not to implement the user interface toolkit as an API, but instead as ...
116
click to vote
COMPSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...