8623 search results - page 425 / 1725 » Software engineering for secure systems |
191
Voted
ICSE
1998
IEEE-ACM
15 years 12 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
174
click to vote
CHI
2008
ACM
16 years 8 months ago
2008
ACM
The focus of this work is the requirements engineering process in the home care domain. The overall aim is to design and document a flexible methodology to facilitate the elicitat...
243
click to vote
CSMR
2000
IEEE
16 years 4 days ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
214
Voted
SIGSOFT
1996
ACM
15 years 12 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
181
Voted
SADFE
2005
IEEE
16 years 1 months ago
2005
IEEE
Today log traces are widely used to identify and prevent violations of corporate information systems. The most recent logging trend is to manage most level 3 ISO/OSI traffic via p...