Recombining changes to software specifications

This paper proposes a model of software changes for supporting the evolution of software prototypes. We decompose software evolution steps into primitive substeps that correspond to monotonic specification changes. This structure is used to rearrange chronological derivation sequences into idealized...

Full description

Saved in:
Bibliographic Details
Published inThe Journal of systems and software Vol. 42; no. 2; pp. 165 - 174
Main Author Berzins, V.
Format Journal Article
LanguageEnglish
Published New York Elsevier Inc 01.08.1998
Elsevier Sequoia S.A
Subjects
Change merging
Logic
Mathematical models
Software
Software evolution
Specifications
Studies
Change merging
Software evolution
Specifications
Logic
Online AccessGet full text

Cover

Abstract This paper proposes a model of software changes for supporting the evolution of software prototypes. We decompose software evolution steps into primitive substeps that correspond to monotonic specification changes. This structure is used to rearrange chronological derivation sequences into idealized conceptual derivation structures containing only meaning-extending changes, and to automatically combine different changes to a specification. A set of examples illustrates the ideas.
AbstractList This paper proposes a model of software changes for supporting the evolution of software prototypes. We decompose software evolution steps into primitive substeps that correspond to monotonic specification changes. This structure is used to rearrange chronological derivation sequences into idealized conceptual derivation structures containing only meaning-extending changes, and to automatically combine different changes to a specification. A set of examples illustrates the ideas.
A model of software changes is proposed for supporting the evolution of software prototypes. Software evolution steps into primitive substeps that correspond to monotonic specification changes is decomposed. This structure is used to rearrange chronological derivation sequences into idealized conceptual derivation structures containing only meaning-extending changes, and to automatically combine different changes to a specification. A set of examples illustrates the ideas.
Author Berzins, V.
Author_xml – sequence: 1
  givenname: V.
  surname: Berzins
  fullname: Berzins, V.
  organization: Computer Science Department, Naval Postgraduate School, Monterey, CA 93943, USA
BookMark eNqFkEtLAzEUhYNUsK3-BGFwIboYTTIzmWQlUnxBQfCxDpnkpqa0SU2miv_etBUXbtzcC5fvHM49IzTwwQNCxwRfEEzY5XMedUkooWeCnxOMcVuKPTQkvK3ymfIBGv4iB2iU0nzDUEyH6OIJdFh2zjs_K_Sb8jNIRR-KFGz_qSIUaQXaWadV74JPh2jfqkWCo589Rq-3Ny-T-3L6ePcwuZ6WumJNXxqDiW45YBBW151WzFQt6UhnulrQpsLKCg1G0Zo3gA3THaW45Q2jYA3p2mqMTne-qxje15B6uXRJw2KhPIR1kpS1WNCKZ_DkDzgP6-hzNkmpYKxu6jpDzQ7SMaQUwcpVdEsVvyTBclOh3FYoN_1IweW2Qimy7mqng_zqh4Mok3bgc3IXQffSBPePwzceJXmf
CODEN JSSODM
CitedBy_id crossref_primary_10_1016_S0164_1212_98_10004_3
Cites_doi 10.1109/2.27953
10.1007/BF02262754
10.1109/TSE.1986.6312940
10.1145/65979.65980
10.1109/TSE.1985.231878
10.1007/3-540-18779-0
10.1007/BF01975671
10.1109/32.6186
10.1145/358557.358572
10.1109/32.21745
10.1109/32.57627
10.1109/52.2013
10.1007/BF02426920
10.1145/357153.357154
10.1145/197320.197403
10.1109/TSE.1985.231879
10.1007/BF00264309
10.1109/52.50776
10.1016/0004-3702(83)90009-7
ContentType Journal Article
Copyright 1998 Elsevier Science Inc.
Copyright Elsevier Sequoia S.A. Aug 1998
Copyright_xml – notice: 1998 Elsevier Science Inc.
– notice: Copyright Elsevier Sequoia S.A. Aug 1998
DBID AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.1016/S0164-1212(98)10007-9
DatabaseName CrossRef
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts

Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1873-1228
EndPage 174
ExternalDocumentID 33232770
10_1016_S0164_1212_98_10007_9
S0164121298100079
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
1B1
1~.
1~5
29L
4.4
457
4G.
5GY
5VS
7-5
71M
8P~
9JN
9M8
AABNK
AACTN
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
AAYOK
ABBOA
ABEFU
ABFNM
ABFRF
ABFSI
ABJNI
ABMAC
ABTAH
ABXDB
ABYKQ
ACDAQ
ACGFO
ACGFS
ACGOD
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADHUB
ADJOM
ADMUD
AEBSH
AEFWE
AEKER
AENEX
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHZHX
AI.
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BKOMP
BLXMC
CS3
DU5
E.L
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
G8K
GBLVA
GBOLZ
HLZ
HVGLF
HZ~
IHE
J1W
KOM
LG9
M41
MO0
MS~
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
P2P
PC.
PQQKQ
Q38
R2-
RIG
RNS
ROL
RPZ
RXW
SBC
SDF
SDG
SDP
SES
SEW
SPC
SPCBC
SSV
SSZ
T5K
TAE
TN5
TWZ
UHS
UNMZH
VH1
WUQ
XPP
ZMT
ZY4
~G-
AAXKI
AAYXX
AFJKZ
AKRWK
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c365t-dd01c78e0e9fc4bca6d371b1bdb492530af9ceda2485e0d6cb22078562efd1b73
IEDL.DBID .~1
ISSN 0164-1212
IngestDate Fri Aug 16 10:13:13 EDT 2024
Fri Sep 13 07:45:54 EDT 2024
Thu Sep 26 17:43:25 EDT 2024
Fri Feb 23 02:34:17 EST 2024
IsPeerReviewed true
IsScholarly true
Issue 2
Keywords Change merging
Software evolution
Specifications
Logic
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c365t-dd01c78e0e9fc4bca6d371b1bdb492530af9ceda2485e0d6cb22078562efd1b73
Notes ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
PQID 229664544
PQPubID 45802
PageCount 10
ParticipantIDs proquest_miscellaneous_26709238
proquest_journals_229664544
crossref_primary_10_1016_S0164_1212_98_10007_9
elsevier_sciencedirect_doi_10_1016_S0164_1212_98_10007_9
PublicationCentury 1900
PublicationDate 1998-08-01
PublicationDateYYYYMMDD 1998-08-01
PublicationDate_xml – month: 08
  year: 1998
  text: 1998-08-01
  day: 01
