59 search results - page 11 / 12 » Assertions in End-User Software Engineering: A Think-Aloud S... |
ISPW
1996
IEEE
13 years 9 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
ITICSE
2003
ACM
13 years 10 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
UIST
2005
ACM
13 years 10 months ago
2005
ACM
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...
POPL
2012
ACM
12 years 12 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...