Adroddiadau Ymchwil Achlysurol
Adroddiadau Achlysuroly Casgliad Hanes Cyfrifiadura
Mae Casgliad Hanes Cyfrifiadura Prifysgol Abertawe yn adnodd ar gyfer ymchwil ac addysgu gwreiddiol ynghylch technolegau gwybodaeth a chyfathrebu a'u heffaith ar y byd. Yn y gyfres hon o Adroddiadau AchlysurolAdHoCC rydym yn dwyn ynghyd nodiadau ac erthyglau a ysgrifennwyd amdano, neu oedd â chefnogaeth y Casgliad.
Hefyd, byddwn yn dangos detholiad o waith myfyrwyr.
Mae'r mynegai xy.z yn dynodi adroddiad rhif z a fu ar gael gan y Casgliad Hanes Cyfrifiadura ers y flwyddyn 20xy; nodwch efallai nad yn y flwyddyn 20xy y cyhoeddwyd y darn yn gyntaf.
Adroddiadau Achlysurol
John Tucker, The Computer Revolution and Us: Computer Science at Swansea University from the 1960s.
Hanes o gyfrifiadura cynnar yn ymchwil, addysg a chenhadaeth ddinesig Prifysgol Abertawe tan 1989. Cyhoeddwyd: Casgliadau Digidol Prifysgol Abertawe, Traethodau’r Canmlwyddiant 2020.
21.1 J V Tucker, The Computer Revolution and Us: Cyfrifiadureg ym Mhrifysgol Abertawe ers y 1960au.
John Tucker, History of Computing Collection at Swansea University.
Cyflwyniad i Gasgliad Hanes Cyfrifiadura Prifysgol Abertawe sy'n canolbwyntio ar ei archifau a'i berthnasedd i wyddor rhaglennu cyfrifiadurol. Cyhoeddwyd: BCS FACS FACTS, Rhifyn 2021-1, Chwefror 2021, 10-17.
21.2 J V Tucker, History of Computing Collection at Swansea University.
John Tucker, Peter Landin Lecture 2020 Algol 60 @ 60: Its place in Formal Semantics: by Tim Denvir and Troy Astarte.
Sylwebaeth ar ddarlith Peter Landin 2020 ar adeg dathlu 60 mlynedd o Algol 60. Cyhoeddwyd: BCS FACS FACTS, Rhifyn 2021-1, Chwefror 2021, 30-37.
John Tucker, Haskell B Curry at War.
Erthygl ar Adroddiad ENIAC 615 gan Haskell B Curry a Willa Wyatt o'r Casgliad. Cyhoeddwyd: BCS FACS FACTS, Rhifyn 2021-2, Gorffennaf 2021, 30-34.
21.4 J. V Tucker, Haskell B Curry at War.
John Tucker, Unfinished Business: Abstract Data Types and Computer Arithmetic.
Erthygl am bapurau yn y Casgliad ynghylch ymdrechion cynnar i fodelu yn fathemategol a dadansoddi rhifyddeg gyfrifiadurol gan Goldstine a von Neumann (1947) a van Wijngaarden (1966). Cyhoeddwyd: BCS FACS FACT Rhifyn 2022-1, Ionawr 2022, 60-68.
21.5 J V Tucker, Unfinished Business: Abstract Data Types and Computer Arithmetic.
John Tucker, PL/1 in New York, Winchester and Vienna.
Erthygl am Adroddiadau Labordy IBM Vienna o'r Casgliad ynghylch manyleb ffurfiol yr iaith PL/1. Cyhoeddwyd: BCS FACS FACTS, Rhifyn 2022-2, Gorffennaf 2022, 5-15.
22.6 J V Tucker, PL/1 in New York, Winchester and Vienna.
John Tucker, Origins and Development of Formal Methods for Software Engineering.
Traethawd ar darddiad a datblygiad dulliau ffurfiol ar gyfer rhaglennu a pheirianneg meddalwedd. Mae damcaniaethau rhaglennu ieithoedd a dulliau ar gyfer rhaglennu a rhesymu am raglenni'n un o feysydd arbenigol y casgliad. Cyhoeddwyd y traethawd yn y llyfr testun uwch: Roggenbach, M., Cerone, A., Schlingloff, H., Schneider, G., Shaikh, S.A. (argraffiad), Formal Methods for Software Engineering: Languages, Methods, Application Domains, Springer, 2021, 455-488.
22.7 J V Tucker, Origins and Development of Formal Methods for Software Engineering
Mary Croarken, L.J. Comrie Collection at Swansea University.
Mae Casgliad L.J. Comrie yn rhan o Gasgliad Hanes Cyfrifiadura ym Mhrifysgol Abertawe. Roedd L.J. Comrie (1893 - 1950) yn arloeswr cyfrifiadura gwyddonol o bwys yn yr ugeinfed ganrif. Yn ystod y 1930au a'r 1940au, ef oedd arbenigwr blaenllaw'r DU mewn tablau mathemategol a'u cyfrifiad yn ogystal â chymhwyso peiriannau cyfrifiannu masnachol i broblemau gwyddonol. Mae Casgliad L.J. Comrie yn canolbwyntio ar dablau mathemategol a gwyddonol ac mae'n fawr o ran nifer yr eitemau a hyd a lled cwmpas y pynciau sy'n cael eu cynnwys.
22.8 M Croarken, Introduction to the Comrie Collection at Swansea University
Troy K Astarte, From Monitors to Monitors A Primitive History.
Wrth i gyfrifiaduron ddatblygu'n systemau aml-gydran yn y 1950au, roedd yr awydd am ddealltwriaeth a rheolaeth well o 'concurrency' yn lledaenu. Mae'r papur hwn yn archwilio'r ffordd gwnaeth y broblem ymddangos a'i thrin a'i thrafod ar draws diwylliannau cyfrifiadura amrywiol rhwng 1955 a 1985. O ddiwedd y 1950au, defnyddiwyd rhaglenni systemau o'r enw 'monitorau' i reoli cydamseru'n uniongyrchol.
23.9 T K Astarte, From Monitors to Monitors A Primative History
Troy K Astarte, Difficult Things are Difficult to Describe.
This paper explores the context of formal semantics for programming language and situates the work within the history of computer science, discussing how and why the community involved changed their focus to program correctness.
23.10 T K Astarte, Difficult Things are Difficult to Describe
