ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
◽
Cited By ~ 3
Author(s):
Kenneth R. Wood
Keyword(s):
Software Engineering
◽
Practical Approach
◽
Refinement Calculus
Download Full-text
Related Documents
Cited By
References
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
◽
Cited By ~ 1
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
◽
Cited By ~ 1
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
◽
Cited By ~ 24
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
◽
Cited By ~ 2
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
◽
Cited By ~ 16
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
◽
Cited By ~ 1
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
◽
Cited By ~ 1
Author(s):
Malcolm Bird
◽
Norman Schofield
Keyword(s):
Software Engineering
◽
Practical Approach
◽
Code Generator
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
◽
Cited By ~ 2
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close