„Model-based software engineering“

Suchergebnisse

1.427 Treffer

• A concept for engineering smart grid security requirements based on SGAM models
  Neureiter, Christian ; Eibl, Günther ; Engel, Dominik ; Schlegel, Stefanie ; Uslar, Mathias
• Knowledge-based and intelligent information and engineering systems
  2011 Springer
• Domain Modeling-Based Software Engineering – A Formal Approach
  2000 Springer US
• Search based software engineering – third international symposium ; proceedings
  Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer
• Evaluation of novel approaches to software engineering – 5th international conference ; revised selected papers
  Maciaszek, Leszek A. ; Loucopoulos, Pericles 2011 Springer
• A Repair of Workflow Models Based on Mirroring Matrices
  Sun, Yanan ; Du, Yuyue ; Li, Maozhen
• Security patterns modeling and formalization for pattern-based development of secure software systems
  Hamid, B. ; Gürgens, S. ; Fuchs, A.
• Advanced information systems engineering workshops – proceedings
  Achour-Salinesi, Camille Ben ; Pastor, Oscar 2011 Springer
• Advanced information systems engineering – 23rd international conference ; proceedings
  Mouratidis, Haralambos ; Rolland, Colette 2011 Springer
• Assumption-based distribution of CTL model checking
  Brim, Lubǒs ; Yorav, Karen ; Žídková, Jitka
• Model-based testing for concurrent systems: unfolding-based test selection
  Ponce de León, Hernán ; Haar, Stefan ; Longuet, Delphine
• Models in software engineering – workshops and symposia at MODELS 2010, Olso, Norway, October 3 - 8, 2010 ; reports and revised selected papers
  Dingel, Jürgen ; Solberg, Arnor 2011 Springer
• Robust self-tuning control based on discrete-time sliding mode for auto-regressive mathematical model in the presence of unmodelled dynamics
  Touijer, Nabiha ; Kamoun, Samira
• A computational model based on fibrin accumulation for the prediction of stasis thrombosis following flow-diverting treatment in cerebral aneurysms
  Ou, Chubin ; Huang, Wei ; Yuen, Matthew Ming-Fai
• Model-based reuse for crosscutting frameworks: assessing reuse and maintenance effort
  Gottardi, Thiago ; Durelli, Rafael Serapilha ; López, Óscar Pastor ; de Camargo, Valter Vieira
• Using ELM-based weighted probabilistic model in the classification of synchronous EEG BCI
  Tan, Ping ; Tan, Guan-zheng ; Cai, Zi-Xing ; Sa, Wei-ping ; Zou, Yi-qun
• Putting the agent in agent-based modeling
  Wellman, Michael P.
• Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing
  Coutinho, Ana Emília Victor Barbosa ; Cartaxo, Emanuela Gadelha ; Machado, Patrícia Duarte de Lima
• Software quality improvement: a model based on managing factors impacting software quality
  Janicijevic, Ivan ; Krsmanovic, Maja ; Zivkovic, Nedeljko ; Lazarevic, Sasa
• Model-based requirements specification of real-time systems with UML, SysML and MARTE
  Ribeiro, Fabíola Gonçalves C. ; Pereira, Carlos E. ; Rettberg, Achim ; Soares, Michel S.