„Model-based software engineering“

Suchergebnisse

1.427 Treffer

• On Maximum Elastic Scheduling in Cloud-Based Data Center Networks for Virtual Machines with the Hose Model
  Lu, Shuai-Bing ; Wu, Jie ; Zheng, Huan-Yang ; Fang, Zhi-Yi
• Design and automation of a COSMIC measurement procedure based on UML models
  De Vito, Gabriele ; Ferrucci, Filomena ; Gravino, Carmine
• Modeling foundations for executable model-based testing of self-healing cyber-physical systems
  Ma, Tao ; Ali, Shaukat ; Yue, Tao
• Model-based methodologies for pervasive and embedded software – 8th international workshop ; revised papers
  Machado, Ricardo ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz 2013 Springer
• Model-based engineering of embedded systems – the SPES 2020 methodology
  Pohl, Klaus ; Hönninger, Harald ; Achatz, Reinhold ; Broy, Manfred 2012 Springer
• SOA $$^\mathrm{+d}$$ + d : a new way to design the decision in SOA—based on the new standard Decision Model and Notation (DMN)
  Boumahdi, Fatima ; Chalal, Rachid ; Guendouz, Amina ; Gasmia, Khalida
• A data-based model for driving distance estimation of battery electric logistics vehicles
  Bi, Jun ; Wang, Yongxing ; Zhang, Jiawei
• Property-based testing of web services by deriving properties from business-rule models
  Aichernig, Bernhard K. ; Schumi, Richard
• rCOS: a formal model-driven engineering method for component-based software
  Ke, Wei ; Li, Xiaoshan ; Liu, Zhiming ; Stolz, Volker
• A UML-based modeling of web application controller
  Gorshkova, E. A. ; Novikov, B. A. ; Belov, D. D. ; Gurov, V. S. ; Spiridonov, S. V.
• Predictive Control Based on Fuzzy Supervisor for PWARX Hybrid Model
  Yahya, Olfa ; Lassoued, Zeineb ; Abderrahim, Kamel
• Research on information retrieval model based on ontology
  Yu, Binbin
• Software Project Effort Estimation Based on Multiple Parametric Models Generated Through Data Clustering
  Gallego, Juan J. Cuadrado ; Rodríguez, Daniel ; Sicilia, Miguel Ángel ; Rubio, Miguel Garre ; Crespo, Angel García
• Rotorcraft with a 3DOF Rigid Manipulator: Quaternion-based Modeling and Real-time Control Tolerant to Multi-body Couplings
  Alvarez-Munoz, J. ; Marchand, N. ; Guerrero-Castellanos, J. F. ; Tellez-Guzman, J. J. ; Escareno, J. ; Rakotondrabe, M.
• Scenario-based testing from UML/OCL behavioral models – Application to POSIX compliance
  Castillos, Kalou Cabrera ; Dadeau, Frédéric ; Julliand, Jacques
• A Dilated Convolutional Based Model for Time Series Forecasting
  Mishra, Kakuli ; Basu, Srinka ; Maulik, Ujjwal
• Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems
  Gioulekas, Fotios ; Poplavko, Peter ; Katsaros, Panagiotis ; Bensalem, Saddek ; Palomo, Pedro
• A software framework for embedded nonlinear model predictive control using a gradient-based augmented Lagrangian approach (GRAMPC)
  Englert, Tobias ; Völz, Andreas ; Mesmer, Felix ; Rhein, Sönke ; Graichen, Knut
• A survey on partitioning models, solution algorithms and algorithm parallelization for hardware/software co-design
  Hou, Neng ; Yan, Xiaohu ; He, Fazhi
• Modeling Function Domain for Curves Constructed Based on a Linear Combination of Basis Bernstein Polynomials
  Tolok, A. V. ; Tolok, N. B. ; Loktev, M. A.