7202 search results - page 318 / 1441 » Software System Engineering: A Tutorial |
226
click to vote
CBSQ
2003
Springer
15 years 12 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
170
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
217
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
164
click to vote
APSEC
2003
IEEE
16 years 4 hour ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
156
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...