PublicationDecade 1990
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle The Journal of systems and software
PublicationYear 1998
Publisher Elsevier Inc
Elsevier Sequoia S.A
Publisher_xml – name: Elsevier Inc
– name: Elsevier Sequoia S.A
References Berzins (BIB3) 1986; 23
M. Feather, A survey and classification of some program change approaches and techniques, in: L.G.L.T. Meertens (Ed.), Program Specification and Change, Proceedings of the IFIP TC2/WG 2.1 Working Conference, North-Holland, Amsterdam, 1987, pp. 165–195
Berzins, Dampier (BIB10) 1996; 6
Luqi, V. Berzins, R. Yeh, A prototyping language for real-time software, IEEE Trans. Software Eng. 14 (10) (1988) 1409–1423
W. Swartout, R. Balzer, On the inevitable intertwining of specification and implementation, Comm. ACM 25 (7) (1982) 438–440; also appears in: N. Gehani, A.D. McGettrick (Eds.), Software Specification Techniques, 1986, pp. 41–45
V. Berzins, Luqi, An introduction to the specification language Spec, IEEE Software 7 (2) (1990) 74–84
V. Berzins, Luqi, Software Engineering with Abstractions: An Integrated Approach to Software Development using Ada, Addison-Wesley, Reading, MA, 1991
S. Badr, Luqi, Automation support for concurrent software engineering, in: Proceedings of the Sixth International Conference Software Engineering and Knowledge Engineering, Jurmala, Latvia, 20–23 June 1994, pp. 46–53
Luqi, Software evolution via rapid prototyping, IEEE Comput. 22 (5) (1989) 13–25
E. Kant, On the efficient synthesis of efficient programs, Artificial Intelligence 20 (3) (1983) 253–305; also appears in: C. Rich, R. Waters (Eds.), Readings in Artificial Intelligence and Software Engineering, Morgan Kaufmann, Los Altos, CA, 1986, pp. 157–183
Fickas (BIB14) 1985; 11
F. Bauer et al., The Munich Project CIP. Vol. II: The Program Change System CIP-S, in: Lecture Notes in Computer Science, vol. 292, Springer, Berlin, 1987
Berzins (BIB8) 1994; 16
W. Johnson, M. Feather, Building an evolution change library, in: Twelfth International Conference on Software Engineering, 1990, pp. 238–248
Feather (BIB13) 1989; 15
Luqi, A graph model for software evolution, IEEE Trans. Software Eng. 16 (8) (1990) 917–927
Luqi, Specifications in software prototyping, in: Proc. SEKE 96, Lake Tahoe, NV, 10–12 June 1996, pp. 189–197
Parnas, Clemens (BIB22) 1986; 12
V. Berzins, Software merging and slicing, Tutorial, IEEE Comput. Soc. Press, Silver Spring, MD, 1995
D. Dampier, Luqi, V. Berzins, Automated merging of software prototypes, J. Systems Integration 4 (1) (1994) 33–49
Horowitz, Prins, Reps (BIB23) 1989; 11
Feather (BIB11) 1982; 4
C. Rich, R. Waters (Eds.), Readings in Artificial Intelligence and Software Engineering, Morgan Kaufmann, Los Altos, CA, 1986
Smith, Kotik, Westfold (BIB25) 1985; 11
Berzins (BIB6) 1991; 1
Luqi, M. Ketabchi, A computer aided prototyping system, IEEE Software 5 (2) (1988) 66–72
10.1016/S0164-1212(98)10007-9_BIB2
10.1016/S0164-1212(98)10007-9_BIB18
10.1016/S0164-1212(98)10007-9_BIB1
10.1016/S0164-1212(98)10007-9_BIB19
10.1016/S0164-1212(98)10007-9_BIB4
Smith (10.1016/S0164-1212(98)10007-9_BIB25) 1985; 11
10.1016/S0164-1212(98)10007-9_BIB15
10.1016/S0164-1212(98)10007-9_BIB16
10.1016/S0164-1212(98)10007-9_BIB17
10.1016/S0164-1212(98)10007-9_BIB12
Berzins (10.1016/S0164-1212(98)10007-9_BIB3) 1986; 23
Horowitz (10.1016/S0164-1212(98)10007-9_BIB23) 1989; 11
10.1016/S0164-1212(98)10007-9_BIB9
10.1016/S0164-1212(98)10007-9_BIB5
10.1016/S0164-1212(98)10007-9_BIB7
10.1016/S0164-1212(98)10007-9_BIB26
10.1016/S0164-1212(98)10007-9_BIB21
10.1016/S0164-1212(98)10007-9_BIB24
Feather (10.1016/S0164-1212(98)10007-9_BIB11) 1982; 4
10.1016/S0164-1212(98)10007-9_BIB20
Parnas (10.1016/S0164-1212(98)10007-9_BIB22) 1986; 12
Berzins (10.1016/S0164-1212(98)10007-9_BIB6) 1991; 1
Fickas (10.1016/S0164-1212(98)10007-9_BIB14) 1985; 11
Berzins (10.1016/S0164-1212(98)10007-9_BIB10) 1996; 6
Feather (10.1016/S0164-1212(98)10007-9_BIB13) 1989; 15
Berzins (10.1016/S0164-1212(98)10007-9_BIB8) 1994; 16
References_xml – volume: 11
  start-page: 345
  year: 1989
  end-page: 387
  ident: BIB23
  article-title: Integrating non-interfering versions of programs
  publication-title: ACM Trans. Programming Languages Systems
  contributor:
    fullname: Reps
