„Automatic programming“

Suchergebnisse

364 Treffer

• Automatic generation of test system instances for configurable cyber-physical systems
  Arrieta, Aitor ; Sagardui, Goiuria ; Etxeberria, Leire ; Zander, Justyna
• Automatic construction of systems of distributed components from nested Petri nets models
  Dworzanski, L. W. ; Lomazova, I. A.
• Automatic query rewriting schemes for multitenant SaaS applications
  Liao, Chun-Feng ; Chen, Kung ; Tan, Deik Hoong ; Chen, Jiu-Jye
• Formal verification of software source code through semi-automatic modeling
  Eisner, Cindy