WorldCat Identities

Fiadeiro, José Luiz 1961-

Overview
Works: 29 works in 185 publications in 2 languages and 4,644 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator, Other
Classifications: QA76.76.D47, 005.1
Publication Timeline
.
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 )

45 editions published between 1999 and 2007 in 3 languages and held by 387 WorldCat member 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 )

24 editions published between 2005 and 2010 in 3 languages and held by 246 WorldCat member 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( Book )

22 editions published between 2005 and 2006 in English and held by 157 WorldCat member 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 129 WorldCat member libraries worldwide

"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings by José Luiz Fiadeiro( Book )

15 editions published in 2008 in English and held by 126 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, FASE 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with 5 tool demonstrations were carefully reviewed and selected from 119 submissions. The papers are organized in topical sections on requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components
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 123 WorldCat member libraries worldwide

Software design using Java 2 by K Lano( Book )

8 editions published in 2002 in English and held by 46 WorldCat member 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
Foundations of global computing 05081 abstracts collection ; Dagstuhl seminar( )

1 edition published in 2006 in English and held by 16 WorldCat member libraries worldwide

Algebra and coalgebra in computer science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005 ; proceedings by CALCO (Conference)( )

5 editions published between 2005 and 2006 in English and held by 12 WorldCat member libraries worldwide

Annotation
Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers by José Luiz Fiadeiro( Book )

8 editions published in 2014 in English and held by 9 WorldCat member 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
Business Process Management (vol. # 4102) by Schahram Dustdar( Book )

6 editions published in 2006 in English and Undetermined and held by 3 WorldCat member libraries worldwide

On families of specifications over a II-institution : modularity in formal stepwise development by Paulo A. S Veloso( Book )

1 edition published in 1998 in English and held by 1 WorldCat member library worldwide

Coordination Technologies for Managing Information System Evolution( )

1 edition published in 2001 in Undetermined and held by 1 WorldCat member library worldwide

Formal aspects of component software (FACS 2013) : guest editors: José Luiz Fiadeiro, Zhiming Liu by FACS( Book )

1 edition published in 2015 in English and held by 1 WorldCat member library worldwide

Software design using Java 2 by K Lano( )

1 edition published in 2002 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.15 for Software d ... to 0.92 for Current tr ...)

Categories for software engineering
Alternative Names
Fiadeiro, J. 1961-

Fiadeiro, J. L.

Fiadeiro, José 1961-

Fiadeiro, José L.

Fiadeiro, José Luiz

Languages
English (168)

German (3)

Covers
Categories for software engineeringAlgebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedingsRecent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papersFundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedingsBusiness process management : 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedingsSoftware design using Java 2Algebra and coalgebra in computer science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005 ; proceedingsRecent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27 - 29, 2004 ; revised selected papers