Applying an operational formal method throughout software engineering education

被引：0
|
作者：
Sobel, AEK [1 ]
机构：
[1] Miami Univ, Syst Anal Dept, Oxford, OH 45056 USA
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1998年 / 40卷 / 04期
关键词：
formal method; software engineering education; undergraduate curriculum;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A strategy for integrating formal method application into several courses that are found in a software engineering curriculum is presented. A balance is made between teaching undergraduates material which is traditionally taught at the graduate level and a desire to strengthen both the mathematical basis of software engineering cation and the complex problem solving skills of our resulting software engineers. (C) 1998 Elsevier Science B.V.
引用
收藏
页码：233 / 238
页数：6
相关论文
共 50 条
  • [31] Teaching of Formal Methods for Software Engineering
    Spichkova, Maria
    Zamansky, Anna
    [J]. ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 370 - 376
  • [32] Formal methods integration in software engineering
    Perseil, Isabelle
    Pautet, Laurent
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 5 - 11
  • [33] SOFTWARE ENGINEERING IMPLICATIONS FOR FORMAL REFINEMENT
    DIX, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 243 - 259
  • [34] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    [J]. Software & Systems Modeling, 2015, 14 : 3 - 4
  • [35] Formal concept analysis in software engineering
    Tonella, P
    [J]. ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 743 - 744
  • [36] SEFM: software engineering and formal methods
    Barthe, Gilles
    Pardo, Alberto
    Schneider, Gerardo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 3 - 4
  • [37] Embedding formal development in software engineering
    Robinson, K
    [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 203 - 213
  • [38] AN ENVIRONMENT FOR OPERATIONAL SOFTWARE ENGINEERING IN ADA
    BALDASSARI, M
    BRUNO, G
    [J]. TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 126 - 146
  • [39] FORMAL OR INFORMAL, PRACTICAL OR IMPRACTICAL - TOWARDS INTEGRATING FORMAL METHODS WITH INFORMAL PRACTICES IN SOFTWARE ENGINEERING-EDUCATION
    TSE, TH
    [J]. SOFTWARE ENGINEERING EDUCATION, 1993, 40 : 189 - 197
  • [40] Issues in applying empirical software engineering to software architecture
    Falessi, Davide
    Kruchten, Philippe
    Cantone, Giovanni
    [J]. SOFTWARE ARCHITECTURE, PROCEEDINGS, 2007, 4758 : 257 - +
12345