| 000 | 00913nab a22002657 4500 | ||
|---|---|---|---|
| 001 | H004.41 INF | ||
| 003 | AR-sfUTN | ||
| 008 | 190909b xx |||p|r|||| 00| 0 spa d | ||
| 040 | _cAR-sfUTN | ||
| 080 | _aH004.41 INF | ||
| 100 | _aLee, Jonathan | ||
| 700 | _aLai, Lein F. | ||
| 245 | _aVerifying task-based specifications in conceptual graphs | ||
| 336 |
_2rdacontent _atexto _btxt |
||
| 337 |
_2rdamedia _asin mediación _bn |
||
| 338 |
_2rdacarrier _avolumen _bnc |
||
| 505 | _aA conceptual model is a model of real world concepts and application domains as perceived by users and developers | ||
| 650 | _aVERIFICATION | ||
| 650 | _aCONCEPTUAL MODEL | ||
| 650 | _aTASK-BASED SPECIFICATIONS | ||
| 650 | _aCONCEPTUAL GRAPHS | ||
| 773 |
_tInformation and software technology _wH004.41 INF _nS.T.:H004.41 INF PP2887 _g(vol. 39, nro. 14-15, Feb. 1998), p. 913-923 |
||
| 942 | _cAN | ||
| 999 |
_c36283 _d36283 |
||