A practical approach to software engineering using Z and the refinement calculus

Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '93 ◽

10.1145/256428.167068 ◽

1993 ◽

Author(s):

Kenneth R. Wood

Keyword(s):

Software Engineering ◽

Practical Approach ◽

Refinement Calculus

Download Full-text

A practical approach to software engineering using Z and the refinement calculus

ACM SIGSOFT Software Engineering Notes ◽

10.1145/167049.167068 ◽

1993 ◽

Vol 18 (5) ◽

pp. 79-88 ◽

Author(s):

Kenneth R. Wood

Keyword(s):

Software Engineering ◽

Practical Approach ◽

Refinement Calculus

Download Full-text

A Practical Approach to Continuous Improvement in Software Engineering

Software Quality ◽

10.1007/978-3-642-56529-8_3 ◽

2001 ◽

pp. 34-45 ◽

Author(s):

Andreas Birk ◽

Dieter Rombach

Keyword(s):

Software Engineering ◽

Continuous Improvement ◽

Practical Approach

Download Full-text

A practical approach of teaching Software Engineering

Proceedings 16th Conference on Software Engineering Education and Training, 2003. (CSEE&T 2003). ◽

10.1109/csee.2003.1191369 ◽

2003 ◽

Author(s):

M. Gnatz ◽

L. Kof ◽

F. Prilmeier ◽

T. Seifert

Keyword(s):

Software Engineering ◽

Practical Approach

Download Full-text

A practical approach to hardware empathy for software engineering students

Software Engineering Journal ◽

10.1049/sej.1989.0023 ◽

1989 ◽

Vol 4 (4) ◽

pp. 186 ◽

Author(s):

J. J. Rowland

Keyword(s):

Software Engineering ◽

Engineering Students ◽

Practical Approach

Download Full-text

Teaching software engineering and software project management: An integrated and practical approach

2012 34th International Conference on Software Engineering (ICSE) ◽

10.1109/icse.2012.6227027 ◽

2012 ◽

Author(s):

Gabriele Bavota ◽

Andrea De Lucia ◽

Fausto Fasano ◽

Rocco Oliveto ◽

Carlo Zottoli

Keyword(s):

Project Management ◽

Software Engineering ◽

Practical Approach ◽

Software Project ◽

Software Project Management

Download Full-text

Software development with Z: a practical approach to formal methods in software engineering

Information and Software Technology ◽

10.1016/0950-5849(92)90171-k ◽

1992 ◽

Vol 34 (11) ◽

pp. 763

Author(s):

B Molnar

Keyword(s):

Software Engineering ◽

Software Development ◽

Formal Methods ◽

Practical Approach

Download Full-text

Innovative Teaching of Software Engineering: Practical Approach with Labs

2009 22nd Conference on Software Engineering Education and Training ◽

10.1109/cseet.2009.60 ◽

2009 ◽

Author(s):

Suthikshn Kumar

Keyword(s):

Software Engineering ◽

Practical Approach ◽

Innovative Teaching

Download Full-text

Software development with Z. A practical approach to formal methods in software engineering

Control Engineering Practice ◽

10.1016/0967-0661(94)91068-5 ◽

1994 ◽

Vol 2 (3) ◽

pp. 555-556

Keyword(s):

Software Engineering ◽

Software Development ◽

Formal Methods ◽

Practical Approach

Download Full-text

A practical approach to software engineering by using an interaction handler and skeleton code generator

Computer-Aided Design ◽

10.1016/0010-4485(85)90030-2 ◽

1985 ◽

Vol 17 (8) ◽

pp. 374-378 ◽

Author(s):

Malcolm Bird ◽

Norman Schofield

Keyword(s):

Software Engineering ◽

Practical Approach ◽

Download Full-text

Problem Based Learning a Practical Approach for Software Engineering Interdisciplinary Teaching

2011 Eighth International Conference on Information Technology: New Generations ◽

10.1109/itng.2011.180 ◽

2011 ◽

Author(s):

Melis Mendes Silva ◽

Synara Rosa Gomes dos Santos ◽

Juliana Cristina Ribeiro da Silva ◽

Luiz Alberto Vieira Dias ◽

Adilson Marques da Cunha

Keyword(s):

Software Engineering ◽

Problem Based Learning ◽

Practical Approach ◽

Interdisciplinary Teaching

Download Full-text