488 search results - page 61 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
109
click to vote
ECEASST
2008
14 years 11 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
103
click to vote
ISSTA
2000
ACM
15 years 4 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
137
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...