Search Sciweavers | Sciweavers

3706 search results - page 7 / 742

» The Transformational Approach to Program Development

105

INFORMATICALT
2007

127views more INFORMATICALT 2007»

Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo

14 years 11 months ago

Download www.mii.lt

The paper presents, ﬁrst, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...

Vytautas Cyras

claim paper

Read More »

click to vote

SAC
2003
ACM

131views Applied Computing» more SAC 2003»

Validation of Code-Improving Transformations for Embedded Systems

15 years 5 months ago

Download www.cs.fsu.edu

Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...

Robert van Engelen, David B. Whalley, Xin Yuan

claim paper

Read More »

101

click to vote

CW
2005
IEEE

112views Distributed And Parallel Com...» more CW 2005»

An ARIS-based Transformation Approach to Semantic Web Service Development

15 years 1 months ago

Download www3.ntu.edu.sg

This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...

Cheng Leong Ang, Yuan Gu, Olga Sourina, Robert Khe...

claim paper

Read More »

click to vote

SAC
2009
ACM

62views Applied Computing» more SAC 2009»

Towards a compositional approach to model transformation for software development

15 years 6 months ago