2935 search results - page 70 / 587 » An Integrated Approach to High Integrity Software Verificati... |
157
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
141
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
153
click to vote
PDP
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Execution of applications on upcoming highperformance computing (HPC) systems introduces a variety of new challenges and amplifies many existing ones. These systems will...
137
click to vote
ENTCS
2010
15 years 1 months ago
2010
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
171
click to vote
AGILEDC
2008
IEEE
15 years 10 months ago
2008
IEEE
A core principle of Agile development is to satisfy the customer by providing valuable software on an early and continuous basis. For a software application to be valuable it shou...