7209 search results - page 325 / 1442 » Software Engineering for Multi-Agent Systems |
102
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
140
click to vote
CBSQ
2003
Springer
15 years 6 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...
101
click to vote
APSEC
2008
IEEE
15 years 2 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...
128
click to vote
RE
2010
Springer
14 years 7 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...
APSEC
2003
IEEE
15 years 6 months 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...