Publication schedule
-
№1 March 2023
-
№2 June 2023
-
№3 September 2023
-
№4 December 2023
Articles by keywords "UCM"
Static approach for debugging of test scenarious generated with usage of heuristics.
- Year: 2012
- Issue: 4
- 0
- 4142
- Pages: 114-119
Generation of formal model of a sysmem from requirements specified in Use Case Map
- Year: 2010
- Issue: 4
- 1
- 3872
- Pages: 191-195
Restrictions on concurrent construction and time delays of UCM language
- Year: 2013
- Issue: 3
- 534
- 4920
- Pages: 148-153
Formal models structurization based technique of complex software projects testing
- Year: 2013
- Issue: 3
- 747
- 4841
- Pages: 99-104
Usage of formalization approaches for creation of system models from ucm-specification
- Year: 2011
- Issue: 3
- 0
- 3971
- Pages: 180-184