Sciweavers

8623 search results - page 135 / 1725
» Software engineering for secure systems
Sort
View
UML
2005
Springer
14 years 2 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
14 years 3 months ago
Tool Support for Parametric Analysis of Large Software Simulation Systems
Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...
SCAM
2008
IEEE
14 years 3 months ago
DTS - A Software Defects Testing System
Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya ...
ICSE
2010
IEEE-ACM
14 years 2 months ago
Using symbolic evaluation to understand behavior in configurable software systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffr...