8627 search results - page 449 / 1726 » Software Engineering Using RATionale |
205
click to vote
ECLIPSE
2004
ACM
16 years 8 days ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
206
Voted
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
157
click to vote
SOFTVIS
2006
ACM
16 years 24 days ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
169
click to vote
ITCC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
185
click to vote
MSR
2005
ACM
16 years 12 days ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...