Search Sciweavers | Sciweavers

9974 search results - page 248 / 1995

» Software Interconnection Models

121

click to vote

SOPR
2002

86views more SOPR 2002»

Simulating global software evolution processes by combining simple models: an initial study

15 years 6 months ago

Download www.sysc.pdx.edu

Paul Wernick, Tracy Hall

claim paper

Read More »

164

click to vote

TSE
2002

110views more TSE 2002»

Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model

15 years 6 months ago

Download www.jos.org.cn

Jayant Rajgopal, Mainak Mazumdar

claim paper

Read More »

109

click to vote

JOT
2010

122views more JOT 2010»

Extracting State Models for Black-Box Software Components

15 years 5 months ago

Download www.jot.fm

Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran,...

claim paper

Read More »

101

click to vote

ASPDAC
2010
ACM

110views Hardware» more ASPDAC 2010»

An alternative polychronous model and synthesis methodology for model-driven embedded software

15 years 4 months ago

Download www.asp-dac.itri.org.tw

Bijoy A. Jose, Sandeep K. Shukla

claim paper

Read More »

133

click to vote

ICEIS
2010
IEEE

135views Information Technology» more ICEIS 2010»

User Context Models - A Framework to Ease Software Formal Verifications

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers