805 search results - page 25 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
141
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
141
Voted
WICSA
2004
15 years 3 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
102
click to vote
APSEC
2007
IEEE
15 years 3 months ago
2007
IEEE
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...
98
Voted
EGOV
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...
112
click to vote
FORTE
2008
15 years 3 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...