5668 search results - page 229 / 1134 » The case for software evolution |
124
click to vote
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
158
Voted
SCAM
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
136
Voted
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
143
Voted
APN
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
139
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...