8623 search results - page 310 / 1725 » Software engineering for secure systems |
165
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
160
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
The subject of this paper is a Smart Spell Checker System (SSCS) that can adapt to a particular user by using the user’s feedback for adjusting its behavior. The result of the ad...
180
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Requirements engineering and software architecting are two key activities in software life cycle. Researchers have paid much attention to mapping and transformation from requireme...
195
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
172
click to vote
AICT
2006
IEEE
16 years 25 days ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...