A software engineering curriculum incorporating formal methods: a progress report

Proceedings Frontiers in Education 1997 27th Annual Conference. Teaching and Learning in an Era of Change ◽

10.1109/fie.1997.635991 ◽

1997 ◽

Author(s):

A.E. Kelley Sobel

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Progress Report ◽

Engineering Curriculum

Download Full-text

Empirical results of a software engineering curriculum incorporating formal methods

ACM SIGCSE Bulletin ◽

10.1145/331795.331846 ◽

2000 ◽

Vol 32 (1) ◽

pp. 157-161 ◽

Author(s):

Ann E. Kelley Sobel

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Engineering Curriculum ◽

Empirical Results

Download Full-text

Empirical results of a software engineering curriculum incorporating formal methods

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education - SIGCSE '00 ◽

10.1145/330908.331846 ◽

2000 ◽

Author(s):

Ann E. Kelley Sobel

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Engineering Curriculum ◽

Empirical Results

Download Full-text

Formal Methods In The Undergraduate Software Engineering Curriculum

10.18260/1-2--3519 ◽

2020 ◽

Author(s):

Mark Sebern ◽

Henry Welch

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Engineering Curriculum

Download Full-text

Software engineering and formal methods: SEFM 2019 special section

Software & Systems Modeling ◽

10.1007/s10270-021-00874-1 ◽

2021 ◽

Vol 20 (2) ◽

pp. 291-292

Author(s):

Peter Csaba Ölveczky ◽

Gwen Salaün

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Special Section

Download Full-text

"Peopleware" integration in an evolving software engineering curriculum

Proceedings Tenth Conference on Software Engineering Education and Training ◽

10.1109/sedc.1997.592445 ◽

2002 ◽

Author(s):

N. Habra

Keyword(s):

Software Engineering ◽

Engineering Curriculum

Download Full-text

Communication genres: Integrating communication into the software engineering curriculum

2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T) ◽

10.1109/cseet.2011.5876091 ◽

2011 ◽

Author(s):

Michael Carter ◽

Mladen Vouk ◽

Gerald C. Gannod ◽

Janet E. Burge ◽

Paul V. Anderson ◽

...

Keyword(s):

Software Engineering ◽

Engineering Curriculum

Download Full-text

Software engineering and formal methods

Communications of the ACM ◽

10.1145/1378727.1378742 ◽

2008 ◽

Vol 51 (9) ◽

pp. 54-59 ◽

Author(s):

Mike Hinchey ◽

Michael Jackson ◽

Patrick Cousot ◽

Byron Cook ◽

Jonathan P. Bowen ◽

...

Keyword(s):

Software Engineering ◽

Download Full-text

On the Design of a New Software Engineering Curriculum in Computer Engineering

Frontiers in Software Engineering Education - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57663-9_12 ◽

2020 ◽

pp. 178-195 ◽

Author(s):

Stefan Hallerstede ◽

Peter Gorm Larsen ◽

Jalil Boudjadar ◽

Carl Peter Leslie Schultz ◽

Lukas Esterle

Keyword(s):

Software Engineering ◽

Computer Engineering ◽

Engineering Curriculum

Download Full-text

Software engineering curriculum development model

Software Engineering Education - Lecture Notes in Computer Science ◽

10.1007/3-540-58951-1_108 ◽

1995 ◽

pp. 255-257

Author(s):

John S. Robinson

Keyword(s):

Software Engineering ◽

Curriculum Development ◽

Development Model ◽

Engineering Curriculum

Download Full-text

Software Engineering and Formal Methods

10.1007/978-3-319-41591-8 ◽

2016 ◽

Keyword(s):

Software Engineering ◽

Download Full-text