Search Sciweavers | Sciweavers

15860 search results - page 318 / 3172

» On agent-based software engineering

101

Voted

SCAM
2009
IEEE

152views Software Engineering» more SCAM 2009»

Towards Comparing and Combining Points-to Analyses

15 years 11 months ago

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...

claim paper

Read More »

120

Voted

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 11 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

100

click to vote

ICSM
2009
IEEE

166views Software Engineering» more ICSM 2009»

Abstracting the template instantiation relation in C++

15 years 11 months ago

Download www.cs.kent.edu

Andrew Sutton, Ryan Holeman, Jonathan I. Maletic

claim paper

Read More »

116

click to vote

ICSM
2009
IEEE

147views Software Engineering» more ICSM 2009»

Criteria for the evaluation of implemented architectures

15 years 11 months ago

Download homepages.cwi.nl

Eric Bouwers, Joost Visser, Arie van Deursen

claim paper

Read More »

click to vote

ICSM
2009
IEEE

154views Software Engineering» more ICSM 2009»

Interactive views for analyzing problem reports

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers