2700 search results - page 292 / 540 » The role of abstraction in software engineering |
185
click to vote
VMCAI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
162
click to vote
XPU
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
169
click to vote
ASWEC
2006
IEEE
16 years 20 days ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
142
click to vote
IWPC
2006
IEEE
16 years 19 days ago
2006
IEEE
Gaining an overview of the concepts represented in large programs is very demanding as multiple dimensions of knowledge appear at different abstraction levels throughout the sourc...
160
click to vote
CSMR
2005
IEEE
16 years 7 days ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...