– volume: 6
  start-page: 135
  year: 1996
  end-page: 150
  ident: BIB10
  article-title: Software merge: Combining changes to decompositions
  publication-title: J. Systems Integration
  contributor:
    fullname: Dampier
– volume: 11
  start-page: 1268
  year: 1985
  end-page: 1277
  ident: BIB14
  article-title: Automating the transformational development of software
  publication-title: IEEE Trans. Software Eng.
  contributor:
    fullname: Fickas
– volume: 23
  start-page: 607
  year: 1986
  end-page: 619
  ident: BIB3
  article-title: On merging software enhancements
  publication-title: Acta Inform.
  contributor:
    fullname: Berzins
– volume: 11
  start-page: 1278
  year: 1985
  end-page: 1295
  ident: BIB25
  article-title: Research on knowledge-based software environments at Kestrel Institute
  publication-title: IEEE Trans. Software Eng.
  contributor:
    fullname: Westfold
– volume: 4
  start-page: 1
  year: 1982
  end-page: 20
  ident: BIB11
  article-title: A system for assisting program change
  publication-title: ACM Trans. Programming Languages Systems
  contributor:
    fullname: Feather
– volume: 12
  start-page: 251
  year: 1986
  end-page: 257
  ident: BIB22
  article-title: A rational design process: How and why to fake it
  publication-title: IEEE Trans. Software Eng.
  contributor:
    fullname: Clemens
– volume: 16
  start-page: 1875
  year: 1994
  end-page: 1903
  ident: BIB8
  article-title: Software merge: Semantics of combining changes to programs
  publication-title: ACM TOPLAS
  contributor:
    fullname: Berzins
