有关software的------硕士课程设置

jacob.wd8816

老早就想做个整理。之前只是把课程介绍的全部内容拷了下来，没做系统的归纳和取舍，今天下个决心弄一下，也希望与大家分享，欢迎提建议。

以下内容均来自Southampton官网（链接：http://www.ecs.soton.ac.uk/admissions/pg/msc/1011/software_eng.php）


Semester 1

• COMP6008 Research Methods in Computing (Compulsory) ------10学分；25%作业，75%考试；        参考书目：
  
• Writing for Computer Science, second edition, Zobel, Springer 2004 [Library] [Shops]
• The on-line Computer Science bibliography http://liinwww.ira.uka.de/bibliography/index.html

• COMP6013 Agile and Object Oriented Development (Compulsory) ------10学分；25%作业，75%考试；        参考书目：
• Beck K, eXtreme Programming Explained 2nd Edition, Addison-Wesley 2005. [Library] [Shops]
• Fowler M and Scott K, UML Distilled 3rd Edition, Addison-Wesley 2004. [Library] [Shops]
• Fowler M, Refactoring, Addison-Wesley 1999. [Library] [Shops]
• Riel AJ, Object Oriented Design Heuristics, Addison Wesley 1996. [Library] [Shops]
• Cockburn A, Writing Effective Use Cases, Addison Wesley 2001. [Library] [Shops]
• Gamma E et al, Design Patterns, Addison Wesley 1995. [Library] [Shops]
• Cockburn A, Crystal Clear, Addison Wesley 2004. [Library] [Shops]
• Larman C, Applying UML and Patterns, Prentice Hall 2005 [Library] [Shops]
• Pilone D, UML 2.0 Pocket Reference, O'Reilly 2006 [Library] [Shops]

• COMP6038 Safety Critical Systems (Compulsory) ------10学分；30%作业，70%考试；        参考书目：
• Nancy G. Leveson, Safeware: System Safety and Computers, Addison-Wesley 1995
• J.-R. Abrial, The B-Book, Cambridge University Press, 1996
• K. Lano, The B Language and Method., Springer 1996
• J.B. Wordsworth, Software Engineering with B., Addison-Wesley 1996

• COMP6039 Software Project Management & Quality Assurance (Compulsory) ------10学分；0%作业，100%考试；        参考书目：
  
• Pressman R.S., Software Engineering: A Practitioner's Approach, McGraw Hill, 6th or 7th edition.
  
• Daniel Galin, Software Quality Assurance, Pearson Addison Wesley, Harlow, 2004
  

• COMP3032 Intelligent Algorithms (Optional) ------10学分；30%作业，70%考试；        参考书目：
• Mark M. Meerschaert, Mathematical Model 2nd Edition,Academic Press 1998.
• Neil Gershenfeld, The Nature of Mathematical Modeling, CUP 1999.

• COMP6003 Enterprise Web Development (Optional) ------10学分；100%作业，0%考试；        参考书目：
• Mitchell S, Teach Yourself ASP.NET 3.5 in 24 Hours, SAMS 2008 [Library] [Shops]
• Deitel, Deitel and Santry, Advanced Java 2 Platform: How to Program, Prentice Hall 2002 [Library] [Shops]
• Albahari and Albahari, LINQ in a Nutshell, O'Reilly 2008 [Library] [Shops]
• Farley et al, Java Enterprise in a Nutshell, O'Reilly 2005 [Library] [Shops]
• Don Gosselin, JavaScript (third edition), Thomson 2004 [Library] [Shops]
• Eve Andersson et al, Software Engineering for Internet Applications, MIT 2006 [Library] [Shops]
• HA Napier at al, Creating a Winning E-Business, Thomson 2006 [Library] [Shops]
• Gravell AM, Parsons D, Dynamic Web Application Development using ASP.NET, CEngage 2010 [Library] [Shops]

• COMP6017 Topics on Web Services (Optional) ------10学分；50%作业，50%考试；        参考书目：
  
• Web Services, G Alonso, Springer 2004 [Library] [Shops]
  

