„Programming Languages, Compilers, Interpreters.“

Suchergebnisse

6.476 Treffer

• Model transformations and tool integration
  Tratt, Laurence
• Introductory paper
  Schürr, Andy ; Dörr, Heiko
• PSL: A semantic domain for flow models
  Bock, Conrad ; Gruninger, Michael
• Modeling Multi-agent systems with ANote
  Choren, Ricardo ; Lucena, Carlos
• Problem frame semantics for software development
  Hall, Jon G. ; Rapanotti, Lucia ; Jackson, Michael
• Domain specific modeling
  France, Robert ; Rumpe, Bernhard
• UML – the Good, the Bad or the Ugly? Perspectives from a panel of experts
  Henderson-Sellers, Brian
• From scenarios to code: An air traffic control case study
  Whittle, Jon ; Kwan, Richard ; Saboo, Jyoti
• A reference framework for process-oriented software development organizations
  Fernandes, João M. ; Duarte, Francisco J.
• Formal verification of software source code through semi-automatic modeling
  Eisner, Cindy
• Analysis of tree-based uncertain frequent pattern mining techniques without pattern losses
  Lee, Gangin ; Yun, Unil ; Lee, Kyung-Min
• Load dispersion-aware VM placement in favor of energy-performance tradeoff
  Nadjar, Ali ; Abrishami, Saeid ; Deldari, Hossein
• Intelligent and independent processes for overcoming big graphs
  Sagharichian, Masoud ; Naderi, Hassan
• Do bugs foreshadow vulnerabilities? An in-depth study of the chromium project
  Munaiah, Nuthan ; Camilo, Felivel ; Wigham, Wesley ; Meneely, Andrew ; Nagappan, Meiyappan
• Anti-reversible dynamic tamper detection scheme using distributed image steganography for IoT applications
  Kim, Sung Ryoung ; Kim, Jeong Nyeo ; Kim, Sung Tae ; Shin, Sunwoo ; Yi, Jeong Hyun
• Formalised EMFTVM bytecode language for sound verification of model transformations
  Cheng, Zheng ; Monahan, Rosemary ; Power, James F.