„Electronic data processing“

Suchergebnisse

5.920 Treffer

• Automated formal verification of visual modeling languages by model checking
  Varró, Dániel
• Introductory paper
  Bottoni, Paolo ; Minas, Mark
• A toolkit for model manipulation
  Porres, Ivan
• Emerging OCL tools
  Toval, Ambrosio ; Requena, Víctor ; Fernández, José Luis
• Dinosaur meets Archaeopteryx? or: Is there an alternative for Rational’s Unified Process?
  Hesse, Wolfgang
• A relational approach to defining and implementing transformations between metamodels
  Akehurst, David ; Kent, Stuart ; Patrascoiu, Octavian
• A model-driven development approach for context-aware systems
  Jaouadi, Imen ; Ben Djemaa, Raoudha ; Ben-Abdallah, Hanêne
• How do humans inspect BPMN models: an exploratory study
  Haisjackl, Cornelia ; Soffer, Pnina ; Lim, Shao Yi ; Weber, Barbara
• Guest editorial for the special section on MODELS 2014
  Dingel, Juergen ; Schulte, Wolfram
• On the automated translational execution of the action language for foundational UML
  Ciccozzi, Federico
• Efficient parallel reasoning on fuzzy goal models for run time requirements verification
  Chatzikonstantinou, George ; Kontogiannis, Kostas
• Distributed crowd filtering mechanism based on heterogeneous network delay and data packet loss constraint
  Zhou, Xiang-jun
• Data-Driven Forward–Backward Pursuit for Sparse Signal Reconstruction
  Kara, Fatih
• Holistic security requirements analysis for socio-technical systems
  Li, Tong ; Horkoff, Jennifer ; Mylopoulos, John
• Model-driven development of mobile applications for Android and iOS supporting role-based app variability
  Vaupel, Steffen ; Taentzer, Gabriele ; Gerlach, René ; Guckert, Michael
• An approach to clone detection in sequence diagrams and its application to security analysis
  Alalfi, Manar H. ; Antony, Elizabeth P. ; Cordy, James R.
• Formal semantics of static and temporal state-oriented OCL constraints
  Flake, Stephan ; Mueller, Wolfgang
• Guest editorial
  Jézéquel, Jean-Marc ; Hussmann, Heinrich
• VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)
  Varró, Dániel ; Pataricza, András
• Systematic stereotype usage
  Atkinson, Colin ; Kühne, Thomas ; Henderson-Sellers, Brian