Sciweavers

2700 search results - page 55 / 540
» The role of abstraction in software engineering
Sort
View
ENTCS
2010
98views more  ENTCS 2010»
15 years 3 months ago
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
Eric Goubault, Stéphane Le Roux, Jeremy Lec...
EMSOFT
2003
Springer
15 years 11 months ago
Eliminating Stack Overflow by Abstract Interpretation
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
John Regehr, Alastair Reid, Kirk Webb
ICSE
2008
IEEE-ACM
16 years 7 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
COMPSAC
2003
IEEE
15 years 11 months ago
A Role-Based Metamodeling Approach to Specifying Design Patterns
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eun...
VMCAI
2009
Springer
16 years 27 days ago
Shape-Value Abstraction for Verifying Linearizability
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
Viktor Vafeiadis