3706 search results - page 327 / 742 » The Transformational Approach to Program Development |
175
click to vote
COLCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
136
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
113
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
128
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
This paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved t...
122
click to vote
IH
2005
Springer
15 years 9 months ago
2005
Springer
We describe a dynamic software watermark embedded in the memory trace of an executing Java program. Our approach is a generalisation of the spread–transform watermarking techniqu...