Sciweavers

1326 search results - page 3 / 266
» Semantic Coherence in Software Engineering
Sort
View
71
Voted
SCAM
2008
IEEE
15 years 8 months ago
The Semantics of Abstract Program Slicing
Damiano Zanardini
91
Voted
ADAEUROPE
2008
Springer
15 years 8 months ago
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
Sri Hari Krishna Narayanan, Mahmut T. Kandemir
106
Voted
EWSPT
2003
Springer
15 years 7 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
TAPSOFT
1997
Springer
15 years 6 months ago
Semantics of Architectural Connectors
José Luiz Fiadeiro, Antónia Lopes