Search Sciweavers | Sciweavers

15777 search results - page 242 / 3156

» Engineering in Software

click to vote

SCAM
2008
IEEE

102views Software Engineering» more SCAM 2008»

Beyond Annotations: A Proposal for Extensible Java (XJ)

15 years 10 months ago

Download itcentre.tvu.ac.uk

Tony Clark, Paul Sammut, James S. Willans

claim paper

Read More »

117

click to vote

ADAEUROPE
2008
Springer

69views Software Engineering» more ADAEUROPE 2008»

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

15 years 10 months ago

Download www.cse.psu.edu

Sri Hari Krishna Narayanan, Mahmut T. Kandemir

claim paper

Read More »

102

click to vote

KBSE
2005
IEEE

116views Software Engineering» more KBSE 2005»

Compositional reasoning for port-based distributed systems

15 years 10 months ago

Download www.cs.uwaterloo.ca

Alma L. Juarez Dominguez, Nancy A. Day

claim paper

Read More »

114

click to vote

KBSE
2005
IEEE

88views Software Engineering» more KBSE 2005»

Test input generation for red-black trees using abstraction

15 years 10 months ago

Download www.fi.muni.cz

Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...

claim paper

Read More »

click to vote

IUI
2004
ACM

103views Software Engineering» more IUI 2004»

Improving automatic interface generation with smart templates

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers