Sciweavers

4245 search results - page 19 / 849

» Integrating Software by Integrating People

117

SIGSOFT
2003
ACM

124views Software Engineering» more SIGSOFT 2003»

Eos: instance-level aspects for integrated system design

16 years 6 months ago

Eos: instance-level aspects for integrated system design

Download www.cs.virginia.edu

Hridesh Rajan, Kevin J. Sullivan

claim paper

Read More »

131

KBSE
2008
IEEE

128views Software Engineering» more KBSE 2008»

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

16 years 8 days ago

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

Download swerl.tudelft.nl

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

claim paper

Read More »

122

SEAA
2008
IEEE

137views Software Engineering» more SEAA 2008»

SAIL: A Sensor Abstraction and Integration Layer for Context Awareness

16 years 8 days ago

SAIL: A Sensor Abstraction and Integration Layer for Context Awareness

Download winslab.cnu.ac.kr

Michele Girolami, Stefano Lenzi, Francesco Furfari...

claim paper

Read More »

103

SCAM
2007
IEEE

92views Software Engineering» more SCAM 2007»

An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW

16 years 5 days ago

An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW

Download swerl.tudelft.nl

Marius Marin, Leon Moonen, Arie van Deursen

claim paper

Read More »

127

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

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

Download www.jaist.ac.jp

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

claim paper

Read More »

« Prev « First page 19 / 849 Last » Next »