-
1Academic Journal
المؤلفون: Georg Hinkel, Jörg Kunert, Jason Meredith
المصدر: SLAS Technology, Vol 28, Iss 5, Pp 334-344 (2023)
مصطلحات موضوعية: Integration, SiLA2, Biotechnology, TP248.13-248.65, Medical technology, R855-855.5
وصف الملف: electronic resource
-
2Academic Journal
المؤلفون: Georg Hinkel, Thomas Goldschmidt, Lucia Happe
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 37-42 (2013)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3Academic Journal
المؤلفون: Georg Hinkel, Thomas Goldschmidt, Lucia Happe
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 95-100 (2013)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4
المؤلفون: Georg Hinkel, Antonio Garcia-Dominguez, René Schöne, Artur Boronat, Massimo Tisi, Théo Le Calvar, Frederic Jouault, József Marton, Tamás Nyíri, János Benjamin Antal, Márton Elekes, Gábor Szárnyas
المساهمون: Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands, Aston University [Birmingham], Technische Universität Dresden = Dresden University of Technology (TU Dresden), School of Informatics, [Leicester], University of Leicester, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département d'Informatique et de Recherche Opérationnelle [Montreal] (DIRO), Université de Montréal (UdeM), ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO), Department of Telecommunications and Media Informatics (BME-TMIT), Budapest University of Technology and Economics [Budapest] (BME), Department of Measurement and Information Systems, Centrum voor Wiskunde en Informatica (CWI), Centrum Wiskunde & Informatica (CWI)-Netherlands Organisation for Scientific Research
المصدر: Software and System Modelling, 21, 755-804
Software and Systems Modeling
Software and Systems Modeling, 2022, 21 (April), pp.755-804. ⟨10.1007/s10270-021-00927-5⟩مصطلحات موضوعية: Graph databases, Incremental queries, Incremental computing, 020207 software engineering, 02 engineering and technology, Graph analytics, Graph queries, 020204 information systems, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Model-driven engineering, Performance benchmark, Relational databases, Software
وصف الملف: application/pdf
-
5Academic Journal
المؤلفون: Egidio Falotico, Lorenzo Vannucci, Alessandro Ambrosano, Ugo Albanese, Stefan Ulbrich, Juan Camilo Vasquez Tieck, Georg Hinkel, Jacques Kaiser, Igor Peric, Oliver Denninger, Nino Cauli, Murat Kirtay, Arne Roennau, Gudrun Klinker, Axel Von Arnim, Luc Guyot, Daniel Peppicelli, Pablo Martinez-Canada, Eduardo Ros, Patrick Maier, Sandro Weber, Manuel Huber, David Plecher, Florian Röhrbein, Stefan Deser, Alina Roitberg, Patrick van der Smagt, Rüdiger Dillman, Paul Levi, Cecilia Laschi, Alois C. Knoll, and Marc-Oliver Gewaltig
مصطلحات موضوعية: info:eu-repo/classification/ddc
وصف الملف: application/pdf
-
6
المؤلفون: Robert Heinrich, Georg Hinkel, Ralf Reussner
المصدر: Software and systems modeling, 18 (5), 3151-3187
مصطلحات موضوعية: Theoretical computer science, Correctness, Computer science, Computation, DATA processing & computer science, Maintainability, 020207 software engineering, 02 engineering and technology, Extensibility, Task (computing), Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Incremental build model, ddc:004, Category theory, Software
وصف الملف: application/pdf
-
7
المؤلفون: Georg Hinkel
المصدر: Software & Systems Modeling. 18:2787-2819
مصطلحات موضوعية: Architecture description language, Computer science, Programming language, Interface (Java), Modeling language, Model transformation, 020207 software engineering, 02 engineering and technology, computer.software_genre, Metamodeling, Modeling and Simulation, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Incremental build model, computer, Software, Software architecture description, computer.programming_language
-
8
المؤلفون: Andrew Rowley, Alan Stokes, Christian Y. Brenninkmeijer, Donal Fellows, Andrew Gait, Petrut Antoniu Bogdan, Oliver Rhodes, sergiodavies, rjames91, neworderofjamie, AlexRast, Andrew Davison, Paul92, adamgoodtime, SimonDavidson, Georg Hinkel, Michael Hopkins, tophensen
Relation: https://github.com/SpiNNakerManchester/sPyNNaker/tree/6.0.0; https://doi.org/10.5281/zenodo.3365952; https://doi.org/10.5281/zenodo.4683099; oai:zenodo.org:4683099
-
9
المؤلفون: Georg Hinkel, Erik Burger
المصدر: Software & Systems Modeling. 18:249-278
مصطلحات موضوعية: Domain-specific language, Finite-state machine, Programming language, Computer science, Internal model, 020207 software engineering, 02 engineering and technology, Petri net, computer.software_genre, Rotation formalisms in three dimensions, Transformation language, Modeling and Simulation, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, Model-driven architecture, computer, Software, computer.programming_language
-
10
المؤلفون: Anthony Anjorin, Albert Zündorf, Leila Samimi-Dehkordi, Hsiang-Shang Ko, Bernhard Westfechtel, Romina Eramo, Georg Hinkel, Zinovy Diskin, Thomas Buchmann
مصطلحات موضوعية: Computer science, business.industry, Framework, 020207 software engineering, 02 engineering and technology, Benchmarking, Benchmark, Bidirectional transformation, Model synchronization, Variety (cybernetics), Range (mathematics), Conceptual framework, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), The Conceptual Framework, Software engineering, business, Implementation, Software
-
11
المؤلفون: Thomas Goldschmidt, Georg Hinkel, Erik Burger, Ralf Reussner
المصدر: Software & Systems Modeling. 18:129-155
مصطلحات موضوعية: Domain-specific language, Computer science, business.industry, Programming language, Model transformation, 020207 software engineering, 02 engineering and technology, computer.software_genre, Modularity, Transformation language, Domain (software engineering), 020204 information systems, Modeling and Simulation, Modular programming, 0202 electrical engineering, electronic engineering, information engineering, Software system, Model-driven architecture, Software engineering, business, computer, Software, computer.programming_language
-
12
المؤلفون: Andrew Rowley, Alan Stokes, Christian Y. Brenninkmeijer, Andrew Gait, Donal Fellows, Petrut Antoniu Bogdan, Oliver Rhodes, sergiodavies, neworderofjamie, AlexRast, such-a-git, rjames91, Paul92, Andrew Davison, SimonDavidson, Basabdatta Sen Bhattacharya, Andreas Stöckel, tophensen, Michael Hopkins, Georg Hinkel
Relation: https://github.com/SpiNNakerManchester/sPyNNaker/tree/5.1.0; https://doi.org/10.5281/zenodo.3365952; https://doi.org/10.5281/zenodo.3550618; oai:zenodo.org:3550618
-
13
المؤلفون: Georg Hinkel
المصدر: Theory and Practice of Model Transformation ISBN: 9783319933160
ICMTمصطلحات موضوعية: Java, business.industry, Computer science, Serialization, Model transformation, Model synchronization, 020207 software engineering, 02 engineering and technology, Non-negative matrix factorization, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Code generation, Android (operating system), Software engineering, business, computer, Multi platform, computer.programming_language
-
14
المؤلفون: Georg Hinkel, Kiana Busch, Robert Heinrich
المصدر: MODELSWARD
مصطلحات موضوعية: Computer science, Programming language, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), 020207 software engineering, 02 engineering and technology, computer.software_genre, computer
-
15
المؤلفون: Misha Strittmatter, Georg Hinkel
المصدر: MODELSWARD
مصطلحات موضوعية: Modularity (networks), business.industry, Computer science, 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, 020201 artificial intelligence & image processing, 02 engineering and technology, Software engineering, business
-
16
المؤلفون: Henning Groenda, Egidio Falotico, Nino Cauli, Georg Hinkel, Rüdiger Dillmann, Ralf Reussner, Lorenzo Vannucci, Marc-Oliver Gewaltig, Sebastian Krach, Oliver Denninger, Arne Roennau, Cecilia Laschi, Stefan Ulbrich, Alois Knoll
المصدر: Journal of Intelligent & Robotic Systems
Journal of Intelligent & Robotic Systems, 85 (1), 71-91مصطلحات موضوعية: 0301 basic medicine, Computer science, Human brain, Industrial and Manufacturing Engineering, Neurorobotics, Computer Science::Robotics, 03 medical and health sciences, 0302 clinical medicine, Domain-specific languages, Model-driven engineering, Spiking neuronal networks, Artificial Intelligence, Electrical and Electronic Engineering, Adaptation (computer science), computer.programming_language, Iterative and incremental development, Quantitative Biology::Neurons and Cognition, business.industry, Mechanical Engineering, DATA processing & computer science, Robotics, ddc, Robot control, 030104 developmental biology, Braitenberg vehicle, Control and Systems Engineering, Software, Robot, Artificial intelligence, ddc:004, Model-driven architecture, business, computer, 030217 neurology & neurosurgery
وصف الملف: application/pdf
-
17
المؤلفون: Georg Hinkel, Misha Strittmatter
المصدر: MODELSWARD
مصطلحات موضوعية: Modularity (networks), Computer science, business.industry, 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, 02 engineering and technology, Software engineering, business
-
18
المؤلفون: Georg Hinkel, Max E. Kramer, Lucia Happe, Erik Burger, Misha Strittmatter
المصدر: MODELSWARD
Scopus-Elsevierمصطلحات موضوعية: Correctness, business.industry, Computer science, media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, Modularity, Metamodeling, Perceived quality, Empirical research, 020204 information systems, Perception, 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, Quality (business), Completeness (statistics), Software engineering, business, media_common
-
19
المؤلفون: Georg Hinkel, Henning Groenda, Oliver Denninger, Nino Cauli, Lorenzo Vannucci, Stefan Ulbrich
مصطلحات موضوعية: Domain-specific language, Computer science, business.industry, Distributed computing, Domain-Specific Languages, Model-Driven Engineering, Neurorobotics, Robotics, Human Brain Project, Robot control, Braitenberg vehicle, Robot, Artificial intelligence, Model-driven architecture, business, computer, computer.programming_language
-
20
المؤلفون: Georg Hinkel
المصدر: Theory and Practice of Model Transformations ISBN: 9783319211541
ICMTمصطلحات موضوعية: Engineering drawing, Finite-state machine, Transformation (function), Computer science, Programming language, Key (cryptography), Internal model, Reuse, Petri net, computer.software_genre, Host (network), computer, Transformation language