Sciweavers

16725 search results - page 632 / 3345
» Engineering Software Correctness
Sort
View
APSEC
2005
IEEE
16 years 25 days ago
Data Abstraction and Constraint Solving for Conformance Testing
Jens R. Calame, Natalia Ioustinova, Jaco van de Po...
ICSM
2005
IEEE
16 years 24 days ago
An Architecture for Context-Sensitive Formatting
Mark van den Brand, A. Taeke Kooiker, Jurgen J. Vi...
ICSM
2005
IEEE
16 years 24 days ago
iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design
Cristina Marinescu, Radu Marinescu, Petru Florin M...
IUI
2005
ACM
16 years 23 days ago
Experimental evaluation of polite interaction tactics for pedagogical agents
Ning Wang, W. Lewis Johnson, Paola Rizzo, Erin Sha...