Sciweavers

7202 search results - page 86 / 1441
» Software System Engineering: A Tutorial
Sort
View
VMCAI
2007
Springer
15 years 8 months ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
IUI
2003
ACM
15 years 7 months ago
Intelligent user interface design for teachable agent systems
Joan M. Davis, Krittaya Leelawong, Kadira Belynne,...
COMPSAC
2002
IEEE
15 years 7 months ago
MADSS: A Multi-Agent Based Distributed Scripting System
Jim-Min Lin, Zeng-Wei Hong, Guo-Ming Fang
93
Voted
SCAM
2002
IEEE
15 years 7 months ago
VADA: A Transformation-Based System for Variable Dependence Analysis
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu,...
CODES
1999
IEEE
15 years 6 months ago
Designing digital video systems: modeling and scheduling
H. J. H. N. Kenter, Claudio Passerone, W. J. M. Sm...