Search Sciweavers | Sciweavers

686 search results - page 15 / 138

» Nonmonotonic inference operations

click to vote

TSE
1998

129views more TSE 1998»

Inferring Declarative Requirements Specifications from Operational Scenarios

13 years 7 months ago

Download www.ics.uci.edu

—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...

Axel van Lamsweerde, Laurent Willemet

claim paper

Read More »

click to vote

ATAL
2010
Springer

110views Intelligent Agents» more ATAL 2010»

Improving multi-robot teleoperation by inferring operator distraction

13 years 7 months ago

Download www.aamas-conference.org

Bennie Lewis, Bulent Tastan, Gita Sukthankar

claim paper

Read More »

click to vote

ASE
2010

82views more ASE 2010»

Operational definition and automated inference of test-driven development with Zorro

13 years 7 months ago

Download csdl.ics.hawaii.edu

Hongbing Kou, Philip M. Johnson, Hakan Erdogmus

claim paper

Read More »

click to vote

TSE
2002

110views more TSE 2002»

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

13 years 7 months ago

Download www.jos.org.cn

Jayant Rajgopal, Mainak Mazumdar

claim paper

Read More »

click to vote

USS
2004

94views Operating System» more USS 2004»

Finding User/Kernel Pointer Bugs with Type Inference

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers