Search Sciweavers | Sciweavers

4350 search results - page 9 / 870

» Case studies for contract-based systems

click to vote

ICONS
2009
IEEE

273views Operating System» more ICONS 2009»

Defining Requirements for an Incident Management System: A Case Study

14 years 4 months ago

Download www.uku.fi

Marko Jäntti

claim paper

Read More »

click to vote

TSE
2011

214views more TSE 2011»

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

13 years 4 months ago

Download pswlab.kaist.ac.kr

—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...

Moonzoo Kim, Yunho Kim, Hotae Kim

claim paper

Read More »

click to vote

RTSS
1996
IEEE

95views Control Systems» more RTSS 1996»

Correctness of vehicle control systems-a case study

14 years 1 months ago

Download publications.csail.mit.edu

Henri B. Weinberg, Nancy A. Lynch

claim paper

Read More »

click to vote

LISA
2003

103views Operating System» more LISA 2003»

A Case Study in Internet Pathology: Flawed Routers Flood University's Network

13 years 11 months ago

Download net.doit.wisc.edu

David Plonka

claim paper

Read More »

click to vote

LISA
1993

75views Operating System» more LISA 1993»

A Case Study on Moves and Mergers

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers