5843 search results - page 306 / 1169 » Software Security in Practice |
158
Voted
APSEC
1997
IEEE
15 years 10 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
202
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Requirements for educational software could be based on an analysis of existing learning situations. In order to obtain useful information about teaching practices, an explorative ...
140
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
153
Voted
AGILEDC
2008
IEEE
16 years 22 days ago
2008
IEEE
This experience report describes the challenges and initial steps taken to move a large development team from traditional waterfall test phases to agile test methods. In late 2007...
187
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. McEliece is one of the oldest known public key cryptosystems. Though it was less widely studied than RSA, it is remarkable that all known attacks are still exponential. I...