Search Sciweavers | Sciweavers

1799 search results - page 8 / 360

» The Logic of Correctness in Software Engineering

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

14 years 9 days ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

click to vote

ADAEUROPE
2001
Springer

85views Software Engineering» more ADAEUROPE 2001»

Logic versus Magic in Critical Systems

13 years 12 months ago

Download www.sparkada.com

Peter Amey

claim paper

Read More »

click to vote

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

13 years 12 months ago

Download www-emsoft02.imag.fr

Bran Selic

claim paper

Read More »

click to vote

TACS
2001
Springer

99views Software Engineering» more TACS 2001»

Nominal Logic: A First Order Theory of Names and Binding

13 years 11 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

click to vote

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers