Towards an introductory formal programming course

Kung Kiu Lau, Vicky J. Bush, Pete J. Jinks

    Research output: Chapter in Book/Conference proceedingConference contribution

    Abstract

    The course material is outlined and the role of the software environment for teaching this material is sketched. This paper aims to get timely feedback from colleagues with similar or related views and/or experience.
    Original languageEnglish
    Title of host publicationSIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)|SIGCSE Bull
    EditorsDaniel Joyce
    Place of PublicationFort Collins, CO, United States
    PublisherAssociation for Computing Machinery
    Pages121-125
    Number of pages4
    Volume26
    ISBN (Print)0897916468
    DOIs
    Publication statusPublished - Mar 1994
    EventProceedings of the 25th SIGCSE Technical Symposium on Computer Science Education - Phoenix, AZ, USA
    Duration: 1 Mar 1994 → …
    http://dblp.uni-trier.de/db/conf/sigcse/sigcse1994.html#LauBJ94http://dblp.uni-trier.de/rec/bibtex/conf/sigcse/LauBJ94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/sigcse/LauBJ94

    Conference

    ConferenceProceedings of the 25th SIGCSE Technical Symposium on Computer Science Education
    CityPhoenix, AZ, USA
    Period1/03/94 → …
    Internet address

    Fingerprint

    Dive into the research topics of 'Towards an introductory formal programming course'. Together they form a unique fingerprint.

    Cite this