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, Second Edition (New York, NY: Kluwer Academic/Plenum Publishers, 2003).
  2. [2] A. Kossiakoff & W. Sweet, System engineering principles and practice (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 the grid: Enabling scalable virtual organizations, International Journal of Supercomputer Applications, 15(3), 2001.
  7. [7] L. Bic & A. Shaw, Operating system principles (Upper Saddle River, 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 International Conference on Pervasive Computing and Communications (PCC’04), Las Vegas, NV, 2004.
  12. [12] A. Kurkovsky, Simulation and architecture assessment methods in 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 ecology and 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 for regional 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 for rational 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 engineering and management (New York, NY: John Wiley & Sons, 1999).
  18. [18] A. Silberschatz, P. Galvin, & G. Gagne, Operating system concepts, 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 and AweSim, 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