WorldCat Identities

Orejas, F. (Fernando)

Overview
Works: 93 works in 204 publications in 4 languages and 2,269 library holdings
Genres: Conference proceedings  Bibliography 
Roles: Editor, Creator
Classifications: QA76.9.F67, 005.1
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 ( )
13 editions published in 2005 in English and held by 538 WorldCat member libraries worldwide
"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
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 ( )
8 editions published in 2011 in English and held by 363 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 : 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 331 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
Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings by F Orejas ( Book )
19 editions published in 2001 in English and held by 295 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
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 ( Book )
11 editions published in 1989 in English and held by 269 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 data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings by Hartmut Ehrig ( )
7 editions published in 1991 in English and Italian and held by 64 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 62 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 ( )
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
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 43 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 )
5 editions published in 1994 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 INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT ( Book )
2 editions published in 1989 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 ( Book )
4 editions published between 2001 and 2005 in English and held by 9 WorldCat member libraries worldwide
Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors by Hartmut Ehrig ( Book )
2 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide
Abstract: "A new implementation concept for parameterized specifications based on constructors and abstractors was recently introduced by Orejas, Navarro and Sanchez which includes most of the implementation concepts in the literature for initial as well as loose semantics. In this paper we redefine vertical and different kinds of horizontal compositions using the new concept of semi-pushouts defined for a mixture of signature and specification morphisms. The main results concerning correctness of horizontal and vertical composition are based on new correctness requirements for constructors and abstractors."
Dynamic abstract data types based on algebraic graph transformations by Hartmut Ehrig ( Book )
3 editions published in 1994 in English and German and held by 6 WorldCat member libraries worldwide
Abstract: "The concept of dynamic abstract data types was recently proposed by two of the authors as a dynamic extension of the well- known concept of abstract data types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract data types. In this paper we consider a specific kind of dynamic abstract data types where the transformations are defined by rules in the sense of algebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases."
El lenguaje de programación Java by Ken Arnold ( Book )
2 editions published in 1997 in Spanish and held by 6 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.77 (from 0.29 for Dynamic ab ... to 0.92 for Selected p ...)
Alternative Names
Orejas, F.
Orejas, F. (Fernando)
Orejas, Fernando
Orejas Valdés, Fernando
Languages
English (104)
Spanish (2)
Italian (2)
German (1)
Covers