2853 search results - page 206 / 571 » A platform for software engineering research |
157
click to vote
CSSE
2008
IEEE
16 years 19 days ago
2008
IEEE
As a collaborative social tool in web2.0 ear, wiki has a great potential in supporting learners’ collaborative learning. After analyzing the present wiki research on learning ac...
130
click to vote
IUI
1993
ACM
15 years 10 months ago
1993
ACM
Researchers in the field of intelligent interfaces have concentrated on building architectures, and have placed little emphasis on defining appropriate models. As a result, this...
192
click to vote
PEPM
2012
ACM
14 years 1 months ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
188
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
179
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...