Synthesis of mathematical-modeling software

Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection Machine Fortran, or C programs from specifications of mathematical equations and numerical methods. The synthesis process is divided into phases...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE software Ročník 10; číslo 3; s. 30 - 41
Hlavný autor: Kant, E.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Los Alamitos IEEE 01.05.1993
IEEE Computer Society
Predmet:
Algebra
Algorithms
Application software
Approximation
Automation
Computer science
Coordinate transformations
Equations
Fourier transforms
Inheritances
Interfaces
Knowledge
Laboratories
Language
Mathematical model
Mathematical programming
Mathematics
Power system modeling
Product development
Propagation
Scientific computing
Software
Software systems
Space heating
ISSN:0740-7459, 1937-4194
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection Machine Fortran, or C programs from specifications of mathematical equations and numerical methods. The synthesis process is divided into phases of refinement that attempt to duplicate the users' problem-solving processes in the design, implementation, and evolution states of mathematical modeling. These phases, with automated implementation, help modelers increase their productivity because they can write concise specifications and quickly experiment with variations on their models and algorithms by modifying specifications rather than implementations.< >
AbstractList Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection Machine Fortran, or C programs from specifications of mathematical equations and numerical methods. The synthesis process is divided into phases of refinement that attempt to duplicate the users' problem-solving processes in the design, implementation, and evolution states of mathematical modeling. These phases, with automated implementation, help modelers increase their productivity because they can write concise specifications and quickly experiment with variations on their models and algorithms by modifying specifications rather than implementations
Automatic programming and mathematical modeling work well together as a practical software synthesis system. Automation is essential to fast, error-free program generation for the complex models that scientists are developing to exploit the increasing power of parallel machines. At Schlumberger, my colleges and I are using Sinapse, a knowledge-based, domain-specific system, to synthesize mathematical-modeling software.
Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection Machine Fortran, or C programs from specifications of mathematical equations and numerical methods. The synthesis process is divided into phases of refinement that attempt to duplicate the users' problem-solving processes in the design, implementation, and evolution states of mathematical modeling. These phases, with automated implementation, help modelers increase their productivity because they can write concise specifications and quickly experiment with variations on their models and algorithms by modifying specifications rather than implementations.< >
Author Kant, E.
Author_xml – sequence: 1
  givenname: E.
  surname: Kant
  fullname: Kant, E.
  organization: Schlumberger Lab. for Comput. Sci., Austin, TX, USA
