Search Sciweavers | Sciweavers

15784 search results - page 319 / 3157

» Mega Software Engineering

147

click to vote

IWPC
2008
IEEE

91views Software Engineering» more IWPC 2008»

Aspect Mining in Procedural Object Oriented Code

16 years 1 months ago

Download scg.unibe.ch

Muhammad Usman Bhatti, Stéphane Ducasse, Aw...

claim paper

Read More »

146

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 1 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

144

click to vote

KBSE
2008
IEEE

93views Software Engineering» more KBSE 2008»

genSpace: Exploring social networking metaphors for knowledge sharing and scientific collaborative work

16 years 1 months ago

Download www.columbia.edu

Christian Murphy, Swapneel Sheth, Gail E. Kaiser, ...

claim paper

Read More »

140

click to vote

KBSE
2008
IEEE

128views Software Engineering» more KBSE 2008»

Architecture support for runtime integration and verification of component-based Systems of Systems

16 years 1 months ago

Download swerl.tudelft.nl

Alberto González 0002, Éric Piel, Ha...

claim paper

Read More »

150

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers