Integrating design formalisms in software engineering education

Software Engineering Education Conference, Proceedings

Volumn 17, Issue , 2004, Pages 78-83

  Von Konsky, Brian R ^a   Robey, Mike ^a   Nair, Sule ^a  

^a CURTIN UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE; CURRICULA; DATA REDUCTION; ENGINEERING EDUCATION; REQUIREMENTS ENGINEERING; SEMANTICS; SPECIFICATIONS; STANDARDS; STUDENTS;

DATA FLOW DIAGRAMS (DFD); FORMAL METHODS; GRAPHICAL DESIGN REPRESENTATIONS; UNIFIED MODELING LANGUAGE (UML);

SOFTWARE ENGINEERING;

EID: 2342541589     PISSN: 10930175     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/csee.2004.1276514     Document Type: Conference Paper

References (6)

1. Nissanke, N (1999) Formal Specification: Techniques and Applications, ISBN 1-85233-002-3, Springer-Verlag.
2. Ward, PT and Mellor, SJ (1985) Structured Development for Real-Time Systems, Volume 1: Introduction and Tools, ISBN 0-13-854787-4, Prentice Hall.
3. Douglass, BP (2000) Chapter 1: Introduction to Real-Time Systems and Objects in Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd ed., ISBN 0-201-65784-8, pp 1-47.
4. Tin, P-T and Tan KP (1992) Modelling of Visualised Data-Flow Diagrams using Petri-Net Model, Software Engineering Journal, pp 4-12.
5. Sobel, AE and Clarckson, MR (2002) Formal methods Application: An Empirical Tale of Software Development, IEEE Transactions on Software Engineering, 28(3):308-320.
6. Ledang, H and Souquieres, J (2002) Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B, Proceedings of the Ninth Asia Pacific Software Engineering Conference (APSEC '02)