Lopes, Antonia.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Software architecture11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings /
by:
(1998 :); Lopes, Antonia.; SpringerLink (Online service); de Lemos, Rogerio.
(Electronic resources)
Coordination models and languages25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
(1998 :); Jongmans, Sung-Shik.; Lopes, Antonia.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed systemsJoint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
by:
(1998 :); Lee, David.; Lopes, Antonia.; Poetzsch-Heffter, Arnd.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Electronic data processing
Logics and Meanings of Programs.
Software architecture
Programming Techniques.
Computing Milieux.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer Communication Networks.
Computer Science.
Computer Systems Organization and Communication Networks.
Object-oriented programming (Computer science)