„Model-based software engineering“

Suchergebnisse

1.427 Treffer

• The evolution of model editors: browser- and cloud-based solutions
  Gray, Jeff ; Rumpe, Bernhard
• Modeling of HVDC and DC Links Based Voltage Converters in Software for Calculating Long-Time Regimes of Power Systems1
  Bulatov, B. G. ; Gol’dshtein, M. E. ; Korbukov, N. V.
• Engineering secure software and systems – third international symposium ; proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer
• Modeling Petri net-based multi-agent applications
  Cabac, Lawrence 2010 Logos-Verl.
• Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice
  Liebel, Grischa ; Marko, Nadja ; Tichy, Matthias ; Leitner, Andrea ; Hansson, Jörgen
• Synthesizing, correcting and improving code, using model checking-based genetic programming
  Katz, Gal ; Peled, Doron
• SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
  Armando, Alessandro ; Carbone, Roberto ; Compagna, Luca
• Learning behavior patterns from video for agent-based crowd modeling and simulation
  Zhong, Jinghui ; Cai, Wentong ; Luo, Linbo ; Zhao, Mingbi
• Meta-learning based selection of software reliability models
  Caiuta, Rafael ; Pozo, Aurora ; Vergilio, Silvia Regina
• A Parallel Markov Cerebrovascular Segmentation Algorithm Based on Statistical Model
  Cao, Rong-Fei ; Wang, Xing-Ce ; Wu, Zhong-Ke ; Zhou, Ming-Quan ; Liu, Xin-Yu
• Modeling and model-based testing of service choreographies – modeling and model-based service integration testing for service-oriented architectures
  Wieczorek, Sebastian 2010 AVM
• Investigation of trunk muscle activities during lifting using a multi-objective optimization-based model and intelligent optimization algorithms
  Ghiasi, Mohammad Sadegh ; Arjmand, Navid ; Boroushaki, Mehrdad ; Farahmand, Farzam
• Service research challenges and solutions for the future internet – s-cube - towards engineering, managing and adapting service-based systems
  Papazoglou, Michael P. ; Pohl, Klaus ; Parkin, Michael ; Metzger, Andreas 2010 Springer
• Formal methods and software engineering – proceedings
  Dong, Jin Song ; Zhu, Huibiao 2010 Springer
• Testing software and systems – 22nd IFIP WG 6.1 international conference ; proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer
• Taxonomy and issues for antifragile-based multimedia cloud computing
  Haider, Syed Fawad ; Abbas, Laraib ; Ali, Amjad ; Iqbal, Muddesar ; Raza, Imran ; Hussain, Syed Asad ; Suh, Doug Young
• Software Product Line Architecture for Enterprise Applications – Principles, Methodologies, and Practices for Model-based SPL Engineering
  Schmölzer, Gernot 2008 VDM Verlag Dr. Müller
• Requirements Engineering Project-Based Learning Model Using the Electronic Learning Software Engineering System (ELINS)
  Jamaludin, Nor Azliana Akmal 2015 GRIN Verlag
• Enabling Formal Model-Driven Development with QVT – Concepts, Methods and Tools
  Li, Dan 2015 LAP LAMBERT Academic Publishing
• An empirical model of software managers' information needs for software engineering technology selection – a framework to support experimentally-based software engineering technology selection
  Jedlitschka, Andreas 2009 Fraunhofer-Verl.