Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6318
Title: Paradigm integration in a specification course
Authors: Martins,MA
Alexandre Castro Madeira
Luís Soares Barbosa
Renato Jorge Neves
Issue Date: 2014
Abstract: As a complex artefact, software has to meet requirements formulated and verified at different levels of abstraction. A basic distinction is drawn between behavioural (dynamic) and data (static) aspects. From an educational point of view, although disguised under a number of different designations, both issues are usually present, but kept separated, in typical Computer Science undergraduate curricula. It is often argued that they tackle orthogonal problems through essentially different methods. This paper explores an alternative path in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration. © 2014 IEEE.
URI: http://repositorio.inesctec.pt/handle/123456789/6318
http://dx.doi.org/10.1109/iri.2014.7051929
metadata.dc.type: conferenceObject
Publication
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00A-9MV.pdf595.8 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.