HIERARCHY OF FORMAL DESCRIPTIONS FOR ARCHITECTURAL ANALYSIS AND DESIGN OF COMPLEX CS

A. Kurkovsky

References

  1. [1] G. K. D. Elias, Architecture of systems problem solving, SecondEdition (New York, NY: Kluwer Academic/Plenum Publishers, 2003).
  2. [2] A. Kossiakoff & W. Sweet, System engineering principles andpractice (Hoboken, NJ: John Wiley & Sons, 2003).
  3. [3] C. Khisty & J. Mohammadi, Fundamentals of system engineering with economics, probability, and statistics (Upper Saddle River, NJ: Prentice Hall, 2001).
  4. [4] J. Whitten, L. Bentley, & K. Dittman, Systems analysis and design methods, Fifth Edition (New York, NY: McGraw-Hill, 2001).
  5. [5] R. Grimm, J. Davis, B. Hendrickson, E. Lemar, A. MacBeth,S. Swanson, T. Anderson, B. Bershad, G. Borriello, S. Gribble,& D. Wetherall, Systems directions for pervasive computing,Proc. 8th IEEE Workshop on Hot Topics in Operating Systems,Elmau, Germany, 2001, 128–132.
  6. [6] A. Foster, C. Kesselman, & S. Tuecke, The anatomy of thegrid: Enabling scalable virtual organizations, InternationalJournal of Supercomputer Applications, 15(3), 2001.
  7. [7] L. Bic & A. Shaw, Operating system principles (Upper SaddleRiver, NJ: Pearson Education, 2003).
  8. [8] A. Cheng, Real-time systems: Scheduling, analysis, and verification (Hoboken, NJ: John Wiley & Sons, 2002).
  9. [9] G. Salvendy (Ed.), Handbook of industrial engineering: Technology and operations management, Third Edition (New York, NY: John Wiley & Sons, 2001).
  10. [10] D. Buede, The Engineering design of systems models and methods (New York, NY: John Wiley & Sons, 2000).
  11. [11] A. Kurkovsky, A hierarchical approach to formalization of distributed computing environments, Proc. 2004 InternationalConference on Pervasive Computing and Communications (PCC’04), Las Vegas, NV, 2004.
  12. [12] A. Kurkovsky, Simulation and architecture assessment methodsin a class of multifunction (complex) computer system. Technical Report # USP-MPCS-03-01, University of the Sciences of Philadelphia. Philadelphia, PA, 2003.
  13. [13] A. Kurkovsky & A. Pritsker, Automation systems in ecologyand geophysics—methodology for the design and architectural solution evaluation based on the methods of simulation modeling. Monograph (Moscow, Russia: "Nauka Publisher, 1995).
  14. [14] A. Kurkovsky, Simulation methodology and business process reengineering models for the analysis of greenhouse gas emissions trading within the Kyoto Protocol, Proc. 14th International Conference on Applied Simulation and Modeling (ASM’05), Benalmadena, Spain, 2005.
  15. [15] A. Kurkovsky, Simulation and information technologies forregional environmental management, Proc. IASTED International Conference on Environmental Modeling and Simulation (EMS’04), St. Thomas, US Virgin Islands, 2004.
  16. [16] A. Kurkovsky, Information technologies as an instrument forrational nature use and evaluation of engineering risks, Proc.Second Russian-American Seminar "Natural Environment Protection and Engineering Security in frames of project "Partnership ASME-RAS , Moscow, Russia, 1996.
  17. [17] A. Sage & W. Rouse (Eds.), Handbook of system engineeringand management (New York, NY: John Wiley & Sons, 1999).
  18. [18] A. Silberschatz, P. Galvin, & G. Gagne, Operating systemconcepts, Seventh Edition (Hoboken, NJ: John Wiley & Sons,2005).
  19. [19] M. Lejk & D. Deeks, An introduction to systems analysis techniques, Second Edition (Edinburgh Gate, England: Addison-Wesley, 2002).
  20. [20] P. Clements, R. Kazman, & M. Klein, Evaluating software architectures methods and case studies (Indianapolis, IN: Addison Wesley/Pearson Education, 2002).
  21. [21] A. Pritsker & J. O’Reilly, Simulation with visual SLAM andAweSim, Second Edition (New York, NY: John Wiley & Sons, 1999).
  22. [22] J. Gersting, Mathematical structures for computer science,Fifth Edition (New York, NY: W.H. Freeman and Company, 2003).

Important Links:

Go Back