• COMP6034 Types and Programming Languages (Optional) ------10学分；20%作业，80%考试；        参考书目：
• Benjamin C. Pierce (ed), Advanced Topics in Types and Programming Languages. MIT Press.
• John C. Mitchell, Foundations of Programming Languages, MIT Press
• Luca Cardelli, "Basic Polymorphic Typechecking", Science of Computer Programming (available from authors webpage)
• Luca Cardelli, Type Systems, Handbook of Computer Science and Engineering. CRC Press 1996
• The Objective Caml system release 3.10. Documentation and user's manual

• COMP6045 Hypertext and Web Technologies for Masters (Optional) ------10学分；30%作业，70%考试；        参考书目：
• Lowe D and Hall W, Hypermedia and the Web-An Engineering Approach, Wiley 1999
• Rosenfeld L, Information Architecture for the World Wide Web, 2nd Edition, O'Reilly 2002
• Deitel, Deitel and Goldberg, Internet and World Wide Web - How To Program, 3rd Edition, Prentice Hall 2004

• INFO6002 Assistive Technologies and Universal Design (Optional) ------10学分；100%作业，0%考试；        参考书目：
• Jeffrey Zeldman, Designing with web standards, 2nd ed. New Riders, 2007
• Clark,Joe. Building accessible websites, New Riders, 2003
• Clarkson et al (Ed), Designing Accessible Technology, Springer, 2006
• Sarah Horton, Access by Design : A Guide to Universal Usability for Web Designers , New Riders, 2005
• Alliance for Technology Access, Computer Resources for People With Disabilities: A Guide to Assistive Technologies, Tools, and Resources for People of All Ages, Hunter House, 2004 New edition being prepared - on order. 2004 not available
• Extensive On-line resources exist e.g.http://www.w3.org/WAI/
• http://www.webaim.org/
• http://www.microsoft.com/enable/research/default.aspx

• INFO6003 Applications of Security in Information Technology (Optional) ------10学分；100%作业，0%考试；        参考书目：
  
• Pfleeger, C. and Pfleeger, S. (2003) Security in Computing. USA (NJ): Pearson Education Inc.
  
• Tanenbaum, A. (2001) Modern Operating Systems. New Jersey : Prentice Hall.
• Tanenbaum, A and van Steen, M. (2002) Distributed Systems: Principles and Paradigms. New Jersey: Prentice Hall
• Relevant research papers and journals

Semester 2

• COMP6004 Formal Design of Systems (Compulsory) ------20学分；50%作业，50%考试；        参考书目：
• Huth, M. and Ryan, M., Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004 [Library] [Shops]
• Clarke, E.M., Grumberg, O. and Peled D.A., Model-Checking, MIT Press, 1999 [Library] [Shops]
• Holzmann, G.D., The Spin Model Checker: Primer and Reference Manual, Addison Wesley 2003 [Library] [Shops]

• COMP6006 Intelligent Agents (Optional) ------20学分；40%作业，60%考试；        参考书目：
  
• M.J.Wooldridge, An introduction to multi-agent systems. Wiley (2002)
  

• COMP6028 Semantic Web Technologies (Optional) ------20学分；50%作业，50%考试；        参考书目：
  

• COMP6035 From Aspect-Oriented Programming to Program Generation (Optional) ------20学分；40%作业，60%考试；        参考书目：
• The AspectJ Programming Guide
• Stephen J. Mellor, Kendall Scott, Axel Uhl, and Dirk Weise, MDA Distilled.
• Krysztof Czarnecki and Ulrich Eisenecker, Generative Programming: Methods, Tools, and Applications.

