SE curriculum design: methodologies, formal methods, and life cycle models. II. Formal methods
Cifuentes, C., Hughes, J.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding
Core software engineering subjects: a case study ('86-'94)
Thomas, R., Semeczko, G., Morarji, H., Mohay, G.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding
Experience with a project-based approach to teaching software engineering
Oudshoorn, M.J., Maciunas, K.J.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding
A visual Miranda machine
Auguston, M., Reinfelds, J.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding
The Calculator Project-formal reasoning about programs
Reeves, S., Goldson, D., Fung, P., O'Shea, T., Hopkins, M., Bornat, R.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding
Providing software engineering students with an experience in "big-computing"
Get full text
Conference Proceeding
Using a commercial integrated CASE tool in an undergraduate computing degree
Lindner, N., Steele, P., Dorling, R.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding
An integrated software cost model based on COCOMO and function point approaches
Get full text
Conference Proceeding
Breadth versus depth in software engineering education
Hurst, A.J., Hurst, T.J., Finlay, A.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding
Teaching C++: experience at Victoria University of Wellington
Biddle, R.L., Tempero, E.D.
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Published in Proceedings Software Education Conference (SRIG-ET'94) (1994)
Get full text
Conference Proceeding