Search Sciweavers | Sciweavers

1799 search results - page 6 / 360

» The Logic of Correctness in Software Engineering

click to vote

COMPSAC
2008
IEEE

103views Software Engineering» more COMPSAC 2008»

On the Use of Fuzzy Logic in a Seller Bargaining Game

14 years 1 months ago

Download cgi.di.uoa.gr

Kostas Kolomvatsos, Christos Anagnostopoulos, Stat...

claim paper

Read More »

click to vote

KBSE
2008
IEEE

81views Software Engineering» more KBSE 2008»

Error Reporting Logic

14 years 1 months ago

Download www.cs.cmu.edu

Ciera Jaspan, Trisha Quan, Jonathan Aldrich

claim paper

Read More »

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

14 years 1 months ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

14 years 29 days ago

Download users.encs.concordia.ca

Patrice Chalin

claim paper

Read More »

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers