Sciweavers

1799 search results - page 16 / 360
» The Logic of Correctness in Software Engineering
Sort
View
SEFM
2009
IEEE
14 years 2 months ago
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...
VSTTE
2005
Springer
14 years 27 days ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...
PEPM
1997
ACM
13 years 11 months ago
Specialization of Lazy Functional Logic Programs
María Alpuente, Moreno Falaschi, Pascual Ju...
AMAST
2010
Springer
13 years 2 months ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
IWPSE
2003
IEEE
14 years 21 days ago
CVS Release History Data for Detecting Logical Couplings
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
Harald Gall, Mehdi Jazayeri, Jacek Krajewski