Search Sciweavers | Sciweavers

2700 search results - page 7 / 540

» The role of abstraction in software engineering

click to vote

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

14 years 1 months ago

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

14 years 1 months ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

click to vote

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

14 years 25 days ago

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

click to vote

ISOTAS
1993

115views Software Engineering» more ISOTAS 1993»

Transverse Activities: Abstractions in Object-Oriented Programming

14 years 15 days ago

Download www.mip.sdu.dk

Bent Bruun Kristensen

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

14 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers