Fiadeiro, Jose Luiz.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Recent trends in algebraic development techniques13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(Electronic resources)
Algebra and Coalgebra in Computer ScienceFirst International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
(1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(Electronic resources)
Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service); Tutu, Ionut.
(Electronic resources)
Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Mosses, Peter.; Orejas, Fernando.; SpringerLink (Online service)
(Electronic resources)
Business Process Management (vol. # 4102)4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings /
by:
(1998 :); Dustdar, Schahram.; Fiadeiro, Jose Luiz.; Sheth, Amit.; SpringerLink (Online service)
(Electronic resources)
Formal aspects of component software10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun.
(Electronic resources)
Subjects
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Component software
Mathematical Logic and Foundations
Business
Management of Computing and Information Systems.
Computer software
Algebra
Programming Techniques.
Computer Science
Management information systems
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Abstract data types (Computer science)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Computer science
Logic design
Business Information Systems.
Information Systems Applications (incl.Internet)
Logic, Symbolic and mathematical
Programming Techniques
Workflow
Computer Science.
Computers and Society.
Software Engineering
Logics and Meanings of Programs
Mathematics of Computing
Symbolic and Algebraic Manipulation.