Item Infomation
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 | 2023-04-13T11:18:52Z | - |
| dc.date.available | 2023-04-13T11:18:52Z | - |
| dc.identifier | AIM-1020 | - |
| dc.identifier | http://hdl.handle.net/1721.1/6051 | - |
| dc.identifier.uri | http://lib.yhn.edu.vn/handle/YHN/739 | - |
| 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.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 | Tài liệu ngoại văn | |
Files in This Item:
