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

15 years 6 months ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

Voted

ADAEUROPE
2008
Springer

69views Software Engineering» more ADAEUROPE 2008»

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

15 years 6 months 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

15 years 4 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

15 years 4 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers