skip to content

Fiadeiro, José Luiz 1961-

Overview
Works: 33 works in 145 publications in 2 languages and 3,774 library holdings
Genres: Conference proceedings 
Roles: 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
Categories for software engineering by José Luiz Fiadeiro( file )
18 editions published between 2005 and 2010 in English and German and held by 562 libraries worldwide
"This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book 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. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity - a language for the architectural design of interactive systems."--Jacket
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings by José Luiz Fiadeiro( file )
14 editions published in 2005 in English and held by 552 libraries worldwide
Annotation
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers by José Luiz Fiadeiro( file )
14 editions published in 2005 in English and held by 552 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( file )
16 editions published in 2007 in English and held by 512 libraries worldwide
Business process management 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedings by Schahram Dustdar( file )
16 editions published in 2006 in English and held by 503 libraries worldwide
Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers by WADT '98( Book )
9 editions published in 1999 in English and German and held by 270 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
Software design using Java 2 by K Lano( file )
8 editions published in 2002 in English and held by 240 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
Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers by José Luiz Fiadeiro( Book )
7 editions published in 1999 in English and held by 45 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
Foundations of global computing 05081 abstracts collection ; Dagstuhl seminar ( Computer File )
1 edition published in 2006 in English and held by 16 libraries worldwide
Fundamental approaches to software engineering : 11th international conference ; proceedings ( Computer File )
3 editions published in 2008 in English and held by 11 libraries worldwide
Algebra and coalgebra in computer science : first international conference ; proceedings ( Book )
3 editions published in 2005 in English and held by 11 libraries worldwide
Recent trends in algebraic development techniques 18th international workshop ; revised selected papers ( Computer File )
4 editions published in 2007 in English and Undetermined 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 ( Computer File )
2 editions published in 2005 in English and held by 3 libraries worldwide
Recent trends in algebraic development techniques : ... international workshop ; selected papers ( Book )
1 edition published in 1999 in English and held by 3 libraries worldwide
Algebra and coalgebra in computer science : first international conference, CALCO 2005 : proceedings ( Book )
1 edition published in 2005 in English and held by 1 library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Fiadeiro, J. 1961-
Fiadeiro, José 1961-
Fiadeiro, José L.
Fiadeiro, José Luiz
Languages
English (129)
German (2)
Covers
Close Window

Please sign in to WorldCat 

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