Languages
Fraser, Gordon.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Testing - practice and research techniques = 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
Bottaci, Leonardo.; Fraser, Gordon.; SpringerLink (Online service)
(Language materials, printed)
Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
Fraser, Gordon.; Teixeira de Souza, Jerffeson.; SpringerLink (Online service)
(Electronic resources)
Fundamental approaches to software engineering = 28th International Conference, FASE 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings /
by:
Fraser, Gordon.; SpringerLink (Online service); ETAPS (Conference) (2025 :); FASE (Conference) (2025 :); Boronat, Artur.
(Electronic resources)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
Fraser, Gordon.; Gargantini, Angelo.; SpringerLink (Online service); TAP 2010 (2010 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Pattern Recognition.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Academic-industrial collaboration
Operating Systems.
Computation by Abstract Devices.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Computer software- Verification
Computer Science.
Computer Communication Networks.
Computer System Implementation.
Natural Language Processing (NLP).