2025-02-23T07:02:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-144591%22&qt=morelikethis&rows=5
2025-02-23T07:02:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-144591%22&qt=morelikethis&rows=5
2025-02-23T07:02:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T07:02:34-05:00 DEBUG: Deserialized SOLR response
Formal foundations for software model to model transformation operation
Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained after transformation, influences on further operations with this model. Thus...
Saved in:
Main Author: | Chebanyuk, O.V. |
---|---|
Format: | Article |
Language: | Ukrainian |
Published: |
Інститут програмних систем НАН України
2018
|
Series: | Проблеми програмування |
Subjects: | |
Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/144591 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
2025-02-23T07:02:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-144591%22&qt=morelikethis
2025-02-23T07:02:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-144591%22&qt=morelikethis
2025-02-23T07:02:34-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T07:02:34-05:00 DEBUG: Deserialized SOLR response
Similar Items
-
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.
Published: (2018) -
Models and tools for effectiveness increase of requirements traceability in agile-software development
by: Tkachuk, M.V., et al.
Published: (2012) -
Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018) -
Use of metods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V., et al.
Published: (2018) -
First experience of using INTSPEI P-Modeling Framework in software development projects
by: Pavlov, V.L., et al.
Published: (2007)