WorldCat Identities

Orejas, F. (Fernando)

Overview
Works: 90 works in 191 publications in 2 languages and 2,175 library holdings
Genres: Conference proceedings  Bibliography 
Roles: Editor, Creator
Classifications: QA76.73.J38, 005.133
Publication Timeline
Key
Publications about  F Orejas Publications about F Orejas
Publications by  F Orejas Publications by F Orejas
Most widely held works by F Orejas
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers by José Luiz Fiadeiro ( )
10 editions published in 2005 in English and held by 531 WorldCat member libraries worldwide
"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
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 )
10 editions published in 1994 in English and held by 317 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 )
12 editions published in 1989 in English and held by 255 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
Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings by F Orejas ( Book )
16 editions published in 2001 in English and held by 249 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity
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 ( )
4 editions published in 1991 in English and held by 55 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 ( )
3 editions published in 1991 in English and held by 48 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 )
5 editions published in 2005 in English and held by 47 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
Automata, languages and programming : 28th international colloquium, Crete, Greece, July 8-12, 2001 ; proceedings ( Book )
3 editions published between 2001 and 2005 in English and held by 26 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 J Díaz ( )
1 edition published in 1989 in English and held by 24 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 Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and by Espagne) International Joint Conference on Theory and Practice of Software Development$ (3e : 1989 : Barcelone ( )
4 editions published in 1989 in English and held by 21 WorldCat member libraries worldwide
Annotation
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 15 WorldCat member libraries worldwide
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, 1992 : selected papers by Workshop on Specification of Abstract Data Types ( Book )
4 editions published in 1994 in English and held by 15 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 11 WorldCat member libraries worldwide
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 9 WorldCat member libraries worldwide
Automata, languages and programming : 28th international colloquium, Crete, Greece, July 8 - 12, 2001 ; proceedings ( )
1 edition published in 2001 in English and held by 8 WorldCat member libraries worldwide
Automata, languages and programming 28th international colloquium ; proceedings ( Book )
2 editions published in 2001 in English and held by 7 WorldCat member libraries worldwide
The Java programming language by Ken Arnold ( Book )
2 editions published in 1997 in Spanish and held by 6 WorldCat member libraries worldwide
This definitive introduction and reference teaches programmers the basic and advanced features of Java. As the creators of the Java programming language, the authors help programmers understand why Java is such a powerful language
A conceptual and formal framework for the integration of data type and process modeling techniques by Hartmut Ehrig ( Book )
2 editions published in 2000 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.77 (from 0.32 for Recent tre ... to 0.92 for Selected p ...)
Alternative Names
Orejas, F.
Orejas, F. (Fernando)
Orejas, Fernando
Orejas Valdés, Fernando
Languages
English (95)
Spanish (2)
Covers