• COMP6036 Advanced Machine Learning (Optional) ------20学分；50%作业，50%考试；        参考书目：
• Christopher M. Bishop, Pattern Recognition and Machine Learning, Springer, 2006. [Library] [Shops]
• John Shawe-Taylor and Nello Cristianini, Kernel Methods for Pattern Analysis, Cambridge University Press, 2004. [Library] [Shops]
• David J C MacKay, Information Theory, Inference, and Learning Algorithms, Cambridge University Press, 2003. (Free screen readable version available at http://www.inference.phy.cam.ac.uk/mackay/itila/book.html) [Library] [Shops]
• David Barber, Bayesian Reasoning and Machine Learning, Cambridge University Press, 2011. (Free screen readable version available at http://www.cs.ucl.ac.uk/staff/d.barber/brml)

• COMP6051 Social Networking Technologies (Optional) ------20学分；50%作业，50%考试；        参考书目：
  

• ELEC6032 Cryptography (Optional) ------20学分；0%作业，100%考试；        参考书目：
• D Kahn. The Codebreakers, Sphere books. ISBN 0-7221-51497 [Library] [Shops]
• P Wayner, Disappearing Cryptography, Academic Press. ISBN 0-12-738671-8 [Library] [Shops]
• Cracking DES, Electronic Frontier Foundation. ISBN 1-56592-520-3 [Library] [Shops]
• A.J. Menezes, P.C. van Oorschot and S.A. VanstoneApplied Cryptography, CRC Press, ISBN 0-8493-8523-7, 1997
• D.R. Stinson, Cryptography - theory and practice, CRC Press, ISBN 0-8493-8521-0, 1995
• B Schneier, Applied Cryptography, Wiley. ISBN 0-471-11709-9W Trappe and L Washington, Introduction to cryptography, Pearson International. ISBN 0-13-198199-4 [Library] [Shops]

• INFO6004 E-Business Strategy (Optional) ------20学分；100%作业，0%考试；        参考书目：
• Re-Engineering the Corporation, Hammer M, Champy J, Brealey 1993/2001 [Library] [Shops]
• Does IT Matter?, Nicholas Carr, Harvard 2004 [Library] [Shops]
• The New CIO Leader, Broadbent and Kitzis, Harvard 2005 [Library] [Shops]
• Streamlining, Michael de Kare-Silver, Palgrave 2002 [Library] [Shops]
• Beyond Bullet Points, Cliff Atkinson, Microsoft 2005 [Library] [Shops]
• e-Business: organizational and technical foundations, Papazoglou and Ribbers, Wiley 2006 [Library] [Shops]
• Creating a Winning E-Business, Napier HA, Rivers O, Wagner S, and Napier JB, Thomson 2006 [Library] [Shops]
• Strategy Safari, Mintzberg H, Ahlstrand B, Lampel J, Free Press 2005 [Library] [Shops]
• Advanced Presentations by Design, Abela A, Jossey Bass 2008 [Library] [Shops]
• E-Business, Schneider GP, Cengage Course Technology 2011 [Library] [Shops]
• E-Business and E-Commerce Management 3rd Edition, Dave Chaffey, Prentice Hall 2007 (or the second edition, 2004). [Library] [Shops]
• Making Technology Investments Profitable, Keen and Digrius, Wiley 2003 [Library] [Shops]
• Strategies for E-Business, Jelassi T, Enders A, FT/Prentice Hall/Pearson Education 2008 [Library] [Shops]
• E-Business: a management perspective, Reynolds J, Oxford 2010 [Library] [Shops]

Semester 3/SummerCOMP6029 MSc Project and Dissertation (Compulsory) ------60学分；15,000 word dissertation



有很多书目是Background Resources，这个最好是基本掌握的，有些是Core Resources，这个应该是在学的时候要用（个人理解），做的时候忘记标注了，如果也是学software的可以点链接去看，网站上还有很细则的课程介绍，不具体写了，只给想报这门科目的同学一个参考，（发现做理科整理的资料很少）

过阵子还想做个老师的整理介绍，有兴趣的同学可以多多关注论坛~~

越上人间

jacob.wd8816

哈哈~~你来了哈~~欢迎 欢迎，
很高兴这个帖子能对你有些帮助。

winnie981

谢谢同专业的同学啊~~

F0rever

jacob.wd8816

谢管理员 做门~~~

越上人间

有关software的------课程老师介绍
http://bbs.uker.net/thread-279049-1-1.html

越上人间

有关software的------课程老师介绍
http://bbs.uker.net/thread-279049-1-1.html

jacob.wd8816

谢谢支持~~

jacob.wd8816

早上看了下新闻~~下午打算开始弄了，谢谢关注~

mavisT

原帖由 jacob.wd8816 于 2011-5-14 23:46 发表

                               
登录/注册后可看大图

谢大家支持~~~下周有空我再整理下对应课程的老师~~~

好啊！期待啊！

骑着猪看日出

LZ辛苦了！支持啊！

jacob.wd8816

谢大家支持~~~下周有空我再整理下对应课程的老师~~~

jacob.wd8816

谢回复~

szwd_86

嗯，确实不错。