Sciweavers

1799 search results - page 16 / 360

» The Logic of Correctness in Software Engineering

127

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

16 years 12 days ago

Completeness of Pointer Program Verification by Separation Logic

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

123

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 11 months ago

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

147

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

15 years 9 months ago

Specialization of Lazy Functional Logic Programs

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Pascual Ju...

claim paper

Read More »

147

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

15 years 21 days ago

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

181

IWPSE
2003
IEEE

158views Software Engineering» more IWPSE 2003»

CVS Release History Data for Detecting Logical Couplings

15 years 11 months ago

CVS Release History Data for Detecting Logical Couplings

Download seal.ifi.uzh.ch

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

claim paper

Read More »

« Prev « First page 16 / 360 Last » Next »