Abstract | ||
---|---|---|
The Software Engineering Programme at Oxford teaches formal methods as an integral part of its programme of professional education in software engineering. This paper explains how the methods are taught-in the context of emerging trends in software development, and in the context of existing practice and how their use is promoted through course design and motivating examples. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-30472-2_12 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
formal method,software development,software engineering,professional education | Software engineering,Computer science,Professional development,Theoretical computer science,Formal methods,Integral method,Software development,Social software engineering | Conference |
Volume | ISSN | Citations |
3294 | 0302-9743 | 4 |
PageRank | References | Authors |
0.41 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Davies | 1 | 673 | 80.95 |
Andrew Simpson | 2 | 282 | 49.37 |
Andrew Martin | 3 | 457 | 43.47 |