Search Sciweavers | Sciweavers

7329 search results - page 42 / 1466

» Software Architectural Transformation

153

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 29 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

148

click to vote

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

16 years 23 days ago

Download www.codeboost.org

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

123

click to vote

COMPSAC
2002
IEEE

81views Software Engineering» more COMPSAC 2002»

Transformation and Integration Method of Scenarios

16 years 14 days ago

Download www.cse.dmu.ac.uk

Atsushi Ohnishi, Hong Hui Zhang, Hiroshi Fujimoto

claim paper

Read More »

153

click to vote

WCRE
2000
IEEE

96views Software Engineering» more WCRE 2000»

Defining, Transforming, and Exchanging High-Level Schemas

15 years 12 months ago

Download plg.uwaterloo.ca

o distinct levels of abstraction:

Michael W. Godfrey

claim paper

Read More »

141

click to vote

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers