Applications of graph transformations with industrial relevance : (Record no. 640347)

MARC details
000 -LEADER
fixed length control field 12165cam a2201249 i 4500
001 - CONTROL NUMBER
control field ocn666950439
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703160043.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100929s2004 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency IDEBK
Language of cataloging eng
Description conventions pn
Transcribing agency IDEBK
Modifying agency N$T
-- YDXCP
-- QCL
-- CAI
-- OCLCQ
-- YNG
-- CSU
-- OCLCQ
-- DKDLA
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCA
-- GW5XE
-- OCLCF
-- OCLCQ
-- OCLCO
-- OCL
-- OCLCO
-- OCLCQ
-- SHS
-- OCLCQ
-- UAB
-- ESU
-- OCLCQ
-- BUF
-- CEF
-- OCLCQ
-- TFW
-- OCLCO
-- QE2
-- OCLCA
-- LEAUB
-- OCLCQ
-- OL$
-- OCLCQ
-- OCLCA
-- AUD
-- EUX
-- OCLCQ
-- TXI
-- OCLCO
-- OCLCQ
-- OCL
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
-- OCLCA
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 04,N23,0013
Source dnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 971071683
Source DE-101
019 ## -
-- 59552198
-- 166470060
-- 276801575
-- 644339623
-- 768062562
-- 1055596062
-- 1114531044
-- 1167502621
-- 1238510585
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540259597
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540259596
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540221204
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540221203
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/b98116
Source of number or code doi
028 52 - PUBLISHER NUMBER
Publisher number 11011156
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051315568
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15300842
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)666950439
Canceled/invalid control number (OCoLC)59552198
-- (OCoLC)166470060
-- (OCoLC)276801575
-- (OCoLC)644339623
-- (OCoLC)768062562
-- (OCoLC)1055596062
-- (OCoLC)1114531044
-- (OCoLC)1167502621
-- (OCoLC)1238510585
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA75.5
Item number .A195 2003
055 #3 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA
Classification number QA75
Item number .L38 no.3062
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 052000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 037000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 013000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 032000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 018000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 067000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.73
Number source bcl
084 ## - OTHER CLASSIFICATION NUMBER
Classification number SS 4800
Number source rvk
084 ## - OTHER CLASSIFICATION NUMBER
Classification number DAT 537f
Number source stub
084 ## - OTHER CLASSIFICATION NUMBER
Classification number MAT 055f
Number source stub
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element AGTIVE (Symposium)
Number of part/section/meeting (2nd :
Date of meeting 2003 :
Location of meeting Charlottesville, Va.)
9 (RLIN) 39844
245 10 - TITLE STATEMENT
Title Applications of graph transformations with industrial relevance :
Remainder of title second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 ; revised selected and invited papers /
Statement of responsibility, etc. John L. Pfaltz, Manfred Nagl, and Boris Böhlen (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title AGTIVE 2003
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin :
Name of producer, publisher, distributor, manufacturer Springer-Verlag,
Date of production, publication, distribution, manufacture, or copyright notice [2004]
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©2004
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xv, 500 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 3062
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes 'books on graph transformation' bibliographical references (pages 498-500), and index.
505 00 - FORMATTED CONTENTS NOTE
Title Web applications ;
-- Graph transformation for merging user navigation histories /
Statement of responsibility Mario Michele Gala,
-- Elisa Quintarelli, and
-- Letizia Tanca --
Title Towards validation of session management in web applications based on graph transformation /
Statement of responsibility Anilda Qemali and
-- Gabriele Taentzer --
Title Data structures and data bases ;
-- Specifying pointer structures by graph reduction /
Statement of responsibility Adam Bakewell,
-- Detlef Plump, and
-- Colin Runciman --
Title Specific graph models and their mappings to a common model /
Statement of responsibility Boris Böhlen --
Title Engineering applications ;
-- Transforming graph based scenarios into graph transformation based JUnit tests /
Statement of responsibility Leif Geiger and
-- Albert Zündorf --
Title On graphs in conceptual engineering design /
Statement of responsibility Janusz Szuba,
-- Agnieszka Ozimek, and
-- Andy Schürr --
Title Parameterized specification of conceptual design tools in civil engineering /
Statement of responsibility Bodo Kraft and
-- Manfred Nagl --
Title Agent-oriented and functional programs, distribution ;
-- Design of an agent-oriented modeling language based on graph transformation /
Statement of responsibility Ralph Depke,
-- Jan Hendrik Hausmann, and
-- Reiko Heckel --
Title Specification and analysis of fault behaviours using graph grammars /
Statement of responsibility Fernando Luis Dotti,
-- Leila Ribeiro, and
-- Osmar Marchi dos Santos --
Title Object and aspect-oriented systems ;
-- Integrating graph rewriting and standard software tools /
Statement of responsibility Uwe Aßmann and
-- Johan Lövdahl --
Title Expressing component-relating aspects with graph transformations /
Statement of responsibility Alon Amsel and
-- Dirk Janssens
505 00 - FORMATTED CONTENTS NOTE
Title Natural languages : processing and structuring ;
-- Modeling discontinuous constituents with hypergraph grammars /
Statement of responsibility Ingrid Fischer --
Title Authoring support based on user-serviceable graph transformation /
Statement of responsibility Felix H. Gatzemeier --
Title Re-engineering ;
-- Re-engineering a medical imaging system using graph transformations /
Statement of responsibility Tobias Rötschke --
Title Behavioral analysis of telecommunication systems by graph transformations /
Statement of responsibility André Marburger and
-- Bernhard Westfechtel --
Title Reuse and integration ;
-- Specifying integrated refactoring with distributed graph transformations /
Statement of responsibility Paolo Bottoni,
-- Francesco Parisi Presicce, and
-- Gabriele Taentzer --
Title A domain specific architecture tool : rapid prototyping with graph grammars /
Statement of responsibility Thomas Haase,
-- Oliver Meyer,
-- Boris Böhlen, and
-- Felix Gatzemeier --
Title Modelling languages ;
-- Graph transformations in OMG's model-driven architecture (invited talk) /
Statement of responsibility Gabor Karsai and
-- Aditya Agrawal --
Title Computing reading trees for constraint diagrams /
Statement of responsibility Andrew Fish and
-- John Howse --
Title UML interaction diagrams : correct translation of sequence diagrams into collaboration diagrams /
Statement of responsibility Björn Cordes,
-- Karsten Hölscher, and
-- Hans-Jörg Kreowski --
Title Meta-modelling, graph transformation and model checking for the analysis of hybrid systems /
Statement of responsibility Juan de Lara,
-- Esther Guerra, and
-- Hans Vangheluwe --
Title Bioinformatics ;
-- Proper down-coloring simple acyclic digraphs /
Statement of responsibility Geir Agnarsson,
-- Ágúst S. Egilsson, and
-- Magnús M. Halldórsson --
Title Local specification of surface subdivision algorithms /
Statement of responsibility Colin Smith,
-- Przemyslaw Prusinkiewicz, and
-- Faramarz Samavati --
Title Transforming toric digraphs /
Statement of responsibility Robert E. Jamison
505 00 - FORMATTED CONTENTS NOTE
Title Management of development and processes ;
-- Graph-based specification of a management system for evolving development processes /
Statement of responsibility Markus Heller,
-- Ansgar Schleicher, and
-- Bernhard Westfechtel --
Title Graph-based tools for distributed cooperation in dynamic development processes /
Statement of responsibility Markus Heller and
-- Dirk Jäger --
Title Multimedia, picture, and visual languages ;
-- MPEG-7 semantic descriptions : graph transformations, graph grammars, and the description of multimedia (invited talk) /
Statement of responsibility Hawley K. Rising III --
Title Collage grammars for collision-free growing of objects in 3D scenes /
Statement of responsibility Renate Klempien-Hinrichs,
-- Thomas Meyer, and
-- Carolina von Totth --
Title VisualDiaGen : a tool for visually specifying and generating visual editors /
Statement of responsibility Mark Minas --
Title Demos ;
-- GenGED : a visual definition tool for visual modeling environments /
Statement of responsibility Roswitha Bardohl,
-- Claudia Ermel, and
-- Ingo Weinhold --
Title CHASID : a graph-based authoring support system /
Statement of responsibility Felix H. Gatzemeier --
Title Interorganizational management of development processes /
Statement of responsibility Markus Heller and
-- Dirk Jäger --
Title Conceptual design tools for civil engineering /
Statement of responsibility Bodo Kraft --
Title E-CARES : telecommunication re- and reverse engineering tools /
Statement of responsibility André Marburger and
-- Bernhard Westfechtel --
Title AGG : a graph transformation environment for modeling and validation of software /
Statement of responsibility Gabriele Taentzer --
Title Process evolution support in the AHEAD system /
Statement of responsibility Markus Heller,
-- Ansgar Schleicher, and
-- Bernhard Westfechtel --
Title Fire3 : architecture refinement for a-posteriori integration /
Statement of responsibility Thomas Haase,
-- Oliver Meyer,
-- Boris Böhlen, and
-- Felix Gatzemeier --
Title A demo of OptimixJ /
Statement of responsibility Uwe Aßmann and
-- Johan Lövdahl --
Title Visual specification of visual editors with VisualDiaGen /
Statement of responsibility Mark Minas --
Title The GROOVE simulator : a tool for state space generation /
Statement of responsibility Arend Rensink --
Title Summaries of the workshop ;
-- AGTIVE'03 : summary from the outside in /
Statement of responsibility Arend Rensink --
Title AGTIVE'03 : summary from the theoretical point of view /
Statement of responsibility Gabriele Taentzer --
Title AGTIVE'03 : summary from the viewpoint of graph transformation specifications /
Statement of responsibility Mark Minas --
Title AGTIVE'03 : summary from a tool builder's viewpoint /
Statement of responsibility Bernhard Westfechtel --
Title Best presentation and demonstration awards /
Statement of responsibility Bernhard Westfechtel.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003, held in Charlottesville, Virginia, USA in September/October 2003. The 27 revised full papers and 11 revised demo papers presented together with 2 invited papers and 5 workshop reports were carefully selected during iterated rounds of reviewing and revision. Graphs constitute well-known, well-understood, and frequently used means to depict networks of related items in different application domains. Various types of graph transformation approaches - also called graph grammars or graph rewriting systems - have been proposed to specify, recognize, inspect, modify, and display certain classes of graphs representing structures of different domains. Research activities based on Graph Transformations (GT for short) constitute a well-established scientific discipline within Computer Science. The proceedings of these events give a good documentation about research in the GT field. These activities (1) bring together the international community in a viable scientific discussion, (2) integrate different approaches, and (3) build a bridge between theory and practice.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
Form subdivision Congresses.
9 (RLIN) 14749
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Graph theory
General subdivision Data processing
Form subdivision Congresses.
9 (RLIN) 22023
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Rewriting systems (Computer science)
Form subdivision Congresses.
9 (RLIN) 19837
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique
Form subdivision Congrès.
9 (RLIN) 14750
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systèmes de réécriture (Informatique)
Form subdivision Congrès.
9 (RLIN) 928625
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Reference.
Source of heading or term bisacsh
9 (RLIN) 17988
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Machine Theory.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Computer Literacy.
Source of heading or term bisacsh
9 (RLIN) 17990
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Information Technology.
Source of heading or term bisacsh
9 (RLIN) 14211
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Data Processing.
Source of heading or term bisacsh
9 (RLIN) 17991
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Computer Science.
Source of heading or term bisacsh
9 (RLIN) 17992
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Hardware
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Graph theory
General subdivision Data processing
Source of heading or term fast
9 (RLIN) 1019
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
Source of heading or term fast
9 (RLIN) 941
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Rewriting systems (Computer science)
Source of heading or term fast
9 (RLIN) 19840
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Anwendungssystem
Source of heading or term gnd
9 (RLIN) 17184
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Aspektorientierte Programmierung
Source of heading or term gnd
9 (RLIN) 17352
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Funktionale Programmierung
Source of heading or term gnd
9 (RLIN) 20014
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Graphersetzungssystem
Source of heading or term gnd
9 (RLIN) 33812
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mehragentensystem
Source of heading or term gnd
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Objektorientierte Programmierung
Source of heading or term gnd
9 (RLIN) 978
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Softwareentwicklung
Source of heading or term gnd
9 (RLIN) 17355
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Systementwicklung
Source of heading or term gnd
9 (RLIN) 20007
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element World Wide Web
Source of heading or term gnd
9 (RLIN) 4728
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element CAD
Source of heading or term gnd
9 (RLIN) 35632
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Transformation de graphes.
Source of heading or term rasuqam
9 (RLIN) 26068
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Système de réécriture.
Source of heading or term rasuqam
9 (RLIN) 39848
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Grammaire de graphes.
Source of heading or term rasuqam
9 (RLIN) 39849
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Réécriture de graphe.
Source of heading or term rasuqam
9 (RLIN) 39850
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term rasuqam
9 (RLIN) 14930
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Charlottesville (Va., 2003)
Source of term swd
9 (RLIN) 39851
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Kongress.
Source of term swd
9 (RLIN) 2843
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pfaltz, John L.,
Relator term editor.
9 (RLIN) 39852
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Nagl, Manfred,
Dates associated with a name 1944-
Relator term editor.
-- https://id.oclc.org/worldcat/entity/E39PBJgxx9jGpKWFBKFqDJcByd
9 (RLIN) 30898
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Böhlen, Boris.,
Relator term editor.
9 (RLIN) 39853
758 ## -
-- has work:
-- Applications of graph transformations with industrial relevance (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGwmTCqCqqDyCVctGGkHcq
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading AGTIVE 2003 (2003 : Charlottesville, Va.).
Title Applications of graph transformations with industrial relevance.
Place, publisher, and date of publication Berlin : Springer, 2004
International Standard Book Number 9783540221203
Record control number (DLC) 2004106200
-- (OCoLC)55746387
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3062.
International Standard Serial Number 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/b98116">https://link.springer.com/10.1007/b98116</a>
938 ## -
-- EBSCOhost
-- EBSC
-- 130176
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- 30773
938 ## -
-- YBP Library Services
-- YANK
-- 2362159
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha