A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) Год выпуска: 0Автор: T. H. Tse, C. J. van RijsbergenИздательство: Страниц: 0ISBN: 0521391962Описание Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how methodologies can be formalized, and will open up a range of applications and problems for theoretical computer scientists.
Похожие книги
Maryann P. Feldman, Albert N. Link, Association for Public Policy Analysis and Management. Innovation Policy in the Knowledge-Based Economy (Economics of Science, Technology, and Innovation, V. 23). – М.: , 0. – 0 с. Emirates Center for Strategic Studies and Research. Leadership and Management in the Information Age (Emirates Center for Strategic Studies and Research). – М.: , 0. – 0 с. The Emirates Center for Strategic Studies and Research. The Information Revolution and the Arab World: Its Impact on State and Society. – М.: I. B. Tauris, 1998. – 236 с. Donald A. St John, Alan W. Poole and Ian Sims. Concrete Petrography: A Handbook of Investigative Techniques. – М.: Arnold, 1998. – 488 с. A.K.M. Zami-ur Rahman and Mohammad Reza Hesamzadeh. The TC-PSI Indicator for Market Power Analysis. – М.: LAP Lambert Academic Publishing, 2012. – 100 с. A. C. Suthar,D. D. Shah and G. R. Kulkarni. Implementation of Secured Color Image Authentication and Protection. – М.: LAP Lambert Academic Publishing, 2011. – 92 с. Mohammad Aminul Islam,A.K.M Harun-or-Rashid and A.N.M Naser Wahed. DESIGN STUDY AND DEVELOPMENT OF A SCINTILLATION AMPLIFIER. – М.: LAP Lambert Academic Publishing, 2011. – 68 с. A. M. Sheikh,W. Y. Ali and M. I. Khashaba. Reducing the Mechanical Wear in Cement Factory. – М.: LAP Lambert Academic Publishing, 2012. – 60 с. Mekane Yesus Management and Leadership College (MY-MLC) in Collaboration with Norwegian Church Aid. Old Beyond Imaginings. – М.: LAP Lambert Academic Publishing, 2014. – 76 с. Abdel-Baset A. Mohamed,Abdel-Shafy F. Obada and Hosney A. Hessein. Quantum Decoherence and Entanglement in Quantum Information. – М.: LAP Lambert Academic Publishing, 2011. – 148 с. Elhagag A. Hassan,Magdy M.K. Bagy and Fatthy M. Morsy. Biodegradation of Chicken Feathers by Keratinolytic Fungi. – М.: LAP Lambert Academic Publishing, 2013. – 188 с. A. K. Verma,S. K. Gupta and R. K. Isaac. Simulation Modeling for Saline Water Use in Agriculture. – М.: LAP Lambert Academic Publishing, 2015. – 236 с. A. K. Singh Kashyap,Mandhata Singh and S. P. Singh. Short duration kharif Crop production in Agrihorticultural System. – М.: LAP Lambert Academic Publishing, 2012. – 96 с. A.B. Ingle,R.K. Mathukia and M.A. Shekh. Response of Soybean to Organic Manure and Potash. – М.: LAP Lambert Academic Publishing, 2014. – 112 с. A. V. Chatrabhuji,D. G. Barad and H. H. Mashru. Study on Domestic Rooftop Water Harvesting for Junagadh City. – М.: LAP Lambert Academic Publishing, 2014. – 112 с. Alya'a J. Ahmad,Abdulkareem M. Ali and Waleed A. Mahmoud. Highly Ordered Metallic Nanowire Arrays. – М.: LAP Lambert Academic Publishing, 2012. – 112 с. Hemayet Hossain,A.F.M. Shahid -Ud-Daula and Kamrul Hasan. Chemical and Biological Evaluation of Spilanthes paniculata Linn. – М.: LAP Lambert Academic Publishing, 2012. – 104 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Анна Выражаю вам большую благодарность за оказанную мне услугу!!! С наилучшими пожеланиями к вам!!!
