skip to content

Fiadeiro, José Luiz 1961-

Overview
Works: 25 works in 165 publications in 2 languages and 4,051 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, 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 )
56 editions published between 1999 and 2007 in 3 languages and held by 519 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 )
21 editions published between 2005 and 2010 in 3 languages and held by 242 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 )
18 editions published between 2005 and 2006 in English and held by 150 libraries worldwide
Annotation
Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5-7, 2006 : proceedings by Schahram Dustdar( Book )
10 editions published in 2006 in English and held by 121 libraries worldwide
Software design using Java 2 by K Lano( Book )
7 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
Foundations of global computing 05081 abstracts collection ; Dagstuhl seminar ( file )
1 edition published in 2006 in English and held by 16 libraries worldwide
Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers by José Luiz Fiadeiro( Book )
9 editions published in 2014 in English and held by 9 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
Algebra and coalgebra in computer science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005 ; proceedings by International Conference on Algebra and Coalgebra in Computer Science( file )
3 editions published in 2005 in English and held by 8 libraries worldwide
Annotation
Business process management : 4th international conference, BPM 2006, Vienna, Austria, 05-07.09.2006 : proceedings by Schahram Dustdar( Book )
7 editions published in 2006 in English and held by 2 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 library worldwide
Software design using Java 2 by K Lano( file )
1 edition published in 2002 in English and held by 1 library worldwide
Coordination Technologies for Managing Information System Evolution ( Article )
1 edition published in 2001 in Undetermined and held by 1 library worldwide
Multimodal human-computer interaction for enhancing customers' decision-making and experience on B2C e-commerce websites by Abdullah Ahmad Musa Al Sokkar( file )
1 edition published in 2014 in English and held by 1 library worldwide
VOML : virtual organization modelling language by Noor Jehan Rajper( Computer File )
1 edition published in 2012 in English and held by 1 library worldwide
Virtual organizations (VOs) and their breeding environments are an emerging approach for developing systems as a consortium of autonomous entities formed to share costs and resources, better respond to opportunities, achieve shorter time-to-market and exploit fast changing market opportunities. VOs cater for those demands by incorporating reconfigurations making VOs highly resilient and agile by design. Reconfiguration of systems is an active research area. Many policy and specification languages have been dedicated for the purpose. However, all these approaches consider reconfiguration of a system as somewhat isolated from its business and operational model; it is usually assumed that the latter two remain unaffected through such reconfigurations and the reconfiguration is usually limited to dynamic binding of components the system consists of. However the demands of VO reconfiguration go beyond dynamic binding and reach the level where it becomes crucial to keep changing the organizational structure (process model) of the system as well, which leads to changes of the operational/functional model. This continuous reconfiguration of the operational model emphasizes the need of a modelling language that allows specification and validation of such systems. This thesis approaches the problem of formal specification of VOs through the Virtual Organization Modelling Language (VOML) framework. The core of this framework are three languages each capturing a specific aspect. The first language named Virtual Organization Structural modelling language (VO-S), focuses on structural aspects and many of the characteristics particular to VOs such as relationship between the members expressed in domain terminology. The second language named VO Reconfiguration (VO-R for short), permits different reconfigurations on the structure of the VO. This language is an extension of APPEL for the domain of VOs. The third language named VO Operational modelling language (VO-O) describes the operational model of a VO in more details. This language is an adaptation and extension of the Sensoria Reference Modelling Language for service oriented architecture (SRML). Our framework models VOs using the VO-S and the VO-R which are at a high level of abstraction and independent of a specific computational model. Mapping rules provide guidelines to generate operational models, thus ensuring that the two models conform to each other. The usability and applicability of VOML is validated through two cases studies one of which offers travel itineraries as a VO service and is a running example. The other case study is an adaptation of a case study on developing a chemical plant from [14]
 
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 (154)
German (3)
Covers
Close Window

Please sign in to WorldCat 

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