On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book

Dines Bj?rner

首页> 外文期刊>Journal of Universal Computer Science >On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book

【24h】

On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book

机译：基于形式技术的软件工程教学的思考-关于不同软件工程教科书的思考和计划

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present the didactic bases for a different kind of text book on Software Engineering - one that is based on semiotics, proper description principles, informal narrations and formal specifications, on phase, stage and stepwise development from developin

机译：我们提供了另一种关于软件工程的教科书的教学法基础，该教科书基于符号学，适当的描述原理，非正式的叙述和正式的规范，并基于从开发阶段开始的阶段，阶段和逐步发展

著录项

来源
《Journal of Universal Computer Science》 |2001年第8期|共27页
作者
Dines Bj?rner;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
入库时间 2022-08-18 17:25:13

相似文献

外文文献
中文文献
专利

1. Reading up books: Software engineering — The critical component for computing: The goal of software engineering is to provide structures and techniques that will lead to the production of high-quality programs [J] . Keller James M. Potentials, IEEE . 1983,第3期

机译：阅读书籍：软件工程-计算的关键组成部分：软件工程的目标是提供将导致产生高质量程序的结构和技术。
2. Teaching Software Engineering Project Management – A Novel Approach for Software Engineering Programs [J] . Craig Caulfield, David Veal, Stanislaw Paul Maj Modern Applied Science . 2011,第5期

机译：教授软件工程项目管理–一种新的软件工程程序方法
3. Teaching Practical Software Engineering and Global Software Engineering: Evaluation and Comparison [J] . Dragutin Petkovic, Gary Thompson, Rainer Todtenhoefer SIGCSE bulletin . 2006,第3期

机译：教学实用软件工程和全球软件工程：评估和比较
4. Formal Techniques in Software Engineering: Correct Software and Safe Systems [C] . Peter Liggesmeyer International Conference on Theorem Proving in Higher Order Logics(TPHOLs; 20070910-13; Kaiserslautern(DE) . 2007

机译：软件工程中的正式技术：正确的软件和安全系统
5. A formal component-based software engineering approach for developing trustworthy systems. [D] . Mohammad, Mubarak Sami. 2009

机译：用于开发可信赖系统的基于组件的正式软件工程方法。
6. Book III: Scientific and Research Applications in Medical Care: Software Development Methodologies and the User Software Engineering Methodology [O] . Anthony I. Wasserman 1982

机译：第三本书：医疗领域的科学研究应用：软件开发方法论和用户软件工程方法论
7. Advances in Software Engineering Techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers [O] . Hutchison, David, Kanade, Takeo, Kittler, Josef, 2012

机译：软件工程技术的进展：第四届IFIP TC 2中东欧软件工程技术会议，CEE-SET 2009，波兰克拉科夫，2009年10月12日至14日。
8. Proceedings of the Annual Software Engineering Techniques Workshop (1st) onSoftware Reengineering, May 1994 [R] . Green, L., Bergey, J., Lamia, W., 1994

机译：1994年5月关于软件再造的年度软件工程技术研讨会（第1期）会议录

On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book

摘要

著录项

相似文献

相关主题

期刊订阅