Search Sciweavers | Sciweavers

1326 search results - page 3 / 266

» Semantic Coherence in Software Engineering

click to vote

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

14 years 13 days ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

click to vote

ADAEUROPE
2008
Springer

69views Software Engineering» more ADAEUROPE 2008»

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

14 years 12 days ago

Download www.cse.psu.edu

Sri Hari Krishna Narayanan, Mahmut T. Kandemir

claim paper

Read More »

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

13 years 11 months ago

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

click to vote

KBSE
2000
IEEE

58views Software Engineering» more KBSE 2000»

Semantic Abstraction Rules for Class Diagrams

13 years 10 months ago

Download www.alexander-egyed.com

Alexander Egyed

claim paper

Read More »

click to vote

TAPSOFT
1997
Springer

139views Software Engineering» more TAPSOFT 1997»

Semantics of Architectural Connectors

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers