Search Sciweavers | Sciweavers

3667 search results - page 61 / 734

» Software Rejuvenation - Modeling and Analysis

click to vote

ICEIS
2006
IEEE

72views Information Technology» more ICEIS 2006»

System Analysis and Design in a Large-Scale Software Project: The Case of Transition to Agile Development

15 years 9 months ago

Download www.cs.huji.ac.il

Yael Dubinsky, Orit Hazzan, David Talby, Arie Kere...

claim paper

Read More »

click to vote

LPAR
2005
Springer

94views Automated Reasoning» more LPAR 2005»

Zap: Automated Theorem Proving for Software Analysis

15 years 8 months ago

Download research.microsoft.com

Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...

claim paper

Read More »

Voted

UML
2005
Springer

176views Natural Language Processing» more UML 2005»

Software Hazard Analysis for X-by-Wire Applications

15 years 8 months ago

Download www.cs.colostate.edu

Ireri Ibarra-Alvarado, Richard K. Stobart, Rudi Lu...

claim paper

Read More »

109

click to vote

FIDJI
2004
Springer

131views Distributed And Parallel Com...» more FIDJI 2004»

Component-Based Design of Embedded Software: An Analysis of Design Issues

15 years 8 months ago

Download www.seg.mci.sdu.dk

Christo Angelov, Krzysztof Sierszecki, Nicolae Mar...

claim paper

Read More »

108

click to vote

ASMTA
2010
Springer

177views Mathematics» more ASMTA 2010»

The qnetworks Toolbox: A Software Package for Queueing Networks Analysis

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers