Publication schedule
-
№4 December 2025
-
№1 March 2026Submission deadline: 27 February 2026
-
№2 June 2026Submission deadline: 29 May 2026
-
№3 September 2026Submission deadline: 31 August 2026
Articles by keywords "formalization"
Personal investment decision logical-linguistic simulation
- Year: 2008
- Issue: 6
- 0
- 7637
- Pages: 183-186
Synthesis of simple structures and sets of pulse managing influences
- Year: 2008
- Issue: 5
- 0
- 7925
- Pages: 134-138
Generation of formal model of a sysmem from requirements specified in Use Case Map
- Year: 2010
- Issue: 4
- 1
- 7280
- Pages: 191-195
Automation of formalization of requirement to program projects
- Year: 2009
- Issue: 3
- 0
- 7170
- Pages: 236-241
Usage of formalization approaches for creation of system models from ucm-specification
- Year: 2011
- Issue: 3
- 0
- 7273
- Pages: 180-184