Sciweavers

1445 search results - page 248 / 289
» Tool Integration in Software Engineering Environments
Sort
View
CRIWG
2004
13 years 10 months ago
A Tailorable Collaborative Learning System That Combines OGSA Grid Services and IMS-LD Scripting
This paper presents Gridcole, a new collaborative learning system that can be easily tailored by educators in order to support their own CSCL scenarios, using computing services pr...
Miguel L. Bote-Lorenzo, Luis M. Vaquero-Gonz&aacut...
SIGSOFT
2007
ACM
14 years 9 months ago
Does a programmer's activity indicate knowledge of code?
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
Thomas Fritz, Gail C. Murphy, Emily Hill
PPPJ
2003
ACM
14 years 2 months ago
Efficient Java thread serialization
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
Sara Bouchenak, Daniel Hagimont, Noel De Palma
PLDI
2011
ACM
12 years 11 months ago
Separation logic + superposition calculus = heap theorem prover
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
Juan Antonio Navarro Pérez, Andrey Rybalche...
WETICE
1998
IEEE
14 years 1 months ago
Workgroup Middleware for Distributed Projects*
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
Gail E. Kaiser, Stephen E. Dossick