skip to content

Fiadeiro, José Luiz 1961-

Overview
Works: 36 works in 170 publications in 2 languages and 4,280 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Creator
Classifications: QA76.76.D47, 005.1
Publication Timeline
Key
Publications about José Luiz Fiadeiro
Publications by José Luiz Fiadeiro
Most widely held works by José Luiz Fiadeiro
Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers by José Luiz Fiadeiro( Book )
16 editions published in 1999 in English and German and held by 286 libraries worldwide
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Algebraic Development Techniques, WADT'98, held in Lisbon, Portugal, in April 1998, as part of ETAPS'98. The 21 revised full papers presented were selected during two rounds of reviewing and revision for inclusion in the book. The papers address all current issues in the area, in particular algebraic (and other) specification techniques, algebraic combination of logics, algebraic structures and logics for concurrency, other algebraic structures and their logics, specification languages and their associated methods and tools, and term rewriting and theorem proving
Categories for software engineering by José Luiz Fiadeiro( Book )
19 editions published in 2005 in English and German and held by 233 libraries worldwide
A gentle introduction to category theory oriented to software engineering. Assuming only a minimum of mathematical background, it explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia
Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings by José Luiz Fiadeiro( Book )
12 editions published in 2005 in English and held by 230 libraries worldwide
Annotation
Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers by José Luiz Fiadeiro( Book )
17 editions published in 2005 in English and held by 212 libraries worldwide
"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers by José Luiz Fiadeiro( Book )
20 editions published in 2007 in English and Undetermined and held by 207 libraries worldwide
Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedings by Schahram Dustdar( Book )
13 editions published in 2006 in English and held by 204 libraries worldwide
Software design using Java 2 by K Lano( Book )
8 editions published in 2002 in English and held by 42 libraries worldwide
A software engineering text aimed at intermediate and advanced students on undergraduate programmes, this title takes a practical approach, focusing on the essential aspects of the design process in a practical and directed manner, using UML and Java 2
Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27 - 29, 2013 ; Revised selected papers by José Luiz Fiadeiro( file )
7 editions published in 2014 in English and held by 18 libraries worldwide
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds
Foundations of global computing 05081 abstracts collection ; Dagstuhl seminar ( Computer File )
1 edition published in 2006 in English and held by 16 libraries worldwide
Algebra and coalgebra in computer science : first international conference ; proceedings ( Book )
4 editions published in 2005 in English and held by 9 libraries worldwide
Algebra and coalgebra in computer science : proceedings by International Conference on Algebra and Coalgebra in Computer Science( Book )
1 edition published in 2005 in English and held by 4 libraries worldwide
Recent trends in algebraic development techniques 17th international workshop ; revised selected papers ( Book )
3 editions published in 2005 in English and held by 4 libraries worldwide
Business Process Management : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings ( file )
1 edition published in 2006 in English and held by 2 libraries worldwide
Business Process Management (vol. # 4102) by Schahram Dustdar( Book )
6 editions published in 2006 in English and held by 1 library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Fiadeiro, J. 1961-
Fiadeiro, J. L.
Fiadeiro, José 1961-
Fiadeiro, José L.
Fiadeiro, José Luiz
Languages
English (149)
German (3)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.