Applying static analysis to software architectures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1301, Issue , 1997, Pages 77-93

  Naumovich, Gleb ^a   Avrunin, George S ^a   Clarke, Lori A ^a   Osterweil, Leon J ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; LIFE CYCLE; SOFTWARE ENGINEERING;

APPLICATION SPECIFIC; ARCHITECTURE DESCRIPTION; CONCURRENCY ANALYSIS; FLAVERS; FLOW EQUATIONS; GAS STATIONS; RESEARCH PROTOTYPE;

STATIC ANALYSIS;

EID: 84949450928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63531-9_8     Document Type: Conference Paper

References (21)

1. th International Conference on Software Engineering, pages 71-80, May 1994.
2. R. Allen and D. Garlan. The WRIGHT architectural specification language. Technical Report CMU-CS-96-TBD, Carnegie Mellon University, School of Computer Science, 1996.
3. B. W. Boehm. Software and Its Impact: À Qualitative Assessment. Datamation, pages 4859, May 1973.
4. 20 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 428-439, 1990.
5. J. C. Corbett and G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods in System Design, 6:97-123, January 1995.
6. M. Dwyer and L. Clarke. Data flow analysis for verifying properties of concurrent programs. In Proceedings of the Second ACM Sigsoft Symposium on Foundations of Software Engineering, volume 19, pages 62-75, December 1994.
7. Formal Systems (Europe) Ltd., Oxford, England. Failures Divergence Refinement: User Manual and Tutorial. 1.2β, 1992.
8. P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. In Proceedings of the Third Workshop on Computer Aided Verification, pages 417-428, July 1991.
9. D. Helmbold and D. Luckham. Debugging Ada tasking programs. IEEE Software, 2(2):47-57, March 1985.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
11. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991.
12. M. H. Klein, T. Ralya, B. Poliak, R. Obenza, and M. Harobur. A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate Monotonie Analysis for Real-Time Systems. New York: Kluwer-Academic, 1993.
13. D. C. Luckham, L. M. Augustin, J. J. Kenney, J. Veera, D. Bryan, and W. Mann. Specification analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):336-355, April 1995.
14. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference, pages 137-153, September 1995.
15. J. Magee and J. Kramer. Dynamic structure in software architectures. In Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 3-13, October 1996.
16. S. Masticola and B. Ryder. A model of Ada programs for static deadlock detection in polynomial time. In Proceedings of the Workshop on Parallel and Distributed Debugging, pages 97-107. ACM, May 1991.
17. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, 1993.
18. M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356-372, April 1995.
19. G. Naumovich, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. Applying static analysis to software architectures. Technical Report UM-CS-1997-008, University of Massachusetts/Amherst, 1997. (http://laser.cs.umass.edu/abstracts/architecture.html).
20. M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4):314-335, April 1995.
21. A. Valmari. A stubborn attack on state explosion. In E. M. Clarke and R. Kurshan, editors, Computer-Aided Verification 90, pages 25-41. American Mathematical Society, Providence RI, 1991. Number 3 in DIM ACS Series in Discrete Mathematics and Theoretical Computer Science.