Search Sciweavers | Sciweavers

2700 search results - page 11 / 540

» The role of abstraction in software engineering

click to vote

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

15 years 4 months ago

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 4 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

click to vote

WADT
1999
Springer

90views Software Engineering» more WADT 1999»

Relating Abstract Datatypes and Z-Schemata

15 years 4 months ago

Download www.pst.informatik.uni-muenchen.de

Hubert Baumeister

claim paper

Read More »

Voted

AMAST
1998
Springer

94views Software Engineering» more AMAST 1998»

Abstract Algebraic Logic

15 years 3 months ago

Download www.renyi.hu

Don Pigozzi

claim paper

Read More »

click to vote

ESEC
1993
Springer

105views Software Engineering» more ESEC 1993»

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers