„Model-based software engineering“

Suchergebnisse

1.427 Treffer

• Software Engineering and Formal Methods – 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo 2011 Springer Berlin Heidelberg
• Search Based Software Engineering – Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
  Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer Berlin Heidelberg
• Advanced Information Systems Engineering Workshops – CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings
  Achour-Salinesi, Camille Ben ; Pastor, Oscar 2011 Springer Berlin Heidelberg
• Models in Software Engineering – Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
  Dingel, Jürgen ; Solberg, Arnor 2011 Springer Berlin Heidelberg
• Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
• Mathematical Modeling of Fractional-Differential Dynamics of Computer Viruses Based on a Model with Caputo Derivatives of Piecewise-Constant Order
  Bulavatsky, V. M. ; Bohaienko, V. O.
• Reducing the complexity of process-based integration using model-driven technologies
  Kühne, Stefan 2019 Universitätsbibliothek Leipzig
• A Dialog Flow Notation for Web-based Applications
  Book, Matthias ; Gruhn, Volker 2018 Universitätsbibliothek Leipzig
• Model-Based Software Engineering at RWTH Aachen University
  Adam, Kai ; Michael, Judith ; Netz, Lukas Stephan Michael ; Rumpe, Bernhard ; Varga, Simon 2020 Universitätsbibliothek der RWTH Aachen
• Coordination Models and Languages – 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17–19, 2025, Proceedings
  Di Giusto, Cinzia ; Ravara, António 2025 Springer Nature Switzerland, Imprint: Springer
• Model-based visual software specification
  Memmel, Thomas ; Heilig, Mathias ; Reiterer, Harald 2007 Bibliothek der Universität Konstanz
• Real-time monitoring of wind converters based on software agents
  Smarsly, Kay ; Hartmann, Dietrich ; Gürlebeck, Klaus ; Könke, Carsten 2010 Bauhaus-Universität
• Integrating Security and Safety with Systems Engineering: a Model-Based Approach
  Bergler, Matthias ; Tolvanen, Juha-Pekka ; Tavakoli Kolagari, Ramin 2022 Technische Hochschule Nürnberg Georg Simon Ohm
• Proceedings of the International Workshop "Innovation Information Technologies: Theory and Practice"
  Konrad, Uwe ; Iskhakova, Liliya 2010 Forschungszentrum Dresden
• Optimierung des anlagentechnischen Aufbaus eines Pumpspeichermodells undErstellung von MATLAB-basierter Steuersoftware zur Integration in ein Smart-Grid – Optimization of the plant engineering design of a pumped storage model and creation ofMATLAB-based control software for integration into a smart grid
  Flockenhaus, Franz ; Veeser, Thomas ; Koeppen, Birgit 2019 Hochschule für Angewandte Wissenschaften Hamburg
• Operation-Based Model Recommenders
  Ganser, Andreas 2018 Shaker
• Model-Based Runtime Adaptation of Resource Constrained Devices
  Saller, Karsten ; Schürr, Andy ; Schaefer, Ina 2015 Universitäts- und Landesbibliothek Darmstadt
• Model-Driven software modernization – concept-based engineering of situation-specific methods
  Grieger, Marvin 2016 Universitätsbibliothek