589 search results - page 75 / 118 » Developing principles of GUI programming using views |
DSN
2000
IEEE
14 years 4 days ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
SMALLTALK
2007
Springer
14 years 1 months ago
2007
Springer
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
SYNTHESE
2010
13 years 6 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...