BookMark eNqF0E1LAzEQBuAgFWzVg1dPxYMgsu3kOzlK8QsKHtRzyMaspuxu6maL9N8b2eKhCF6SQJ6ZYd4JGrWx9QidYZhhDHrOyYxgEAAHaIw1lQXDmo3QGCSDQjKuj9AkpRUAcExhjK6ft23_4VNI01hNG5vf-QjO1kUT33wd2vdpilX_ZTt_gg4rWyd_uruP0evd7cvioVg-3T8ubpaFo5T3BdFSUQBmSR4CpfKCO-qwY6KqtKO89Ez5UjBJLPOqFJQoi4UqbclAc4fpMboc-q67-LnxqTdNSM7XtW193CRDlNTACf8fCiIV4TLDiz24ipuuzUsYgrmiQiuS0XxArospdb4yLvQ5i9j2nQ21wWB-IjacmCHiXHG1V7HuQmO77Z_2fLDBe__rdp_fKwGCvw
CODEN IESOEG
CitedBy_id crossref_primary_10_1023_A_1008604724481
crossref_primary_10_1023_A_1025811105984
crossref_primary_10_1109_99_615429
crossref_primary_10_1109_TSE_2004_89
crossref_primary_10_1007_BF00872289
crossref_primary_10_1109_52_391838
crossref_primary_10_1080_095281396147348
crossref_primary_10_1109_MAHC_2022_3149469
crossref_primary_10_1109_32_846301
crossref_primary_10_1007_BF00872292
crossref_primary_10_1109_ACCESS_2023_3334160
crossref_primary_10_1145_209937_209943
crossref_primary_10_1016_S0304_3975_97_00067_4
crossref_primary_10_1007_s11081_011_9176_9
crossref_primary_10_1016_0378_4754_94_90072_8
crossref_primary_10_1007_BF00871706
crossref_primary_10_1016_S0378_4754_97_00082_7
Cites_doi 10.1016/B978-0-934613-12-5.50015-X
10.1109/TSE.1985.231879
10.1109/KBSE.1992.252921
10.1109/32.142869
ContentType Journal Article
Copyright Copyright IEEE Computer Society May/Jun 1993
Copyright_xml – notice: Copyright IEEE Computer Society May/Jun 1993
DBID AAYXX
CITATION
3V.
7WY
7WZ
7XB
87Z
88F
88I
88K
8AL
8FE
8FG
8FK
8FL
8G5
ABJCF
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BEZIV
BGLVJ
CCPQU
DWQXO
FRNLG
F~G
GNUQQ
GUQSH
HCIFZ
JQ2
K60
K6~
K7-
L.-
L6V
M0C
M0N
M1Q
M2O
M2P
M2T
M7S
MBDVC
P5Z
P62
PHGZM
PHGZT
PKEHL
PQBIZ
PQBZA
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
Q9U
7SC
8FD
L7M
L~C
L~D
DOI 10.1109/52.210600
DatabaseName CrossRef
ProQuest Central (Corporate)
ABI/INFORM Collection
ABI/INFORM Global (PDF only)
ProQuest Central (purchase pre-March 2016)
ABI/INFORM Collection
Military Database (Alumni Edition)
Science Database (Alumni Edition)
Telecommunications (Alumni Edition)
Computing Database (Alumni Edition)
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ABI/INFORM Collection (Alumni Edition)
Research Library (Alumni Edition)
SciTech Premium Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Health Research Premium Collection
ProQuest Central Essentials
ProQuest Central
Business Premium Collection
Technology collection
ProQuest One Community College
ProQuest Central
Business Premium Collection (Alumni)
ABI/INFORM Global (Corporate)
ProQuest Central Student
Research Library Prep (ProQuest)
SciTech Premium Collection
ProQuest Computer Science Collection
ProQuest Business Collection (Alumni Edition)
ProQuest Business Collection
Computer Science Database
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ABI/INFORM Global
Computing Database
Military Database
Research Library
Science Database
Telecommunications Database
Engineering Database
Research Library (Corporate)
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic
ProQuest One Academic Middle East (New)
ProQuest One Business (UW System Shared)
ProQuest One Business (Alumni)
ProQuest One Academic Eastern Edition (DO NOT USE)
One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering collection
ProQuest Central Basic
Computer and Information Systems Abstracts
Technology Research Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
ProQuest Business Collection (Alumni Edition)
Research Library Prep
Computer Science Database
ProQuest Central Student
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
SciTech Premium Collection
ProQuest Military Collection
ProQuest Central China
ABI/INFORM Complete
ProQuest Telecommunications
ProQuest One Applied & Life Sciences
ProQuest Central (New)
Engineering Collection
Advanced Technologies & Aerospace Collection
Business Premium Collection
ABI/INFORM Global
Engineering Database
ProQuest Science Journals (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest Telecommunications (Alumni Edition)
ProQuest Business Collection
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest One Academic (New)
ABI/INFORM Global (Corporate)
ProQuest One Business
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central (Alumni Edition)
ProQuest One Community College
Research Library (Alumni Edition)
ProQuest Central
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ProQuest Central Korea
ProQuest Research Library
ABI/INFORM Complete (Alumni Edition)
ProQuest Computing
ABI/INFORM Global (Alumni Edition)
ProQuest Central Basic
ProQuest Science Journals
ProQuest Computing (Alumni Edition)
ProQuest Military Collection (Alumni Edition)
ProQuest SciTech Collection
Advanced Technologies & Aerospace Database
Materials Science & Engineering Collection
ProQuest One Business (Alumni)
ProQuest Central (Alumni)
Business Premium Collection (Alumni)
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts
Computer and Information Systems Abstracts

ProQuest Business Collection (Alumni Edition)
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Mathematics
EISSN 1937-4194
EndPage 41
ExternalDocumentID 1420210971
10_1109_52_210600
210600
Genre orig-research
GroupedDBID -DZ
-~X
.4S
.DC
0R~
29I
3EH
4.4
5GY
5VS
6IK
7WY
85S
88I
8FE
8FG
8FL
8G5
8R4
8R5
97E
9M8
AAJGR
AARMG
AASAJ
AAVXG
AAWTH
ABAZT
ABJCF
ABQJQ
ABUWG
ABVLG
ACGFO
ACGOD
ACIWK
AENEX
AETIX
AFKRA
AFOGA
AGCDD
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ARAPS
ARCSS
ASUFR
ATWAV
AZLTO
AZQEC
BEFXN
BENPR
BEZIV
BFFAM
BGLVJ
BGNUA
BKEBE
BKOMP
BPEOZ
BPHCQ
CCPQU
CS3
DU5
DWQXO
EBS
EDO
EJD
FRNLG
GNUQQ
GUQSH
HCIFZ
HZ~
H~9
I-F
IBMZZ
ICLAB
IEDLZ
IFIPE
IFJZH
IPLJI
ITG
ITH
JAVBF
K60
K6V
K6~
K7-
L6V
LAI
M0C
M1Q
M2O
M2P
M43
M7S
MS~
O9-
OCL
OHT
P2P
P62
PHGZM
PHGZT
PQBIZ
PQBZA
PQGLB
PQQKQ
PROAC
PTHSS
PUEGO
Q2X
RIA
RIE
RNI
RNS
RXW
RZB
TAE
TN5
UHB
UKR
UQL
VH1
WH7
YZZ
ZCG
AAYXX
AFFHD
CITATION
3V.
7XB
88K
8AL
8FK
JQ2
L.-
M0N
M2T
MBDVC
PKEHL
PQEST
PQUKI
PRINS
Q9U
RIG
7SC
8FD
L7M
L~C
L~D
ID FETCH-LOGICAL-c335t-29783004a20050b8e65c3c1c46ff9c35be48eb6472a4e8b6328a168bab4095c13
IEDL.DBID M2O
ISICitedReferencesCount 12
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10_1109_52_210600&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0740-7459
IngestDate Sun Sep 28 07:31:56 EDT 2025
Wed Oct 01 13:27:13 EDT 2025
Wed Aug 13 11:21:50 EDT 2025
Tue Nov 18 21:51:01 EST 2025
Sat Nov 29 03:04:47 EST 2025
Wed Aug 27 03:05:13 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 3
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c335t-29783004a20050b8e65c3c1c46ff9c35be48eb6472a4e8b6328a168bab4095c13
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
PQID 215836982
PQPubID 23500
PageCount 12
ParticipantIDs proquest_miscellaneous_26278257
crossref_citationtrail_10_1109_52_210600
ieee_primary_210600
proquest_miscellaneous_28790525
crossref_primary_10_1109_52_210600
proquest_journals_215836982
PublicationCentury 1900
PublicationDate 1993-05-01
PublicationDateYYYYMMDD 1993-05-01
PublicationDate_xml – month: 05
  year: 1993
  text: 1993-05-01
  day: 01
PublicationDecade 1990
PublicationPlace Los Alamitos
PublicationPlace_xml – name: Los Alamitos
PublicationTitle IEEE software
PublicationTitleAbbrev S-M
PublicationYear 1993
Publisher IEEE
IEEE Computer Society
Publisher_xml – name: IEEE
– name: IEEE Computer Society
References wolfram (ref1) 1988
ref2
kant (ref5) 1991
ref4
ref3
ref6
References_xml – ident: ref4
  doi: 10.1016/B978-0-934613-12-5.50015-X
– ident: ref2
  doi: 10.1109/TSE.1985.231879
– start-page: 141
  year: 1991
  ident: ref5
  publication-title: Automating Software Design
– ident: ref6
  doi: 10.1109/KBSE.1992.252921
– ident: ref3
  doi: 10.1109/32.142869
– year: 1988
  ident: ref1
  publication-title: A System for Doing Mathematics by Computer
SSID ssj0005130
Score 1.5057842
Snippet Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection...
Automatic programming and mathematical modeling work well together as a practical software synthesis system. Automation is essential to fast, error-free...
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 30
SubjectTerms Algebra
Algorithms
Application software
Approximation
Automation
Computer science
Coordinate transformations
Equations
Fourier transforms
Inheritances
Interfaces
Knowledge
Laboratories
Language
Mathematical model
Mathematical programming
Mathematics
Power system modeling
Product development
Propagation
Scientific computing
Software
Software systems
Space heating
SummonAdditionalLinks – databaseName: IEEE/IET Electronic Library
  dbid: RIE
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFA86PHhxOhXn_CjiQZBsTdKkyVHE4UGG4Ae7lSRNYTBbWTfF_94k7TrEIXgrzQstLy95Ly8vvx8Al1Rax625gEITCSNlQiiUQTBOw1SoFGfE03S-PsSjER-PxWONs-3vwhhjfPGZ6btHf5afFnrhUmUDuz2x_nkTbMYxq65qrao5kKcVsQ4xhHFERQ0ihEIxoLhfdfzhejyXyq8F2HuVYftf_7MLdurgMbipRnsPbJi8A9pLYoagnqf74PrpK7eBXTkpgyIL3hpkVjmFnvnGuqugtOvvp5yZA_AyvHu-vYc1KwLUhNA5xC5ZY01bunxQqLhhVBONdMSyzCqcKhNxoxwqvIwMV4xgLhHjSiq7laMakUPQyovcHIEgs9FCSgTKTGoDiyhWkjKFqU5RppGgtAuulgpLdA0Z7pgrponfOoQioTiplNAFF43oe4WTsU6o45TYCCzf9paDkNQTqLRNlBMmOO6C86bVWr47zpC5KRZWhGEb3tD4Dwnu4McwPV773R7YXlUvnoDWfLYwp2BLf8wn5ezMm9c3yxXNMg
  priority: 102
  providerName: IEEE
Title Synthesis of mathematical-modeling software
URI https://ieeexplore.ieee.org/document/210600
https://www.proquest.com/docview/215836982
https://www.proquest.com/docview/26278257
https://www.proquest.com/docview/28790525
Volume 10
WOSCitedRecordID wos10_1109_52_210600&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE Electronic Library (IEL)
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: RIE
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
– providerCode: PRVPQU
  databaseName: ABI/INFORM Global
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: M0C
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/abiglobal
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: P5Z
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: K7-
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: M7S
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Military Database
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: M1Q
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/military
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest ABI/INFORM Collection
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: 7WY
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/abicomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: BENPR
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Research Library
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: M2O
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/pqrl
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Science Database
  customDbUrl:
  eissn: 1937-4194
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005130
  issn: 0740-7459
  databaseCode: M2P
  dateStart: 19840101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/sciencejournals
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3daxQxEB9s64M-WD0Vz7bnIj4IErtJNrvJk7SlRdA7T69q68uSZLNQKHv19qr43zvJZfcEpS--DGQzkCXJfGQymR_AC6HRcFupiLJck8y4lCjjKCmqtFKmYjUPMJ1f3heTiTw7U9OYm9PGtMpOJwZFXc2tj5Hvo2mSPFeSvbn6TjxolL9cjQgaG7CFdjr3AAZj9mGd4UED1AgayZQUmVCxsBBN1b5gr_Gsk_t3bX-Yo4Cv8pdSDpbmZPs___E-3IsuZnKw2hMP4JZrBrDdwTckUZoHcHfcl2xtH8Kr2a8Gm-1Fm8zrZN2lL4nHS_Ov1pMZ6uyfeuEeweeT49OjtyQiKRDLuVgS5gM8KA7ax5BSI10uLLfUZnld4yIJ4zLpjK8krzMnTc6Z1DSXRhs8_glL-WPYbOaNewJJjR5GxRWtXYXOSFYYLXLDhK1obakSYggvuwktbSwz7tEuLstw3EhVKVi5mvshPO9Zr1a1Nf7FNPCr0jN0X3e6FSij0LVlP_1DeNb3orT4KxDduPk1suQMXSJR3MAhfckyJp7eOMIO3FlnPu7C5nJx7fbgtv2xvGgXI9govp6PYOvweDL9hK13BUE6To88pR9HYZsGOg301NNihnQqvo3CG8TfiCzswA
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1La9wwEB7yKKQ95LFt6TYvE1oIFCWWZNnSIYSSBwnZXQpJQ26OJMsQCN50vWnIj-p_7MhrewsNueWQo63Btjyj-Wb0mA_gi9AI3FYqoizXJDIuJMo4SpIszJTJWM4rms7LXjIYyKsr9WMG_jRnYfy2ysYnVo46G1o_R76L0CR5rCTbv_tFPGmUX1xtGDQmVnHmHh8wYyv3Tg9RvV8ZOz66ODghNakAsZyLMWF-rgMtQ_vplNBIFwvLLbVRnOf4vcK4SDrji6rryEkTcyY1jaXRBjMhYSnH587CfIR5lx9W_fBguqOEVtQmCMohSSKh6kJGNFS7gu1gbhX7c3T_wF_F5_IfCFTIdrz0yv7JMizWIXTwfWLzKzDjig4sNfQUQe2tOvCu35akLd_Dt_PHAi_LmzIY5sG0Sd8SzwfnT-UH54hJD3rkPsDPF-nAR5grhoX7BEGOEVTGFc1dhsFWlBgtYsOEzWhuqRKiC9uNAlNbl1H3bB63aZVOhSoVLJ3ougtbrejdpHbIU0IdbwWtQHN3tdF4WjuVMm3V3YXNthW9gV_i0YUb3qNIzDDkE8kzEtKXZGPi87Nv2ISFk4t-L-2dDs5W4e10l-cazI1H924d3tjf45tytFENgQCuX9q-_gLbpT1S
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=Synthesis+of+mathematical+modeling+software&rft.jtitle=IEEE+software&rft.au=Kant%2C+Elaine&rft.date=1993-05-01&rft.issn=0740-7459&rft.volume=10&rft.issue=3&rft.spage=30&rft.epage=41&rft_id=info:doi/10.1109%2F52.210600&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0740-7459&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0740-7459&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0740-7459&client=summon