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

15 years 2 months ago

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

Voted

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 2 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

15 years 1 months 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

15 years 1 months ago

Download www.mip.sdu.dk

Bent Bruun Kristensen

claim paper

Read More »

Voted

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers