Search Sciweavers | Sciweavers

15885 search results - page 330 / 3177

» Strategic Software Engineering

147

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

16 years 9 days ago

Download www.jaist.ac.jp

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

claim paper

Read More »

141

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 9 days ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

146

click to vote

CGO
2005
IEEE

101views Software Engineering» more CGO 2005»

Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters

16 years 9 days ago

Download www.cs.toronto.edu

Marc Berndl, Benjamin Vitale, Mathew Zaleski, Ange...

claim paper

Read More »

126

click to vote

QSIC
2005
IEEE

79views Software Engineering» more QSIC 2005»

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

16 years 7 days ago

Download www.cs.hku.hk

W. K. Chan, Tsong Yueh Chen, Heng Lu

claim paper

Read More »

111

click to vote

SEFM
2005
IEEE

70views Software Engineering» more SEFM 2005»

Pragmatic Consistency Management in Industrial Requirements Specifications

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers