3040 search results - page 223 / 608 » Synergetic Tool Environments |
186
click to vote
HASKELL
2006
ACM
16 years 16 days ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
163
click to vote
ICSM
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents the Xrefactory project. Xrefactory is a plugin to editors and Integrated Development Environments (IDE) providing a variety of source understanding and refacto...
204
click to vote
RISE
2005
Springer
16 years 2 days ago
2005
Springer
Most of the contemporary projects require balance between agility and discipline. In the paper a software development and project management methodology called XPrince (eXtreme PRo...
208
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
143
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper reports the development of the Concerto platform, which is dedicated to supporting the deployment of parallel adaptive components on clusters of workstations. The curre...