Search Sciweavers | Sciweavers

15974 search results - page 431 / 3195

» Object-Oriented Software Engineering

156

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 10 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

108

click to vote

AOSD
2007
ACM

92views Software Engineering» more AOSD 2007»

A graph-based approach to modeling and detecting composition conflicts related to introductions

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Wilke Havinga, István Nagy, Lodewijk Bergma...

claim paper

Read More »

116

click to vote

AOSD
2007
ACM

96views Software Engineering» more AOSD 2007»

cJ: enhancing java with safe type conditions

15 years 10 months ago

Download www.cs.umass.edu

Shan Shan Huang, David Zook, Yannis Smaragdakis

claim paper

Read More »

112

click to vote

ICSE
2010
IEEE-ACM

134views Software Engineering» more ICSE 2010»

Has the bug really been fixed?

15 years 10 months ago

Download www.cs.ucdavis.edu

Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhe...

claim paper

Read More »

119

Voted

CGO
2007
IEEE

116views Software Engineering» more CGO 2007»

A Dimension Abstraction Approach to Vectorization in Matlab

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers