期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

软件工程创新性实验教学课程的实践与探讨

The Practice and Exploration of the Innovative Experiment Teaching for Software Engineering Curriculum
下载PDF
导出
摘要 传统的软件开发方法以及对应的软件工程课程实验设计通常缺乏一致性、系统性,不利于提高学生软件开发的综合实践能力。针对上述问题,开设实施了软件工程创新性实验教学项目"基于AADL模型驱动的软件开发方法",使得软件开发过程的各个阶段集成于统一、一致的建模框架中。同时,辅以"做中学"与项目驱动相结合的教学模式,让学生从实践中体验一个完整的软件开发过程,提高学生的自主学习探索、软件开发综合实践能力,为软件工程实践教学的开展提供实用的可选方案。 The traditional software development methodology and software engineering curriculum experiments lack of consistent and systematic design.It is not easy to improve software development synthetic practice ability for the students.To address this problem,a"model-driven software development method based on the Architecture Analysis and Design Language(AADL)"project was applied into the software engineering innovative experiment teaching curriculum,which integrated each phase in software development process into unified and consistent modeling framework.Besides,the teaching mode with“Learn by Doing”and project-driven is designed for students to experience integrated software development process in practice,further to improve their independent exploration ability and comprehensive practical ability of the students.This study provides an alternative for carrying out the software engineering innovative experimental teaching program.
作者 王颖 陈仲民 王建勇 Wang Ying;Chen Zhongmin;Wang Jianyong
机构地区 华中农业大学信息学院
出处 《科教文汇》 2020年第11期86-88,共3页 Journal of Science and Education
基金 湖北省高校教学改革研究项目《高等农业院校计算机专业软件类课程设置与实践教学的研究》,项目编号:2017185。
关键词 软件工程 创新性实验教学 AADL 模型驱动 项目驱动 software engineering innovative experiment teaching AADL model-based driven project-driven
分类号 G642.423 [文化科学—高等教育学]
  • 相关文献

参考文献1

二级参考文献92

  • 1Fersman E,Pettersson P,Wang Y.Timed automata with asynchronous processes:Schedulability and decidability.In:Proc.of the TACAS 2002.Berlin:Springer-Verlag,2002.67-82.
  • 2Harbour MG,García JJG,Gutiérrez JCP,Moyano JMD.MAST:Modeling and analysis suite for real-time applications.In:Proc.of the 13th Euromicro Conf.on Real-Time Systems.Washington:IEEE Computer Society Press,2001.125-134.
  • 3Jürjens J.Towards development of secure systems using UMLsec.In:Proc.of the 4th Int'l Conf.on Fundamental Approaches to Software Engineering.London:Springer-Verlag,2001.187-200.
  • 4Bodeveix JP,Cavallero R,Chemouil D,Filali M,Rolland JF.A mapping from AADL to Java-RTSJ.In:Proc.of the 5th Int'l Workshop on Java Technologies for Real-Time and Embedded Systems.New York:ACM Press,2007.165-174.
  • 5Jahier E,Halbwachs N,Raymond P,Nicollin X,Lesens D.Virtual execution of AADL models via a translation into synchronous programs.In:Proc.of the 7th ACM & IEEE Int'l Conf.on Embedded Software.New York:ACM Press,2007.134-143.
  • 6Hamid I,Zalila B,Najm E,Hugues J.Automatic framework generation for hard real-time applications.Innovations in Systems and Software Engineering:A NASA Journal,2008,4(1):107-122.[doi:10.1007/s11334-008-0044-5].
  • 7Zalila B,Pautet L,Hugues J.Towards automatic middleware generation.In:Proc.of the 11th IEEE Int'l Symp.on Object-Oriented Real-Time Distributed Computing.Washington:IEEE Computer Society Press,2008.221-228.
  • 8Vergnaud T,Hugues J,Pautet L,Kordon F.PolyORB:A schizophrenic middleware to build versatile reliable distributed applications.In:Proc.of the 9th Int'l Conf.on Reliable Software Technologies Ada-Europe 2004.Berlin:Springer-Verlag,2004.106-119.
  • 9The assert-project final report.2007.http://www.assert-project.net.
  • 10OMG.Systems Modeling Language V1.0.2007.http://www.omg.org/cgi-bin/doc-formal/2007-09-01.

共引文献75

科教文汇
2020年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部