COMPOSITION - NOMINATIVE SPECIFICATION LANGUAGES OF THE OBJECT - ORIENTED PROGRAMS
<p>In the paper it is developed and grounded the new approaches to building of axiomatic systems of non-determined program specifications. Based on the composition-nominative method of refinement of the concept of program, axiomatic system of software specifications over the nominative data, s...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Consilium LLC
2015-08-01
|
| Series: | European Cooperation |
| Subjects: | |
| Online Access: | http://we.clmconsulting.pl/index.php/we/article/view/49 |