Search Sciweavers | Sciweavers

1326 search results - page 3 / 266

» Semantic Coherence in Software Engineering

Voted

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

109

Voted

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 »

140

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

15 years 9 months ago

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

Voted

KBSE
2000
IEEE

58views Software Engineering» more KBSE 2000»

Semantic Abstraction Rules for Class Diagrams

15 years 8 months ago

Download www.alexander-egyed.com

Alexander Egyed

claim paper

Read More »

116

Voted

TAPSOFT
1997
Springer

139views Software Engineering» more TAPSOFT 1997»

Semantics of Architectural Connectors

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers