现代软件工程Itroduction.pptVIP

Satish Mishra Introduction to UML Morden Software Engineering Shengbing Ren renshengbing@ Central South University, School of Software Introduction 软件产业的发展走势(李德毅院士) 软件工程发展的关注域(李德毅院士) 软件在演化中生长完善(李德毅院士) Contents Software Process Process Model Process Improvement: CMM Software Development Structured Oriented Method Objected Oriented Method Services Oriented Method Formal Software Modeling and Verification Petri Nets and Software Modeling Temporal Logic and Model Checking Software Evolution Law Technology Process Web Sites /uml /software /kimsoft.htm / / Book References 任胜兵等. 软件工程. 北京：北京邮电大学出版社，2004. 陈松乔等. 现代软件工程. 北京：清华大学出版社，2004. Arlow J., Neustadt I. UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design (2rd edition). Gamma, E. et al. Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education. Sommerville, I. Software Engineering.Pearson Education. Roger S. Pressman. Software Engineering: A Practitioner’s Approach. Kurt Jensen, Lars M. Kristensen. Coloured Petri Nets. Springer, 2009 Joost-Pieter Katoen. Concepts, Algorithm, and Tools for Model Checking, Lecture Notes, 1999 Any Question? * 独立编程服务 代表公司：CSC 特点：为单 个客户提供定制软件，包括技术咨询、软件编程和维护。软件销售是一次性的 软件产品 代表公司： Informatics 特点：保护知识产权，以许可证方式销售软件产品 企业解决方案 代表公司：ORACLE 特点：面向领域，以企业解决方案供应商的面目出现 面向大众的成套软件 代表公司：微软 特点：基于个人计算，服务大众市场 网络增值服务 代表公司：Google 特点：向端用户收小头，向寄生在服务上的广告商要大头 60-70年代 80年代 90年代 本世纪初 面向过程 面向对象 面向构件 面向网络服务 OOD OMT UML CORBA DCOM J2EE XML SOAP HTTP OWL UDDI 时间 WSDL 关注域 SASD SASD Structure Analysis, Structure design 结构化设计方法 OOD Object-Oriented Programming 面向对象设计 UML Unified Modeling Language 统一建模语言 OMT Object Modeling Technology 对象建模方法 CORBA Common Object Request Broker Architecture 公共对象请求代理体系结构 DCOM Distribute Component Object Model 分布式组件对象模型 J2EE Java2 Platform Enterprise Edition JAVA平台企业版 HTTP Hypertext Transfer Protocol 超文本传输协议 XML Extensible Markup Language 可扩展标记语言 UDDI Universal Description, Discovery and Integration 统一描述、发现和集成 OWL Ontology Web