„software system models“

Suchergebnisse

1.395 Treffer

• Synthesizing data-centric models from business process models
  Eshuis, Rik ; Gorp, Pieter ˜vanœ
• Verification and Validation in Systems Engineering – Assessing UML/SysML Design Models
  Debbabi, Mourad 2010 Springer Berlin Heidelberg
• A comparison of multiple behavior models in a simulation of the aftermath of an improvised nuclear detonation
  Parikh, Nidhi ; Hayatnagarkar, Harshal G. ; Beckman, Richard J. ; Marathe, Madhav V. ; Swarup, Samarth
• 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
• Software reusability as synchronous innovation: a test of four theoretical models
  Ravichandran, T.
• Software sizing and costing models: a survey of empirical validation and comparison studies
  Tate, Graham ; Verner, June M.
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Autonomic and trusted computing – 7th international conference ; proceedings
  Xie, Bing 2010 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• An assurance process for the exchange of operations research software models used for military simulation
  Hossain, A. ; Moon, T. ; Curtis, N J.
• TIde: a software for the systematic scanning of drug targets in kinetic network models
  Schulz, Marvin ; Bakker, Barbara M. ; Klipp, Edda
• Evaluation of Novel Approaches to Software Engineering – 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers
  Maciaszek, Leszek A. ; Filipe, Joaquim 2016 Springer International Publishing
• Modelling Public Transport Passenger Flows in the Era of Intelligent Transport Systems – COST Action TU1004 (TransITS)
  Gentile, Guido ; Nökel, Klaus 2016 Springer International Publishing
• Verification and validation in systems engineering – assessing UML/SysML design models
  Debbabi, Mourad 2010 Springer
• Structural Models for Large Software Systems – Dependency Matters
  Kahraman Güngör, Murat 2008 VDM Verlag Dr. Müller
• Stochastic Models for Fault Tolerance – Restart, Rejuvenation and Checkpointing
  Wolter, Katinka 2010 Springer Berlin Heidelberg
• Bioinspired models of network, information, and computing systems – 4th international conference ; revised selected papers
  Altman, Eitan 2010 Springer
• Systematic development of generic formal software process models
  Deiters, Wolfgang ; Gruhn, Volker ; Schäfer, Wilhelm 1988 Lehrstuhl Software-Technologie, Fachbereich Informatik, Univ.
• Stochastic models for fault tolerance – restart, rejuvenation and checkpointing
  Wolter, Katinka 2010 Springer
• Development and application of software sensors and reverse models for urban drainage systems – model-based approaches for gaining more information from measurement data
  Leonhardt, Günther 2015 Innsbruck Univ. Press