1 line
3.4 KiB
Clojure
1 line
3.4 KiB
Clojure
{:highlights [{:id #uuid "63187447-1f09-4ba0-81ab-5fe14fc2afea", :page 2, :position {:bounding {:x1 0, :y1 302, :x2 495.002685546875, :y2 760.7708435058594, :width 1019.9999999999999, :height 1319.9999999999998}, :rects ({:x1 0, :y1 302, :x2 0, :y2 321.33333587646484, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 0, :y1 318, :x2 0, :y2 337.33333587646484, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 0, :y1 334, :x2 0, :y2 353.33333587646484, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 0, :y1 350, :x2 0, :y2 369.33333587646484, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 0, :y1 366, :x2 0, :y2 385.33333587646484, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 0, :y1 382, :x2 0, :y2 401.33333587646484, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 0, :y1 398, :x2 0, :y2 417.3333435058594, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 106.60417175292969, :y1 602.625, :x2 494.999267578125, :y2 621.2916870117188, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 622.5520935058594, :x2 494.996826171875, :y2 641.21875, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 642.4791870117188, :x2 495.001220703125, :y2 661.1458435058594, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 662.40625, :x2 495.00048828125, :y2 681.0729370117188, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 682.3333435058594, :x2 494.723388671875, :y2 701, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 702.25, :x2 494.9984130859375, :y2 720.9166870117188, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 722.1770935058594, :x2 495.002685546875, :y2 740.84375, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 742.1041870117188, :x2 181.5474090576172, :y2 760.7708435058594, :width 1019.9999999999999, :height 1319.9999999999998}), :page 2}, :content {:text "Model generation ([1], [2]) is a problem stemming from Model-Driven Engineering (MDE). MDE is a recent paradigm that recommends the intensive use of structured models during all the lifecycle of a software, from the early requirements down to the testing phases ([3], [4]). The various models have different structures according to the different purposes they are designed for. Such a structure is defined by "}, :properties {:color "yellow"}} {:id #uuid "6318744b-7cdd-4cdc-8668-3e8cb52b6118", :page 2, :position {:bounding {:x1 0, :y1 654, :x2 495.0048828125, :y2 1100.0833740234375, :width 1019.9999999999999, :height 1319.9999999999998}, :rects ({:x1 0, :y1 654, :x2 0, :y2 673.3333435058594, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 0, :y1 670, :x2 0, :y2 689.3333435058594, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 106.60417175292969, :y1 1041.5625, :x2 494.99888610839844, :y2 1060.2291870117188, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 1061.4896240234375, :x2 495.0048828125, :y2 1080.15625, :width 1019.9999999999999, :height 1319.9999999999998} {:x1 90, :y1 1081.4166870117188, :x2 309.47003173828125, :y2 1100.0833740234375, :width 1019.9999999999999, :height 1319.9999999999998}), :page 2}, :content {:text "Model generation have been studied from several angles, like grammar graphs ([6], [5]), constraint solving with the Alloy constraint solver ([7], [8]), "}, :properties {:color "yellow"}}]} |