lecture-1-2
Описание файла
PDF-файл из архива "lecture-1-2", который расположен в категории "". Всё это находится в предмете "формальная спецификация и верификация программ" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
Место формальныхметодов в Программнойинженерии.Место Программнойинженерии в ComputerScienceComputer ScienceCurricula 2013Strawman Draft (February 2012)The Joint Task Force on ComputingCurricula Association for ComputingMachinery IEEE-Computer SocietyComputer ScienceCurricula 2013The Body of Knowledge• Algorithms and Complexity (AL)• Architecture and Organization (AR)• Computational Science (CN)• Discrete Structures (DS)• Graphics and Visualization (GV)• Human-Computer Interaction (HC)• Information Assurance and Security (IAS)• Information Management (IM)• Intelligent Systems (IS)• Networking and Communication (NC)• Operating Systems (OS)• Platform-Based Development (PBD)• Parallel and Distributed Computing (PD)• Programming Languages (PL)• Software Development Fundamentals (SDF)• Software Engineering (SE)• Systems Fundamentals (SF)• Social and Professional Practice (SP)Computer ScienceCurriculum 2008:An Interim Revision of CS 2001Report from the Interim ReviewTask Forceincludes update of the CS2001 body ofknowledge plus commentaryDecember 2008Association for ComputingMachineryIEEE Computer Society.