Using design metrics for predicting system flexibility

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

Volumn 3922 LNCS, Issue , 2006, Pages 184-198

  Robby, ^a   DeLoach, Scott A ^a   Kolesnikov, Valeriy A ^a  

^a 129 Seaton Hall   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SCIENCE; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

BOGOR MODEL CHECKERS; COMPUTATIONAL COST; ORGANIZATION-BASED MULTIAGENT SYSTEMS; TRADE-OFFS;

MULTI AGENT SYSTEMS;

EID: 33745798777     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693017_15     Document Type: Conference Paper

References (21)

1. agentTool Website: http://macr.cis.ksu.edu/projects/agentTool/agentool. htm
2. Albus, J. S. Metrics and Performance Measures for Intelligent Unmanned Ground Vehicles. Proceedings of the 2002 Performance Metrics for Intelligent Systems Workshop, 2002.
3. Blau, P.M. & Scott, W.R., Formal Organizations, Chandler, San Fran., CA, 1962, 194-221.
4. Bogor Website: http://bogor.projects.cis.ksu.edu
5. Bosnacki, D., Dams, D., Holenderski, L. Symmetric Spin. Proceedings of the Seventh International SPIN Workshop. LNCS 1885, pp. 1-19, 2000.
6. Clarke, E., Grumberg, O., Peled, D. Model Checking. MIT Press, 2000.
7. DeLoach, S.A., & Matson, E. An Organizational Model for Designing Adaptive Multi-agent Systems. The AAAI-04 Workshop on Agent Organizations: Theory and Practice. 2004.
8. Dwyer, M.B., Hatcliff, J., Robby, Prasad, V.R. Exploiting Object Escape and Locking Information in Partial Order Reduction for Concurrent Object-Oriented Programs. International Journal of Formal Methods in System Design (FMSD), 25(2/3), pp. 199-240, 2004.
9. Ericson, C. Fault Tree Analysis - A History. Proceedings of the 17th International System Safety Conference - 1999.
10. Fenton, N.B., Neil, M. Software metrics: roadmap. ICSE-Future of SE, pp 357-370, 2000.
11. Holzmann, G. J. State Compression in SPIN: Recursive Indexing and Compression Training Runs. Proceedings of the Third International SPIN Workshop, 1997.
12. Ip, C. N., Dill, D. L. Better Verification Through Symmetry. International Journal of Formal Methods in System Design (FMSD), 9 (1/2), pp. 47-75, 1996.
13. Liu, Y. A., Stoller, S. D. Querying Complex Graphs. Proceedings of the Eighth Intl Symposium on Practical Aspects of Declarative Languages (PADL). Springer-Verlag, 2006. (to appear)
14. Matson, E., DeLoach, S. Capability in Organization Based Multi- Systems, Proceedings of the Intelligent and Computer Systems (IS '03) Conference, 2003.
15. Robby, Dwyer, M.B., Hatcliff, J. Bogor: An Extensible and Highly-Modular Model Checking Framework. Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), pp. 267-276, 2003.
16. Robby, Dwyer, M.B., Hatcliff, J., Iosif, R. Space-Reduclion Strategies for Model Checking Dynamic Software. Proceedings of the 2nd Workshop on Software Model Checking (SoftMC 2003). Electronic Notes in Theoretical Computer Science, 89 (3), Elsevier, 2003.
17. Subramanian, N., Chung, L., Metrics for Software Adaplability, Applied Technology Division, Anritsu Company, Richardson, TX, USA, 2000.
18. van Lamsweerde, A., Darimont, R., Letier, E. Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering. 24(11), pp 908-926, 1998.
19. Verkamo, A.I., Gustafsson, J., Nenonen, L., Paakki, J. Design patterns in performance prediction. Proceedings of the Second International Workshop on Software and Performance, ACM Press, pp 143-144, September 2000.
20. Weyuker, E. J., Avritzer, A. A metric for predicting the performance of an application under a growing workload. IBM Systems Journal, Vol 41, No 1, pp. 45-54, 2002.
21. Weyuker, E. J., Avritzer, A. A Metric to Predict Software Scalability. Proceedings of the Eight IEEE Symp. on Software Metrics (METRICS 2002), Ollawa, Canada, pp. 152-159, June 2002.