– volume: 1
  start-page: 121
  year: 1991
  end-page: 141
  ident: BIB6
  article-title: Software merge: Models and methods
  publication-title: J. Systems Integration
  contributor:
    fullname: Berzins
– volume: 15
  start-page: 198
  year: 1989
  end-page: 208
  ident: BIB13
  article-title: Constructing specifications by combining parallel elaborations
  publication-title: IEEE Trans. Software Eng.
  contributor:
    fullname: Feather
– ident: 10.1016/S0164-1212(98)10007-9_BIB19
  doi: 10.1109/2.27953
– volume: 6
  start-page: 135
  issue: 1/2
  year: 1996
  ident: 10.1016/S0164-1212(98)10007-9_BIB10
  article-title: Software merge: Combining changes to decompositions
  publication-title: J. Systems Integration
  doi: 10.1007/BF02262754
  contributor:
    fullname: Berzins
– volume: 12
  start-page: 251
  issue: 2
  year: 1986
  ident: 10.1016/S0164-1212(98)10007-9_BIB22
  article-title: A rational design process: How and why to fake it
  publication-title: IEEE Trans. Software Eng.
  doi: 10.1109/TSE.1986.6312940
  contributor:
    fullname: Parnas
– volume: 11
  start-page: 345
  issue: 3
  year: 1989
  ident: 10.1016/S0164-1212(98)10007-9_BIB23
  article-title: Integrating non-interfering versions of programs
  publication-title: ACM Trans. Programming Languages Systems
  doi: 10.1145/65979.65980
  contributor:
    fullname: Horowitz
– ident: 10.1016/S0164-1212(98)10007-9_BIB12
– volume: 11
  start-page: 1268
  issue: 11
  year: 1985
  ident: 10.1016/S0164-1212(98)10007-9_BIB14
  article-title: Automating the transformational development of software
  publication-title: IEEE Trans. Software Eng.
  doi: 10.1109/TSE.1985.231878
  contributor:
    fullname: Fickas
– ident: 10.1016/S0164-1212(98)10007-9_BIB2
  doi: 10.1007/3-540-18779-0
– ident: 10.1016/S0164-1212(98)10007-9_BIB9
– ident: 10.1016/S0164-1212(98)10007-9_BIB7
  doi: 10.1007/BF01975671
– ident: 10.1016/S0164-1212(98)10007-9_BIB5
– ident: 10.1016/S0164-1212(98)10007-9_BIB18
  doi: 10.1109/32.6186
– ident: 10.1016/S0164-1212(98)10007-9_BIB24
– ident: 10.1016/S0164-1212(98)10007-9_BIB26
  doi: 10.1145/358557.358572
– volume: 15
  start-page: 198
  issue: 2
  year: 1989
  ident: 10.1016/S0164-1212(98)10007-9_BIB13
  article-title: Constructing specifications by combining parallel elaborations
  publication-title: IEEE Trans. Software Eng.
  doi: 10.1109/32.21745
  contributor:
    fullname: Feather
– ident: 10.1016/S0164-1212(98)10007-9_BIB20
  doi: 10.1109/32.57627
– ident: 10.1016/S0164-1212(98)10007-9_BIB21
– ident: 10.1016/S0164-1212(98)10007-9_BIB17
  doi: 10.1109/52.2013
– volume: 1
  start-page: 121
  issue: 2
  year: 1991
  ident: 10.1016/S0164-1212(98)10007-9_BIB6
  article-title: Software merge: Models and methods
  publication-title: J. Systems Integration
  doi: 10.1007/BF02426920
  contributor:
    fullname: Berzins
– volume: 4
  start-page: 1
  issue: 1
  year: 1982
  ident: 10.1016/S0164-1212(98)10007-9_BIB11
  article-title: A system for assisting program change
  publication-title: ACM Trans. Programming Languages Systems
  doi: 10.1145/357153.357154
  contributor:
    fullname: Feather
– ident: 10.1016/S0164-1212(98)10007-9_BIB1
– volume: 16
  start-page: 1875
  issue: 6
  year: 1994
  ident: 10.1016/S0164-1212(98)10007-9_BIB8
  article-title: Software merge: Semantics of combining changes to programs
  publication-title: ACM TOPLAS
  doi: 10.1145/197320.197403
  contributor:
    fullname: Berzins
– ident: 10.1016/S0164-1212(98)10007-9_BIB15
– volume: 11
  start-page: 1278
  issue: 11
  year: 1985
  ident: 10.1016/S0164-1212(98)10007-9_BIB25
  article-title: Research on knowledge-based software environments at Kestrel Institute
  publication-title: IEEE Trans. Software Eng.
  doi: 10.1109/TSE.1985.231879
  contributor:
    fullname: Smith
