4476 search results - page 689 / 896 » A flexible framework for engineering |
157
click to vote
QSIC
2005
IEEE
16 years 3 days ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
166
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
172
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
165
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
181
click to vote
IUI
2005
ACM
16 years 2 days ago
2005
ACM
Within the framework of the project NICE (Natural Interactive Communication for Edutainment) [2], we have been developing an educational and entertaining computer game that allows...