13099 search results - page 256 / 2620 » Cooperative method development |
151
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
123
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
154
click to vote
FMOODS
2007
15 years 7 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
155
click to vote
IADIS
2003
15 years 7 months ago
2003
Adaptive Hypermedia Systems represent a great potential for e-learning; nevertheless instructors and designers find it difficult to develop adaptive application within their frame...
162
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
This paper outlines the main approach and the general design of the plagiarism detection prototype application we have developed to take part in the 2nd International Plagiarism De...