– volume: 23
  start-page: 607
  issue: 6
  year: 1986
  ident: 10.1016/S0164-1212(98)10007-9_BIB3
  article-title: On merging software enhancements
  publication-title: Acta Inform.
  doi: 10.1007/BF00264309
  contributor:
    fullname: Berzins
– ident: 10.1016/S0164-1212(98)10007-9_BIB4
  doi: 10.1109/52.50776
– ident: 10.1016/S0164-1212(98)10007-9_BIB16
  doi: 10.1016/0004-3702(83)90009-7
SSID ssj0007202
Score 1.560618
Snippet This paper proposes a model of software changes for supporting the evolution of software prototypes. We decompose software evolution steps into primitive...
A model of software changes is proposed for supporting the evolution of software prototypes. Software evolution steps into primitive substeps that correspond...
SourceID proquest
crossref
elsevier
SourceType Aggregation Database
Publisher
StartPage 165
SubjectTerms Change merging
Logic
Mathematical models
Software
Software evolution
Specifications
Studies
Title Recombining changes to software specifications
URI https://dx.doi.org/10.1016/S0164-1212(98)10007-9
https://www.proquest.com/docview/229664544/abstract/
https://search.proquest.com/docview/26709238
Volume 42
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV09T8MwELWqsrDwjSiFkoEBBreJ4zjxWFVUBUQXqNTNimNX6kBatanY-O3cOQkFJITE6jhO9HK-e3bunQm5lqFlQFMFDYzwKU8yRmXEUhpF1mRGQkAyqHd-GovRhD9Mo2mDDGotDKZVVr6_9OnOW1ctvQrN3nI-7z1jcagAPK9McI86RhEfh2AENt1936Z5xMzlHWJnir23Kp5yBNd4I5NbNwiVv8WnH57ahZ_hAdmreKPXL1_tkDRsfkT26zMZvGqKHpMuridftTv2wStVvWuvWHhrcLdv6cp6KK3E9KByp-6ETIZ3L4MRrc5EoFkoooIa4wdZnFjfylnGdZYKE8aBDrTRWGYw9NOZBOhSrFRmfSMyzRiwAGA5dmYCHYenpJkvcntGPJvABBauQI3mgmU6DDTSFwA0TGPGWqRbI6GWZekL9SUnTHCF0CmZKAedki2S1Hipb99QgXv-69Z2ja-qJtFaMQZrMR5x3iJXn1fB-vGXRprbxQa6YPk5YB3n_390m-yWOkNM6rsgzWK1sZdANArdcZbUITv9-8fR-AMDqMui
link.rule.ids 315,786,790,4521,24144,27957,27958,45620,45714
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED6VdoCFN6IUaAYGGNzGjuPEY1VRpfSx0ErdrDh2pQ6kVR_i72PnUR4SQmJ1bCf6kvvus3N3BnjgniZGpjKEFXMRDROCuE9i5PtaJYobh6RsvvNozKIpfZn5swp0y1wYG1ZZcH_O6RlbFy3tAs32arFov9riUNgwLw_tHnXAD6BG_QDTKtQ6_UE03hNyQLLQQ9sf2QGfiTz5JFnjIw-fsnkQ_81F_SDrzAP1TuG4kI5OJ3-6M6jo9BxOymMZnMJKL6Bll5RvMjv5wckTezfOdulsDOO-x2vt2OxKGyGUb9ZdwrT3POlGqDgWASUe87dIKRcnQahdzecJlUnMlBdgiaWSttKg58ZzbtCLbbEy7SqWSEKMEDBCR88VloF3BdV0meprcHRobJhlNWokZSSRHpZWwRhMvTggpA6tEgmxyqtfiC9hYYwKC53gocigE7wOYYmX-PYahWHov4Y2SnxFYUcbQYhZjlGf0jo091eNAdi_GnGqlzvTxVagM8Lj5v-3bsJhNBkNxbA_HjTgKE87tDF-t1Ddrnf6zuiOrbwvvqsPKqXOWA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Recombining+changes+to+software+specifications&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Berzins%2C+V&rft.date=1998-08-01&rft.pub=Elsevier+Sequoia+S.A&rft.issn=0164-1212&rft.eissn=1873-1228&rft.volume=42&rft.issue=2&rft.spage=165&rft_id=info:doi/10.1016%2FS0164-1212%2898%2910007-9&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=33232770
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon