Refinement via interpretation

被引：3

作者：

Martins, Manuel A. ^{[1
]}

Madeira, Alexandre ^{[1
,2
]}

Barbosa, L. S. ^{[2
]}

机构：

[1] Univ Aveiro, Dept Math, P-3800 Aveiro, Portugal

[2] Univ Minho, Dept Informat & CCTC, Braga, Portugal

来源：

SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS | 2009年

关键词：

Algebraic specification; refinement; logic interpretation; ALGEBRAIC SPECIFICATION; INSTITUTIONS;

D O I：

10.1109/SEFM.2009.35

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Traditional notions of refinement of algebraic specifications, based on signature morphisms, art often too rigid to capture a number of relevant transformations in the context of software design, reuse and adaptation. This paper proposes an alternative notion of specification refinement, building on recent work on logic interpretation. The concept is discussed, its theory partially developed, its use illustrated through a number of examples.

引用

页码：250 / +

页数：3

共 50 条

[1] Refinement by Interpretation in a General Setting
Martins, Manuel A.
Madeira, Alexandre
Barbosa, Luis S.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 259 : 105 - 121
[2] Crystallographic interpretation of mineral decompositions via Rietveld refinement strategy for clustering ancient ceramics
Emami, Mohammadamin
[J]. ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2016, 72 : S171 - S171
[3] Refinement by interpretation in pi-institutions
Rodrigues, Cesar J.
Martins, Manuel A.
Madeira, Alexandre
Barbosa, Luis S.
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (55): : 53 - 64
[4] Counterexample driven refinement for abstract interpretation
Gulavani, Bhargav S.
Rajamani, Sriram K.
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 474 - 488
[5] PHASE REFINEMENT IN STRUCTURE INTERPRETATION BY SUPERPOSITION METHOD
SOROTA, MI
SIMONOV, VI
[J]. SOVIET PHYSICS CRYSTALLOGRAPHY, USSR, 1971, 15 (04): : 589 - &
[6] Deblurring via Stochastic Refinement
Whang, Jay
Delbracio, Mauricio
Talebi, Hossein
Saharia, Chitwan
Dimakis, Alexandros G.
Milanfar, Peyman
[J]. 2022 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2022), 2022, : 16272 - 16282
[7] ON INTERPRETATION IN GROUP-PSYCHOTHERAPY - THE NEED FOR REFINEMENT - DISCUSSION
HORWITZ, L
[J]. INTERNATIONAL JOURNAL OF GROUP PSYCHOTHERAPY, 1987, 37 (03) : 353 - 356
[8] Refinement of Appendix Ultrasound Interpretation to Limit Equivocal Results
Piechota, David R.
Raske, Molly
Valusek, Patricia
Krause, Ernest
Kharbanda, Anupam
[J]. PEDIATRICS, 2018, 142
[9] ON INTERPRETATION IN GROUP-PSYCHOTHERAPY - THE NEED FOR REFINEMENT - COMMENTARY
NAPOLITANI, F
[J]. INTERNATIONAL JOURNAL OF GROUP PSYCHOTHERAPY, 1987, 37 (03) : 361 - 365
[10] REFINEMENT TYPES FOR LOGICAL FRAMEWORKS AND THEIR INTERPRETATION AS PROOF IRRELEVANCE
Lovas, William
Pfenning, Frank
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (04) : 1 - 50

← 1 2 3 4 5 →