| Shuaiqiang's profileH.P. KingPhotosBlogLists |  Tools  Help |
|
|
8/4/2006 今天作报告了~~~今天轮到我作报告了。
上周五下午两位师姐作报告，唉，她们做ppt冯师姐做了60多页，杨师姐做了90多页，然后两个人都滔滔不绝的讲了一个半钟头，听得我眼都绿了。
这周我使尽浑身解数，直到自己都觉得无耻了，结果才作了52页ppt，而我师兄今天和我一起做，在我的一致要求下才被迫把文稿缩减到60页出头，唉，我觉得我讲的时候肯定要慢点仔细点讲了，否则师兄师姐们都讲一个半小时，我只讲半个小时就没事可做了，多没面子啊！
结果轮到我的时候我就不慌不忙，旁征博引，直到讲完为止，讲得师母都打电话催导师回家吃饭了，呵呵。最后同学说我讲了足有两个钟头？！耽误了人家吃饭了，其实我自己的肠子也都快饿断了，嗓子也快冒火了，只是我讲起来已经忘记了时间为何物了，而且冯师姐不停的在提问（幸亏她也懂一些，听得比较认真，否则真成了我的独角戏了），唉，呵呵，破纪录了，有种刘翔的感觉~~~
晚上碰到老潘，叫我一起打网球去，正好周末了啊，我就同意了，可是吃完饭一看时间，已经7点了，休息一下就黑天了，徒呼奈何，还是回实验室玩会儿吧，总算近几周不用我再报告，可以好好看看论文了。
6/20/2006 Journal articles on formal method, indexed by EI
1. Formal methods: The very idea - Some thoughts about why they work when they work 2. Reasoning about partial functions in the formal development of programs 3. A method for the automatic generation of test suites from object models 4. Communicating X-machines: A practical approach for formal and modular specification of large systems 5. Incremental introduction of behaviors with static software architecture 6. Unifying views of UML 7. The B method and the component-based approach 8. A framework for determining design correctness 9. μ-Calculus model checking in Maude 10. Experimental comparison of the comprehensibility of a Z specification and its implementation in Java 11. Composition of software artifacts modelled using Colored Petri nets 12. Foundations for designing secure architectures 13. Designing the automatic transformation of visual languages 14. A methodology of testing high-level Petri nets 15. Bases for the development of LAST: A formal method for business software requirements specification 16. Software engineering beyond our planning horizon: Automation for computer-based systems 17. A UML-based approach for problem frame oriented software development 18. Concurrency and refinement in the unified modeling language 19. On the semantics of software adaptation 20. Compositionality and locality for improving model checking in the selective mu-calculus 21. Formality, evolution, and model-driven software engineering 22. A formal approach to object-oriented software engineering 23. A survey of component based system quality assurance and assessment 24. From a B formal specification to an executable code: Application to the relational database domain 25. Dynamic graphical UML views from formal B specifications 26. Transformation from OCL data type to B formal specification 27. Verification of UML model elements using B 28. Rialto to B: An exercise in formal development of a language for multiple models of computation 29. Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language 30. Formal verification of fault-tolerant software design: The CSP approach |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
