Software Engineering and Formal Methods

As a general rule, all engineering applications use mathematics or mathematical tools as a basis for their development. However, software engineering is an exception to this rule.

Download Full-text

Software Engineering and Formal Methods

10.1007/978-3-319-22969-0 ◽

2015 ◽

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

Formal Methods and Software Engineering

10.1007/978-3-319-11737-9 ◽

2014 ◽

Cited By ~ 1

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

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 ◽

Cited By ~ 5

Author(s):

Ann E. Kelley Sobel

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Engineering Curriculum ◽

Empirical Results

Download Full-text

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

Software & Systems Modeling ◽

10.1007/s10270-009-0135-2 ◽

2009 ◽

Vol 10 (1) ◽

pp. 55-62 ◽

Cited By ~ 6

Author(s):

Joaquin Peña ◽

Christopher A. Rouff ◽

Mike Hinchey ◽

Antonio Ruiz-Cortés

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Agent Oriented Software Engineering

Download Full-text