Search Sciweavers | Sciweavers

2700 search results - page 31 / 540

» The role of abstraction in software engineering

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

14 years 1 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...

claim paper

Read More »

click to vote

ICFEM
2004
Springer

152views Software Engineering» more ICFEM 2004»

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

14 years 1 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

click to vote

COMPSAC
2009
IEEE

82views Software Engineering» more COMPSAC 2009»

Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine

14 years 1 months ago

Download www-adele.imag.fr

Jacky Estublier, Eric Simon

claim paper

Read More »

click to vote

ESEC
1997
Springer

70views Software Engineering» more ESEC 1997»

The Tale of Two Projects - Abstract

14 years 19 days ago

Download users.ece.utexas.edu

Dewayne E. Perry, Lawrence G. Votta

claim paper

Read More »

click to vote

TCAD
2010

111views more TCAD 2010»

Combining Control and Data Abstraction in the Verification of Hybrid Systems

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers