Sciweavers

4438 search results - page 51 / 888
» The Case for Collaborative Programming
Sort
View
WETICE
2008
IEEE
15 years 6 months ago
Federated Collaborations with Exertions
This paper describes a service-oriented P2P architecture and related federated metaprogramming model to support development of highly scalable and reliable distributed collaborati...
Michael W. Sobolewski
POPL
2008
ACM
16 years 4 days ago
Formal verification of translation validators: a case study on instruction scheduling optimizations
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
Jean-Baptiste Tristan, Xavier Leroy
GPCE
2003
Springer
15 years 5 months ago
Making Patterns Explicit with Metaprogramming
Abstract. Design patterns have been a useful tool for a better understanding of the collaboration between several classes and objects in a program. One drawback of this approach is...
Daniel von Dincklage
ICWE
2010
Springer
14 years 10 months ago
Syncro - Concurrent Editing Library for Google Wave
Abstract. The web accelerated the way people collaborate globally distributed. With Google Wave, a rich and extensible real-time collaboration platform is becoming available to a l...
Michael Goderbauer, Markus Goetz, Alexander Gro&sz...
JUCS
2008
182views more  JUCS 2008»
14 years 11 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger