Search Sciweavers | Sciweavers

3706 search results - page 7 / 742

» The Transformational Approach to Program Development

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

13 years 7 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

14 years 27 days 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 »

click to vote

CW
2005
IEEE

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

An ARIS-based Transformation Approach to Semantic Web Service Development

13 years 9 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

14 years 2 months ago