Sciweavers

11

MONTEREY
2007
Springer

105views Embedded Systems» more MONTEREY 2007»

Getting the Details Right

13 years 11 months ago

Getting the Details Right

Download www.playday.org.uk

Lori A. Clarke

claim paper

Read More »

22

MONTEREY
2007
Springer

152views Embedded Systems» more MONTEREY 2007»

Defect Detection and Prevention (DDP)

13 years 11 months ago

Defect Detection and Prevention (DDP)

Download ddptool.jpl.nasa.gov

Martin S. Feather

claim paper

Read More »

11

MONTEREY
2007
Springer

150views Embedded Systems» more MONTEREY 2007»

Ambiguity in Natural Language Requirements Documents

13 years 11 months ago

Ambiguity in Natural Language Requirements Documents

Download www.student.cs.uwaterloo.ca

Daniel M. Berry

claim paper

Read More »

10

MONTEREY
2007
Springer

129views Embedded Systems» more MONTEREY 2007»

Logic-Based Regulatory Conformance Checking

13 years 11 months ago

Logic-Based Regulatory Conformance Checking

Download www.cis.upenn.edu

In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...

Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...

claim paper

Read More »