Sciweavers

16725 search results - page 641 / 3345
» Engineering Software Correctness
Sort
View
APSEC
1999
IEEE
15 years 11 months ago
Development of an Intelligent Web Interface to Online Library Catalog Databases
Danny C. C. Poo, Teck-Kang Toh, Christopher S. G. ...
CODES
1999
IEEE
15 years 11 months ago
Designing digital video systems: modeling and scheduling
H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...
COMPSAC
1999
IEEE
15 years 11 months ago
An Object-Oriented Architecture Supporting Web Application Testing
Ji-Tzay Yang, Jiun-Long Huang, Feng-Jian Wang, Wil...
APSEC
1998
IEEE
15 years 11 months ago
Interpreting the Object Constraint Language
The Object Constraint Language (OCL), which forms part
Ali Hamie, John Howse, Stuart Kent