1. Science
  2. Publications
  3. Information Processing Systems
  4. 2(69)'2008
  5. Executable specifications are in planning of databases

Executable specifications are in planning of databases

Tarek Yusef Badi Bishtavi, G.N. Zholtkevich, Yu.V. Solyanik
Annotations languages:

Raising of task of realization of approach is offered to planning of components of software, known as and priori reasoning in application to the bases of information. The basic idea of this approach consists in the obvious use of specification as instruction to assembling of component. Problems, arising up in practice, advantages of possible realization of idea, approaches to the synthesis (generations) of project decision, are considered. Tasks are transferred for further work.
Keywords: planning of software, executable specifications, verification, databases, code generation, technologies of components, languages of queries