This book constitutes the refereed proceedings of the 7th International Conference of B Users， B 2007， held in Besançon， France in January 2007.The 30 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of interest to the conference included： industrial applications and case studies using B， integration of model-based specification methods in the software development lifecycle， derivation of hardware-software architecture from model-based specifications， expressing and validating requirements through formal models， in particular verifying security policies， theoretical issues in formal development， model-based software testing， tools supporting the B method， development by composition of specifications， validation of assembly of COTS by model-based specification methods， B extensions and/or standardization.

This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming， AFP 2004， in Tartu， Estonia in August 2004. The book presents the following nine， carefully cross-reviewed chapters， written by leading authorities in the field： Typing Haskell with an Attribute Grammar， Programming with Arrows， Epigram： Practical Programming with Dependent Types， Combining Datatypes and Effects， GEC： a toolkit for Generic Rapid Prototyping， A Functional Shell that Operates on Typed and Compiled Applications， Declarative Debugging with Buddha， Server-Side Web Programming in WASH， and Refactoring Functional Programs.

本书针对复杂信息系统能力需求，主要定位于软件领域的需求工程和系统工程领域的建模仿真方法，具有一定的专业性和针对性。本书所介绍的建模与仿真方法，只限定于系统能力需求模型，包括能力需求的相关概念，多视图体系结构框架，并对该方法所涉及的系统建模语言SysML、BNF规范、动作语义等进行简单描述，对于这些语言工具具体的内容未作详细介绍，读者可参见相关专业书籍。本书重点关注能力需求的可执行建模方法，通过在能力需求模型中添加动作语义，实现了能力需求模型的可执行仿真，最后通过配套的可执行仿真评估工具的介绍，为读者更加直观了解该方法的可操作性和可用性提供参考。

This book constitutes the refereed proceedings of the 4th International Conference on Service-Oriented Computing， ICSOC 2006， held in Chicago， IL， USA in December 2006.The 34 revised full papers and 16 short papers presented together with 12 industrial and demo papers were carefully reviewed and selected from over 200 submissions. The papers are organized in topical sections on service mediation， grid services and scheduling， mobile and P2P services， service composition， adaptive services， data intensive services， service management： registry， reliability， XML processing， service modeling， business services： transaction， licensing， and SLA assessment， service discovery and selection， quality of service （policy， transaction and monitoring）， business service modeling， service assembly， vision papers， experience with deployed SOA， SOA architectures， early adoption of SOA technology.

这是一本用数据分析来讲时间管理和人生管理的书。作者用自己的亲身经历讲述了自己从月薪1300到年薪百万的成长故事。本书提供了时间管理的底层逻辑，人人可用的方法论，作者亲身经验与复盘，拿来即用的时间管理工具。通过道、法、术、器全方位帮助读者重塑时间管理认知。第1章内容：通过巧妙投资时间账户，作者初入职场9个月4倍涨薪的经验复盘。第2章内容：刷新认知塑造3个习惯，每天能挤出6个多小时的自我可支配时间。第3章内容：把控好人生中的重要事，降低风险意外，以节省无谓的时间＆金钱支出。第4章内容：提供受益终身的时间管理工具＆习惯，自己打造一套优于常人的操作系统。时间是资源，管理是动作。时间管理是通过一系列管理动作，为我们挤出可支配时间这种宝贵资源，然后投资到生命中更有价值的事情上。帮助职场人刷新认知，塑造各种习惯，最终让健康和财富获得稳定且持续的增长。

Scratch是一种无代码、图形化编程技术，学习门槛低，但对计算思维的训练一点不含糊，非常适合青少年的学习和应用。本书目的着眼青少年计算思维的提升，训练青少年的编程与逻辑思维。本书是依据世界少年儿童的编程实践而编写，其特点是项目引领，任务驱动，寓教于乐。本书结合少年儿童的认知特点和教学规律，通过讲解24个具体的趣味项目，让学生循序渐进地系统掌握 Scratch 的基本指令和编程方法，初步达到计算思维的训练。

This book constitutes the joint refereed proceedings of four workshops held in conjunction with the 8th International Conference on Object-Oriented Information Systems， OOIS 2002， in Montpellier， France in September 2002.The 30 revised full papers presented together with four workshop summaries were carefully reviewed and selected. In accordance with the workshop topics， the papers are organized in topical sections on managing specialization/generalization hierarchies， reuse in object-oriented information systems design， efficient Web-based information systems， and model-driven approaches to software development.

本书通过具体示例演示大规模C++开发的基本设计设想，为各种规模的项目奠定基础，并演示成功进行大规模实际开发所需的过程、方法、技术和工具。通过阅读本书，读者可以逐步改变自己的设计和开发方法。本书旨在使用软件从业人员熟悉的C++构件来解决现实问题，同时确定（并激发）现代C++替代方案。作者利用超过30年的构建大规模、关键任务的企业系统的实践经验，展示了如何创建和增长软件资本。本书专为有经验的C++软件开发者和系统设计师编写，从事大型软件开发工作的架构师或项目负责人等也可以通过阅读本书解决实际工作中的问题。

本书全面而详细地介绍现代密码学的理论和相关算法。可帮助读者将所学知识应用于信息安全的实践中。全书共分11章，第1章引言介绍现代密码学的基本概念，其余各章分别介绍流密码、分组密码、公钥密码、密钥分配与密钥管理、消息认证和哈希函数、数字签名和认证协议、密码协议、可证明安全、网络加密与认证、区块链。本书从教材使用的角度考虑，概念清晰、结构合理、通俗易懂、深入浅出，并充分考虑方便教师在教学过程中的实施，同时还注意与其他专业课教学的衔接。本书取材新颖，不仅介绍现代密码学涉及的基础理论和实用算法，同时也涵盖了现代密码学的**研究成果，力求使读者通过本书的学习了解本学科**的发展方向。 本书可作为高等学校计算机等相关专业本科生和研究生的教材，也可作为通信工程师和计算机网络工程师的参考读物。

本书将硬件编程与经典名著《西游记》创意性融合，以读名著学编程的形式，在讲好经典故事的基础上，激发读者对硬件编程的创作兴趣。全书共27章，每章包含1个耳熟能详的西游故事，如“悟空出世”“齐天大圣”“龙宫寻宝”等，以这些西游故事为创作背景，循序渐进地为读者讲解如何连接电路、调试硬件，以及使用图形化编程软件复现经典情节。此外，每章还设有扩展部分，目的是引导读者自由创作，享受创作乐趣。全书结构清晰，内容由易至难，适合青少年编程爱好者及机器人制作爱好者。