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 条
  • [1] A software engineering curriculum incorporating an operational formal method
    Sobel, AEK
    [J]. 28TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE - CONFERENCE PROCEEDINGS, VOLS 1-3, 1998, : 807 - 810
  • [2] Incorporating an Operational Formal into a Software Engineering Curriculum
    Sobel, Ann E. Kelley
    [J]. IEEE TRANSACTIONS ON EDUCATION, 2001, 44 (02) : 219 - 219
  • [3] EDUCATION IN FORMAL METHODS FOR SOFTWARE ENGINEERING
    WORDSWORTH, J
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (01) : 27 - 32
  • [4] Applying PBL in Software Engineering Education
    dos Santos, Simone C.
    Moraes Batista, Maria da Conceicao
    Cavalcanti, Ana Paula C.
    Albuquerque, Jones O.
    Meira, Silvio R. L.
    [J]. 22ND CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 2009, : 182 - +
  • [5] Applying pantomime and reverse engineering techniques in software engineering education
    Pavlov, Vladimir L.
    Boyko, Nikita
    Babich, Alexander
    Kuchaiev, Oleksii
    Busygin, Stanislav
    [J]. 2007 37TH ANNUAL FRONTIERS IN EDUCATION CONFERENCE, GLOBAL ENGINEERING : KNOWLEDGE WITHOUT BORDERS - OPPORTUNITIES WITHOUT PASSPORTS, VOLS 1- 4, 2007, : 80 - 84
  • [6] Applying a blended learning strategy for software engineering education
    Bunse, C
    Grützner, I
    Ochs, M
    Peper, C
    Steinbach-Nordmann, S
    [J]. 18TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION & TRAINING, PROCEEDINGS, 2005, : 95 - 102
  • [7] APPLYING FORMAL SOFTWARE SYNTHESIS
    JULLIG, RK
    [J]. IEEE SOFTWARE, 1993, 10 (03) : 11 - 22
  • [8] Agile Formal Engineering Method for Software Productivity and Reliability
    Liu, Shaoying
    [J]. CEE-SECR'18: PROCEEDINGS OF THE 14TH CENTRAL AND EASTERN EUROPEAN SOFTWARE ENGINEERING CONFERENCE RUSSIA, 2018,
  • [9] Software engineering education:: Roles of formal specification and design calculi
    Bjorner, D
    Cuéllar, JR
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 365 - 409
  • [10] Applying formal methods to software reuse
    Houhamdi, Z
    [J]. 1st International Industrial Simulation Conference 2003, 2003, : 62 - 67
12345