374 search results - page 14 / 75 » Applying Static Analysis to Software Architectures |
CSMR
2005
IEEE
14 years 1 months ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
SEKE
2005
Springer
14 years 27 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
ISSTA
2012
ACM
11 years 9 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...