System Validation via Constraint Modeling

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6051

Full metadata record

DC Field	Value	Language
dc.creator	Waters, Richard C.	-
dc.date	2004-10-04T14:36:57Z	-
dc.date	2004-10-04T14:36:57Z	-
dc.date	1988-02-01	-
dc.date.accessioned	2013-10-09T02:42:34Z	-
dc.date.available	2013-10-09T02:42:34Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AIM-1020	-
dc.identifier	http://hdl.handle.net/1721.1/6051	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of constraint modeling to find errors is limited by the simplifications which are introduced when making a constraint model, constraint modeling can locate important classes of errors which are caused by non-local faults (i.e., are hard to find with code inspection) and manifest themselves as failures only in unusual situations (i.e., are hard to find with testing).	-
dc.format	19 p.	-
dc.format	4031325 bytes	-
dc.format	1582417 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AIM-1020	-
dc.subject	constraints	-
dc.subject	validation	-
dc.subject	modeling	-
dc.subject	testing	-
dc.title	System Validation via Constraint Modeling	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI