8623 search results - page 305 / 1725 » Software engineering for secure systems |
185
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Large multi-platform, multi-million lines of codes software systems evolve to cope with new platform or to meet user ever changing needs. While there has been several studies focu...
167
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
205
Voted
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
200
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
175
Voted
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...