Sciweavers

8623 search results - page 135 / 1725
» Software engineering for secure systems
Sort
View
UML
2005
Springer
15 years 8 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
KBSE
2008
IEEE
15 years 9 months ago
Tool Support for Parametric Analysis of Large Software Simulation Systems
Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...
SCAM
2008
IEEE
15 years 9 months ago
DTS - A Software Defects Testing System
Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya ...
65
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
Using symbolic evaluation to understand behavior in configurable software systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffr...