Technische Universität Berlin
Fakultät Elektrotechnik und Informatik
Institut für Softwaretechnik und Theoretische Informatik
Theoretische Informatik - Formale Spezifikation (TFS)
Prof. Dr. Hartmut Ehrig |
 |
|
Running Projects and Programs(for more detailed information see TFS -> Research Projects) DFG Project: Formal Modeling and Analysis of Flexible Processes in Mobile Ad-hoc Networks BMBF Research Project: Continuous Engineering for Information and Communication Infrastructures Syntactic and Semantic Integration of Visual Modelling Techniques,Research Training Network funded by the European Union German-Brazilian Cooperation: GRAPHIT - Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development DFG Project: Application of Graph Transformation to Visual Modelling Languages DFG Priority Programme: Integration of Software Specification Techniques for Engineering Applications IOSIP - Integration of object-oriented software specification techniques and their application-specific extension for industrial production systems on the example of automobile industry , Project in the DFG Priority Programme Software Specification 
Selected Finished Projects and Programs(for more detailed information see TFS -> Research Projects) DFG Researcher Group: Conception, theoretical Foundation and Validation of an application oriented Petri net Technology DFG Project: Application of Graph Transformation to the visual Design of Distributed Systems ESPRIT TMR Research Network: GETGRATS - General Theory of Graph Transformation Systems ESPRIT Working Group: APPLIGRAPH - Applications of Graph Transformation Systems Structuring and Analysis of algebraic Graph Transformations COMPUGRAPH - Computing by Graph Transformations COMPASS - A Comprehensive Algebraic Approach to System Specification and Development ESPRESS - Engineering of Safety Critical Embedded SystemsDFG Graduate College "Communication based Systems" | ||