WorldCat Identities

Fiadeiro, José Luiz 1961-

Overview
Works: 40 works in 221 publications in 2 languages and 4,990 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, htt, Creator
Publication Timeline
.
Most widely held works by José Luiz Fiadeiro
Categories for software engineering by José Luiz Fiadeiro( )

22 editions published between 2005 and 2010 in English and German and held by 649 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( )

29 editions published between 2005 and 2006 in English and Undetermined and held by 644 WorldCat member 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( )

14 editions published in 2005 in English and held by 575 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004. The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations
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( )

20 editions published between 2002 and 2007 in English and Undetermined and held by 559 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, in June 2006. The 10 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations
Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedings by Schahram Dustdar( )

16 editions published in 2006 in English and held by 539 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th International Conference on Business Process Management, BPM 2006, held in Vienna, Austria in September 2006. The 20 revised full papers, 5 industrial papers, and 15 short papers presented together with an invited paper and the abstract of an invited talk were carefully reviewed and selected from 138 submissions. The papers are organized in topical sections on monitoring and mining, service composition, process models and languages, dynamic process management, Web service composition, and applied business process management
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 FASE (Conference)( )

13 editions published in 2008 in English and held by 480 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
Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers by José Luiz Fiadeiro( )

12 editions published in 2014 in English and held by 392 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
Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers by José Luiz Fiadeiro( Book )

18 editions published in 1999 in English and German and held by 370 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
Software design using Java 2 by Kevin Lano( )

11 editions published between 2002 and 2017 in English and Undetermined and held by 282 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
Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings by Simone Cavalheiro( )

13 editions published in 2017 in English and held by 260 WorldCat member libraries worldwide

Annotation
Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers by José Luiz Fiadeiro( )

2 editions published in 1999 in English and held by 41 WorldCat member libraries worldwide

Business Process Management (vol. # 4102) by Schahram Dustdar( )

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

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( )

4 editions published in 2007 in English and Undetermined and held by 22 WorldCat member libraries worldwide

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers by José Luiz Fiadeiro( )

3 editions published in 2005 in English and Undetermined and held by 18 WorldCat member libraries worldwide

Foundations of global computing 05081 abstracts collection ; Dagstuhl seminar( )

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

Fundamental approaches to software engineering : 11th international conference ; proceedings( Book )

1 edition published in 2008 in English and held by 8 WorldCat member libraries worldwide

Fundamental approaches to software engineering 11th international conference ; proceedings( )

1 edition published in 2008 in English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.53 (from 0.13 for Software d ... to 0.94 for Fundamenta ...)

Categories for software engineering
Covers
Algebra 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 papersRecent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papersBusiness process management : 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedingsFundamental 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 ; proceedingsRecent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papersSoftware design using Java 2Fundamental 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
Alternative Names
Fiadeiro, J. 1961-

Fiadeiro, J. L.

Fiadeiro, José 1961-

Fiadeiro, José L.

Fiadeiro, José Luiz

Languages
English (185)

German (3)