Search Sciweavers | Sciweavers

16541 search results - page 385 / 3309

» Ontologies and Software Engineering

149

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 »

148

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 »

147

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 »

144

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 »

155

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