615 search results - page 58 / 123 » Research in software engineering: an analysis of the literat... |
ICSE
2000
IEEE-ACM
14 years 10 days ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
ICHIT
2009
Springer
14 years 3 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
WER
2007
Springer
14 years 2 months ago
2007
Springer
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
VMCAI
2009
Springer
14 years 3 months 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...