2700 search results - page 55 / 540 » The role of abstraction in software engineering |
155
click to vote
ENTCS
2010
15 years 3 months ago
2010
nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St
106
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
162
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
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...
142
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
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 ...
166
click to vote
VMCAI
2009
Springer
16 years 27 days ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...