CCVisu 3.0 Introduction and Reference Manual — Draft — Dirk Beyer University of Passau, Germany[removed]Abstract

Source URL: ccvisu.sosy-lab.org

• Computing
• Force-based algorithms
• GraphML
• Graph
• VRML
• Graph theory
• Graph drawing
• Mathematics

C Samedi 12 avril 2014, 10 heures : « Eguisheim » par Madeleine BEYER et Bernard GOERGER. C Mardi 6 mai 2014, 20 heures :

Source URL: acpasso.free.fr

CCVisu: Automatic Visual Software Decomposition ∗ Dirk Beyer School of Computing Science Simon Fraser University B.C., Canada Download: http://ccvisu.googlecode.com

Source URL: www.sosy-lab.org

• Theoretical computer science
• Force-based algorithms
• Graph
• Social network analysis software
• Path decomposition
• Graph theory
• Graph drawing
• Mathematics

Co-Change Visualization Applied to PostgreSQL and ArgoUML∗ (MSR Challenge Report) Dirk Beyer EPFL, Switzerland

Source URL: www.sosy-lab.org

• Science
• Computing
• Cross-platform software
• ArgoUML
• Software visualization
• Force-based algorithms
• Visualization
• PostgreSQL
• Diagram
• Infographics
• Software
• Graph drawing

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005, Budapest, September 25-30), Industrial and Tool volume, pages 89-92, 2005. Co-Change Visualization Dirk Beyer EPFL, Lausanne, Swit

Source URL: www.sosy-lab.org

• Force-based algorithms
• Graph
• Neighbourhood
• Social network analysis software
• Graph theory
• Mathematics
• Graph drawing

Clustering Software Artifacts Based on Frequent Common Changes Dirk Beyer EPFL, Lausanne, Switzerland Andreas Noack BTU, Cottbus, Germany

Source URL: www.sosy-lab.org

• Graph
• Force-based algorithms
• Planar graph
• Vertex
• Cluster analysis
• Graph operations
• Graph theory
• Graph drawing
• Neighbourhood

Program Analysis with Dynamic Precision Adjustment ∗ Dirk Beyer Simon Fraser University, Canada Thomas A. Henzinger EPFL, Switzerland

Source URL: www.sosy-lab.org

• Formal methods
• Mathematical logic
• Function
• Predicate transformer semantics
• Floating point
• Abstract interpretation
• Predicate
• Quantification
• Prime-counting function
• Mathematics
• Logic
• Semantics

P:es Beach State Park 40361jectrent Drawingsk Plan base CONTEXT 1 to[removed])

Source URL: nysparks.com

• Beyer Blinder Belle
• Land transport
• Transport
• Boardwalk
• Footpaths

Editor’s Choice Golden Rice and Beyond Ingo Potrykus Professor Emeritus, ETH Zurich, Switzerland; Member of Academia Europaea; and Recipient of the International Society for Plant Molecular Biology 2000 Kumho Science

Source URL: www.ncbi.nlm.nih.gov

• Ingo Potrykus
• Rockefeller Foundation
• Golden rice
• Peter Beyer
• Rice
• Genetically modified organism
• Greenpeace
• Norman Borlaug
• Genetically modified rice
• Biology
• Food and drink
• Agriculture

34 SEGELFLUG FMT 01 | 10 Lothar Beyer

Source URL: www.manfred-schadl.de