„Model-based software engineering“

Suchergebnisse

1.427 Treffer

• Modellbasierter Modultest softwareintensiver, technischer Systeme mit Real-Time Object-Oriented Modeling
  Robinson-Mallett, Christopher
• Soft Actor-Critic (SAC) and dynamic trust management framework-based automatic policy generation for SDN security
  Sahana, D. S. ; Brahmananda, S. H.
• Enhancing Segment-Based Bag of Clusters with Mixture Models and Late Chunking for Document Clustering
  Tran, Quoc-Khang ; Pham, Nguyen-Khang
• Editorial: model-based requirements engineering
  Menzies, Tim
• TTool-AI: A Large Language Model-Based Assistant for Model Driven Engineering
  Sultan, Bastien ; Apvrille, Ludovic
• Guest Editorial: Special issue on formal modeling and analysis of timed systems
  Paolieri, Marco ; Sankaranarayanan, Sriram ; Vicario, Enrico
• Transformer-based indoor positioning with signal robustness and calibration via Bayesian modeling
  Abdullah, Osamah ; Aal-Nouman, Mohammed ; Al-Saegh, Ali
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Software and Data Technologies – 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
  Escalona, María José ; Cordeiro, José António Moinhos ; Šiškov, Boris 2013 Springer Berlin Heidelberg
• Safe and Secure Software Reuse – 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
  Favaro, John ; Morisio, Maurizio 2013 Springer Berlin Heidelberg
• Product-Focused Software Process Improvement – 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
  Heidrich, Jens ; Oivo, Markku ; Jedlitschka, Andreas ; Baldassarre, Maria Teresa 2013 Springer Berlin Heidelberg
• Model-Based Methodologies for Pervasive and Embedded Software – 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
  Machado, Ricardo ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz 2013 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Cortellessa, Vittorio ; Varró, Dániel 2013 Springer Berlin Heidelberg
• Software and Data Technologies – 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
  Cordeiro, José António Moinhos ; Virvou, Maria ; Šiškov, Boris 2013 Springer Berlin Heidelberg
• Software and Data Technologies – 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
  Cordeiro, José António Moinhos ; Hammoudi, Slimane ; van Sinderen, Marten 2013 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer Berlin Heidelberg
• Search Based Software Engineering – 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
  Fraser, Gordon ; Teixeira de Souza, Jerffeson 2012 Springer Berlin Heidelberg
• Evaluation of Novel Approaches to Software Engineering – 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
  Maciaszek, Leszek A. ; Loucopoulos, Pericles 2011 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg