Sciweavers

1326 search results - page 3 / 266
» Semantic Coherence in Software Engineering
Sort
View
91
Voted
SCAM
2008
IEEE
15 years 10 months ago
The Semantics of Abstract Program Slicing
Damiano Zanardini
143
Voted
EWSPT
2003
Springer
15 years 9 months ago
Flexible Static Semantic Checking Using First-Order Logic
Shimon Rura, Barbara Staudt Lerner
TAPSOFT
1997
Springer
15 years 8 months ago
Semantics of Architectural Connectors
José Luiz Fiadeiro, Antónia Lopes