Released on 1996-11-13Categories Business & Economics

Building Tightly Integrated Software Development Environments: The IPSEN Approach

Building Tightly Integrated Software Development Environments: The IPSEN Approach

Author: Manfred Nagl

Publisher: Springer Science & Business Media

ISBN: 3540619852

Category: Business & Economics

Page: 728

View: 728

This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems. The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools, Current and future work, open problems; Conclusion: summary, evaluation, and vision. Also included is a comprehensive bibliography listing more than 1300 entries and a detailed index.
Released on 2003-07-31Categories Computers

Models and Tools for Managing Development Processes

Models and Tools for Managing Development Processes

Author: Bernhard Westfechtel

Publisher: Springer

ISBN: 9783540467083

Category: Computers

Page: 425

View: 522

The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Costs have to be reduced, the ti- to-market has to be shortened, and quality has to be improved. Skilled engineers andsophisticatedtoolsforsupportingtechnicalworkarenecessaryprerequisites, yettheyarenotsu?cientformeetingtheseambitiousgoals.Inaddition,thework of developers must be coordinated so that they cooperate smoothly. To this end, the steps of the development process have to be planned, an engineer executing a task must be provided with documents and tools, the results of development activities have to be fed back to management which in turn has to adjust the plan accordingly, the documents produced in di?erent working areas have to kept consistent with each other, etc. This book reports on models and tools for managing development processes. It provides both a survey of the current state of the art and presents our own contributions. The material covered in this book is based on research in di?- ent engineering disciplines (mechanical, software, and chemical engineering). It presents a uni?ed view on the management of development processes in these disciplines.
Released on 2003-07-31Categories Computers

Applications of Graph Transformations with Industrial Relevance

Applications of Graph Transformations with Industrial Relevance

Author: Manfred Nagl

Publisher: Springer

ISBN: 9783540451044

Category: Computers

Page: 496

View: 99

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Graph Transformation with Industrial Relevance, AGTIVE'99, held in Kerkrade, The Netherlands, in June 1999. The 28 revised full papers presented went through an iterated process of reviewing and revision. Also included are three invited papers, 10 tool demonstrations, a summary of a panel discussion, and lists of graph transformation systems and books on graph transformations. The papers are organized in sections on modularization concepts, distributed systems modeling, software architecture: evolution and reengineering, visual graph transformation languages, visual language modeling and tool development, knowledge modeling, image recognition and constraint solving, process modeling and view integration, and visualization and animation tools.
Released on 1999Categories Mathematics

Handbook of Graph Grammars and Computing by Graph Transformation

Handbook of Graph Grammars and Computing by Graph Transformation

Author: Hartmut Ehrig

Publisher: World Scientific

ISBN: 9810240201

Category: Mathematics

Page: 722

View: 340

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graphtransformation systems, and tools whose implementation is based on the use of graph transformation systems.
Released on 2003-06-16Categories Business & Economics

Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen

Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen

Author: Manfred Nagl

Publisher: John Wiley & Sons

ISBN: 3527277692

Category: Business & Economics

Page: 410

View: 249

Der vorliegende Tagungsband zum Workshop "Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen", der vom 20.-22. März 2002 an der RWTH Aachen stattfand, gibt einen Überblick über die Thematik, stellt Vorträge und Diskussionen dar. Es werden die Ergebnisse der Veranstaltung aufgezeigt sowie außerdem interessante Anregungen, die viele Teilnehmer im Rahmen des Workshops über ihre Fachdisziplin hinaus "mitnehmen" konnten.
Released on 2004-02-02Categories Computers

Theory and Application of Graph Transformations

Theory and Application of Graph Transformations

Author: Hartmut Ehrig

Publisher: Springer

ISBN: 9783540464648

Category: Computers

Page: 505

View: 687

Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.
Released on 1999-10-20Categories Computers

Handbook of Graph Grammars and Computing by Graph Transformation

Handbook of Graph Grammars and Computing by Graph Transformation

Author: H Ehrig

Publisher: World Scientific

ISBN: 9789814494434

Category: Computers

Page: 720

View: 346

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graph transformation systems, and tools whose implementation is based on the use of graph transformation systems. Contents:Term Rewriting and Functional LanguagesVisual and Object-Oriented LanguagesApplications to Software EngineeringApplications to Engineering DisciplinesApplications to PicturesImplemented Specification Languages and ToolsStructuring and Modularization Concepts Readership: Students and researchers interested in modern developments in computer science, and in particular in the use of modern formal methods in applied computer science. Keywords:
Released on 2019-04-30Categories Computers

Computer-Aided Design, Engineering, and Manufacturing

Computer-Aided Design, Engineering, and Manufacturing

Author: Cornelius T. Leondes

Publisher: CRC Press

ISBN: 1420050001

Category: Computers

Page: 310

View: 530

In the competitive business arena companies must continually strive to create new and better products faster, more efficiently, and more cost effectively than their competitors to gain and keep the competitive advantage. Computer-aided design (CAD), computer-aided engineering (CAE), and computer-aided manufacturing (CAM) are now the industry standa
Released on 2010-10-31Categories Computers

Model-Driven Domain Analysis and Software Development: Architectures and Functions

Model-Driven Domain Analysis and Software Development: Architectures and Functions

Author: Osis, Janis

Publisher: IGI Global

ISBN: 9781616928766

Category: Computers

Page: 518

View: 655

"This book displays how to effectively map and respond to the real-world challenges and purposes which software must solve, covering domains such as mechatronic, embedded and high risk systems, where failure could cost human lives"--Provided by publisher.
Released on 2003-10-27Categories Computers

Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science

Author: Hans L. Bodlaender

Publisher: Springer

ISBN: 9783540398905

Category: Computers

Page: 392

View: 459

The 29th International Workshop on Graph-Theoretic Concepts in Computer Science(WG2003)washeldintheMennorodeconferenceCenterinElspeet,The Netherlands.TheworkshopwasorganizedbytheCenterforAlgorithmicSystems of the Institute of Information and Computing Sciences of Utrecht University. The workshop took place June 19–21, 2003. The 72 participants of WG 2003 came from universities and research institutes from 18 di?erent countries and ?ve di?erent continents. The workshop looks back at a long tradition. It was ?rst held in 1975, and has been held 20 times in Germany, twice in Austria, and once in Italy, Slo- kia, Switzerland, and the Czech Republic, and has now been held for the third time in The Netherlands. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computerscience,orbyextractingnewproblemsfromapplications.Itisdevoted to the theoretical and practical aspects of graph concepts in computer science. The goal is to present recent research results and to identify and explore - rections of future research. The talks given at the workshop showed how recent research results from algorithmic graph theory can be used in computer science and which graph-theoretic questions arise from new developments in computer science.
Released on 2003-10-29Categories Computers

Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science

Author: H. L. Bodlaender

Publisher: Springer Science & Business Media

ISBN: 9783540204527

Category: Computers

Page: 396

View: 473

This book constitutes the thoroughly refereed postproceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2003, held in Elspeet, The Netherlands in June 2003. The 30 revised full papers presented together with 2 invited papers were carefully reviewed, improved, and selected from 78 submissions. The papers present a wealth of new results for various classes of graphs, graph computations, graph algorithms, and graph-theoretical applications in various felds.
Released on 2004-11-11Categories Mathematics

Graph Transformations

Graph Transformations

Author: Hartmut Ehrig

Publisher: Springer

ISBN: 9783540302032

Category: Mathematics

Page: 456

View: 728

This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004. The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation.