Search Sciweavers | Sciweavers

4350 search results - page 9 / 870

» Case studies for contract-based systems

162

Voted

ICONS
2009
IEEE

273views Operating System» more ICONS 2009»

Defining Requirements for an Incident Management System: A Case Study

15 years 10 months ago

Download www.uku.fi

Marko Jäntti

claim paper

Read More »

148

Voted

TSE
2011

214views more TSE 2011»

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

14 years 10 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 »

121

click to vote

RTSS
1996
IEEE

95views Control Systems» more RTSS 1996»

Correctness of vehicle control systems-a case study

15 years 7 months ago

Download publications.csail.mit.edu

Henri B. Weinberg, Nancy A. Lynch

claim paper

Read More »

102

click to vote

LISA
2003

103views Operating System» more LISA 2003»

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

15 years 4 months ago

Download net.doit.wisc.edu

David Plonka

claim paper

Read More »

Voted

LISA
1993

75views Operating System» more LISA 1993»

A Case Study on Moves and Mergers

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers