Sciweavers

1463 search results - page 46 / 293
» Software engineering practices in Singapore
Sort
View
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
Practical Exception Specifications
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
Donna Malayeri, Jonathan Aldrich
AVI
2006
15 years 7 months ago
Contrasting portraits of email practices: visual approaches to reflection and analysis
Over time, many people accumulate extensive email repositories that contain detailed information about their personal communication patterns and relationships. We present three vi...
Adam Perer, Marc A. Smith
COMPSAC
2000
IEEE
15 years 10 months ago
Practical Key Distribution Schemes for Channel Protection
– This paper presents three key distribution schemes for channel protection. With the proposed schemes, encryption keys of the ordered programs can be distributed to the authoriz...
Yu-Lun Huang, Shiuh-Pyng Winston Shieh, Jian-Chyua...
KBSE
1997
IEEE
15 years 10 months ago
Moving Proofs-As-Programs into Practice
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
James L. Caldwell
AGILEDC
2004
IEEE
15 years 10 months ago
The XP Customer Role in Practice: Three Studies
The Customer is the only non-developer role in eXtreme Programming (XP). The Customer's explicit responsibilities are to drive the project, providing project requirements (us...
Angela Martin, Robert Biddle, James Noble