Search Sciweavers | Sciweavers

7329 search results - page 42 / 1466

» Software Architectural Transformation

127

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 11 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

125

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

15 years 11 months ago

Download www.codeboost.org

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

claim paper

Read More »

100

click to vote

COMPSAC
2002
IEEE

81views Software Engineering» more COMPSAC 2002»

Transformation and Integration Method of Scenarios

15 years 11 months ago

Download www.cse.dmu.ac.uk

Atsushi Ohnishi, Hong Hui Zhang, Hiroshi Fujimoto

claim paper

Read More »

130

click to vote

WCRE
2000
IEEE

96views Software Engineering» more WCRE 2000»

Defining, Transforming, and Exchanging High-Level Schemas

15 years 10 months ago

Download plg.uwaterloo.ca

o distinct levels of abstraction:

Michael W. Godfrey

claim paper

Read More »

113

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers