WorldCat Identities

Orejas, F. (Fernando)

Overview
Works: 87 works in 226 publications in 3 languages and 2,556 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Director, Other
Classifications: QA76.76.D47, 005.1
Publication Timeline
.
Most widely held works by F Orejas
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers by Hartmut Ehrig( Book )

17 editions published in 1994 in English and held by 239 WorldCat member libraries worldwide

"Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions."--PUBLISHER'S WEBSITE
TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 by J Díaz( Book )

24 editions published in 1989 in English and held by 230 WorldCat member libraries worldwide

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages
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 )

10 editions published in 2005 in English and held by 111 WorldCat member libraries worldwide

"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 by J Díaz( )

2 editions published in 1989 in English and held by 48 WorldCat member libraries worldwide

Fundamental approaches to software engineering : 14th international conference, FASE 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings by Dimitra Giannakopoulou( )

14 editions published in 2011 in English and held by 43 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings by Hartmut Ehrig( )

6 editions published in 1991 in English and Italian and held by 34 WorldCat member libraries worldwide

"The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets."--PUBLISHER'S WEBSITE
Algebraic system specification and development : a survey and annotated bibliography by M Bidoit( )

4 editions published in 1991 in English and Italian and held by 30 WorldCat member libraries worldwide

Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday by H.-J Kreowski( Book )

6 editions published in 2005 in English and held by 29 WorldCat member libraries worldwide

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling
TAPSOFT '89 by International Joint Conference on Theory and Practice of Software Development( Book )

9 editions published in 1989 in English and held by 16 WorldCat member libraries worldwide

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '89) by Advanced Seminar on Foundations of Innovative Software Development( Book )

2 editions published in 1989 in English and held by 13 WorldCat member libraries worldwide

Advanced Seminar on Foundations of Innovative Software Development II ; and, Colloquium on Current Issues in Programming Languages (CCIPL) by Advanced Seminar on Foundations of Innovative Software Development( Book )

1 edition published in 1989 in English and held by 10 WorldCat member libraries worldwide

El lenguaje de programación Java by Ken Arnold( Book )

4 editions published between 1996 and 1997 in Spanish and held by 10 WorldCat member libraries worldwide

Directamente de los creadores del lenguaje Java, este texto es un valioso recursos tanto para los programadores noveles como para lkos más avanzados. Contiene lo necesario para entender los objetivos básicos del lenguaje y sus aplicaciones en desarrollos reales. Proporciona explicaciones únicas sobre por qué y cómo se diseñó el lenguaje y cuál debe ser su uso. Estructurado de forma que realiza un tratamiento más profundo de las nuevas características del lenguaje, contiene ejemplos informativos sobre el uso de las nuevas APIs. El libro sirve como manuald e introducción al lenguaje. Ampliamente revisado, traa todas las características de la versión actual del lenguaje de proramación Java y las bibliotecas de clases
Selected papers of the 2nd International Joint Conference on Theory and Practice of Software Development (TAPSOFT '89), Barcelona, Spain, March 13-17, 1989 by International Joint Conference on Theory and Practice of Software Development( Book )

2 editions published in 1991 in English and held by 8 WorldCat member libraries worldwide

TAPSOFT '89 : proceedings of the international joint conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 by Espagne) International Joint Conference on Theory and Practice of Software Development$ (3e : 1989 : Barcelone( Book )

3 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers by M Wirsing( )

3 editions published in 2005 in English and Undetermined and held by 7 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
TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 by International Joint Conference on Theory and Practice of Software Development( )

1 edition published in 1989 in English and held by 0 WorldCat member libraries worldwide

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consisted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.50 for Fundamenta ... to 0.93 for TAPSOFT '8 ...)

TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989TAPSOFT '89Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '89)TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and
Alternative Names
Orejas, F.

Orejas, F. (Fernando)

Orejas, Fernando

Orejas Valdés, Fernando

Languages
English (106)

Spanish (4)

Italian (2)

Covers
TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papersTAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989Fundamental approaches to software engineering : 14th international conference, FASE 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedingsRecent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedingsAlgebraic system specification and development : a survey and annotated bibliographyFormal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayTAPSOFT '89