1. Science
  2. Publications
  3. Information Processing Systems
  4. 6(73)'2008
  5. Intelligent supporting methods for automated software engineering

Intelligent supporting methods for automated software engineering

G.F. Dubko, H.L. Leshchynska
Annotations languages:

Search method for refined components matching according to semantic annotations, method to determine formal specification satisfiability, to check realization to formal specification conformance, method of intelligent system learning are introduced.
Keywords: MDD, automation of programming, semantic annotation, verification, teaching