Search Sciweavers | Sciweavers

4007 search results - page 41 / 802

» Automotive Software Integration

131

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 10 days ago

Download swerl.tudelft.nl

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

claim paper

Read More »

122

click to vote

SEAA
2008
IEEE

137views Software Engineering» more SEAA 2008»

SAIL: A Sensor Abstraction and Integration Layer for Context Awareness

16 years 10 days ago

Download winslab.cnu.ac.kr

Michele Girolami, Stefano Lenzi, Francesco Furfari...

claim paper

Read More »

103

click to vote

SCAM
2007
IEEE

92views Software Engineering» more SCAM 2007»

An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW

16 years 6 days ago

Download swerl.tudelft.nl

Marius Marin, Leon Moonen, Arie van Deursen

claim paper

Read More »

127

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

15 years 11 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

116

click to vote

QSIC
2005
IEEE

79views Software Engineering» more QSIC 2005»

A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers