Sciweavers

31

MONTEREY
2007
Springer

105views Embedded Systems» more MONTEREY 2007»

Getting the Details Right

14 years 6 months ago

Getting the Details Right

Download www.playday.org.uk

Lori A. Clarke

claim paper

Read More »

44

MONTEREY
2007
Springer

152views Embedded Systems» more MONTEREY 2007»

Defect Detection and Prevention (DDP)

14 years 6 months ago

Defect Detection and Prevention (DDP)

Download ddptool.jpl.nasa.gov

Martin S. Feather

claim paper

Read More »

29

MONTEREY
2007
Springer

150views Embedded Systems» more MONTEREY 2007»

Ambiguity in Natural Language Requirements Documents

14 years 6 months ago

Ambiguity in Natural Language Requirements Documents

Download www.student.cs.uwaterloo.ca

Daniel M. Berry

claim paper

Read More »

29

MONTEREY
2007
Springer

129views Embedded Systems» more MONTEREY 2007»

Logic-Based Regulatory Conformance Checking

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