josé fiadeiro

Categories for Software Engineering

This book provides a gentle, software engineering oriented introduction to category theory. Assum...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3...

Business Process Management

This book constitutes the refereed proceedings of the 4th International Conference on Business Pr...

Recent Trends in Algebraic Development Techniques

Fundamental Approaches to Software Engineering

This proceedings volume covers requirements and architectures, models and model transformations, ...

Software Design Using Java 2

Software Design Using Java 2 is a Software Engineering text aimed at intermediate and advanced st...

Formal Aspects of Component Software

This book constitutes the revised selected papers of the 10th International Symposium on Formal A...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop ...

Formal Methods: Foundations and Applications

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is publis...

Algebra and Coalgebra in Computer Science

Zur Zeit liegt uns keine Inhaltsangabe vor.

Recent Trends in Algebraic Development Techniques

The European conference situationin the general area of software science has longbeen considered ...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Worksh...