Search Sciweavers | Sciweavers

2935 search results - page 5 / 587

» An Integrated Approach to High Integrity Software Verificati...

136

Voted

ISQED
2007
IEEE

187views Hardware» more ISQED 2007»

High-Frequency-Measurement-Based Frequency-Variant Transmission Line Characterization and Circuit Modeling for Accurate Signal I

15 years 10 months ago

Download giga.hanyang.ac.kr

Novel experimental characterization method and circuit modeling for frequency-variant transmission lines are presented. Experimental test patterns are designed and fabricated by u...

Hyunsik Kim, Yungseon Eo

claim paper

Read More »

126

Voted

CBSE
2006
Springer

140views Software Engineering» more CBSE 2006»

Verification of Component-Based Software Application Families

15 years 7 months ago

Download web.cecs.pdx.edu

We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...

Fei Xie, James C. Browne

claim paper

Read More »

Voted

TC
2002

94views Information Technology» more TC 2002»

Designing High Integrity Systems Using Aspects

15 years 3 months ago

Download www.cs.colostate.edu

: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...

Geri Georg, Robert B. France, Indrakshi Ray

claim paper

Read More »

101

Voted

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

15 years 9 months ago