Search Sciweavers | Sciweavers

2700 search results - page 29 / 540

» The role of abstraction in software engineering

click to vote

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

14 years 2 months ago

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

click to vote

FSEN
2007
Springer

90views Software Engineering» more FSEN 2007»

Type Abstractions of Name-Passing Processes

14 years 2 months ago

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

click to vote

FSEN
2007
Springer

91views Software Engineering» more FSEN 2007»

Slicing Abstractions

14 years 2 months ago

Download react.cs.uni-sb.de

Ingo Brückner, Klaus Dräger, Bernd Finkb...

claim paper

Read More »

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

14 years 2 months ago

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers