Paper Info
Title
Integrating Design Formalisms in Software Engineering Education
Abstract
Reflecting current industry trends, most Computer Science and Software Engineering degreeprograms place strong emphasis on the Unified Modelling Language (UML) as a graphical approach to software design and requirement analysis. To a lesser extent, Formal Methods utilizing languages like Z are found within many degree programs, but often only as a recommended elective as suggested by IEEE Computing Curricula 2001. Data Flow Diagrams(DFDs) and other graphical techniques are also included in the curricula of many programs. The various approaches are often taught in isolation, with little connection demonstrated between them. This paper describes the benefits of an integrated approach when teaching these design formalisms to undergraduate students. A significant educational benefit of an integrated approach is that it fosters a deeper understanding of the notational semantics available in any one technique. Co-development utilizing multiple techniques empowers the student to exploit the strengths of alternate representations of the same model. It also provides a rigorous means to analyse the correctness and consistency of graphical design representations by utilizing more formal methods.
Year
DOI
Venue
2004
10.1109/CSEE.2004.1276514
CSEE&T
Keywords
Field
DocType
graphical design representation,data flow diagrams,integrated approach,graphical technique,computer science,design formalisms,software engineering education,ieee computing curricula,software design,various approach,graphical approach,integrating design formalisms,teaching,unified modeling language,graphic design,unified modelling language,formal specification,formal methods,data flow diagram,requirement analysis,computer science education,formal method,software engineering
Software design,Systems engineering,Software engineering,Unified Modeling Language,Computer science,Correctness,Requirements analysis,Formal specification,Formal methods,Rotation formalisms in three dimensions,Data flow diagram
Conference
ISBN
Citations 
PageRank 
0-7695-2099-5
3
0.52
References 
Authors
3
3
Name
Order
Citations
PageRank
Brian R. von Konsky17010.82
Mike Robey292.11
Sule Nair3141.15