Generation and consistency checking of design and program structures
The author describes a mini methodology for generation and representation of design and program structures and for structural consistency checking between two successive designs or between a design and a program. This methodology comprises a tool (Program Design Language), a representation, and cons...
Uloženo v:
| Vydáno v: | IEEE transactions on software engineering Ročník SE-12; číslo 1; s. 172 - 181 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
New York, NY
IEEE
01.01.1986
Institute of Electrical and Electronics Engineers IEEE Computer Society |
| Témata: | |
| ISSN: | 0098-5589, 1939-3520 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The author describes a mini methodology for generation and representation of design and program structures and for structural consistency checking between two successive designs or between a design and a program. This methodology comprises a tool (Program Design Language), a representation, and consistency criteria. The Program Design Language (PDL) extracts structure information, in a controlled way, from the top level program design, through layers of detailed designs, down to the source code itself. It generates an actual, complete, concise, and easily comparable structure representation. Structural consistency between levels can be checked, both at the development phase and at the operation and maintenance phase, ensuring continued structural consistency between the design(s) and the program. |
|---|---|
| AbstractList | A description is given of a mini methodology for generation and representation of design and program structures and structural consistency checking between 2 successive designs or between a design and a program. The program design language extracts structure data in a controlled way from the top-level program design, through layers of detailed designs, down to the source code itself. It produces an actual, complete, concise, and easily comparable structure representation. Structural consistency between levels can be checked, both at the development phase and at the operation and maintenance phase, ensuring continued structural consistency between the design(s) and the program. The structure representation can also be employed for configuration management of the structure of designs and programs. The author describes a mini methodology for generation and representation of design and program structures and for structural consistency checking between two successive designs or between a design and a program. This methodology comprises a tool (Program Design Language), a representation, and consistency criteria. The Program Design Language (PDL) extracts structure information, in a controlled way, from the top level program design, through layers of detailed designs, down to the source code itself. It generates an actual, complete, concise, and easily comparable structure representation. Structural consistency between levels can be checked, both at the development phase and at the operation and maintenance phase, ensuring continued structural consistency between the design(s) and the program. Program structure is designed, redesigned, and develops and changes during the development phase. This paper describes a mini methodology for generation and representation of design and program structures, and structural consistency checking between two successive designs or between a design and a program. The Program Design Language (PDL) extracts structure information, in a controlled way, from the top level program design, through layers of detailed designs, down to the source code itself. It generates an actual, complete, concise, and easily comparable structure representation. Structural consistency between levels can be checked, both at the development phase and at the operation and maintenance phase, ensuring continued structural consistency between the design(s) and the program. Attention is given to a minimethodology for the generation and representation of software design and program structures, as well as for structural consistency checking between two successive designs or between a design and a program. In this methodology, a program design language extracts structural data from the top level program design, through layers of detailed designs, down to the source code itself. It generates a complete and concise, as well as easily comparable, structure representation that can be used for configuration management of the structure of designs and programs. (O.C.) |
| Author | Lichtman, Z. L. |
| Author_xml | – sequence: 1 givenname: Z. L. surname: Lichtman fullname: Lichtman, Z. L. organization: Dept. of Comput. Sci., Brandeis Univ., Waltham, MA, USA |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=7933167$$DView record in Pascal Francis |
| BookMark | eNqNkbtOxDAQRS0EEsujR6KJEKLL4onjV4l4S0gUQG05zmQxZB2wk2L_niy7UFAA1RQ-d-5YZ4dshi4gIQdApwBUnz4-XE5BKzEVDArN6AaZgGY6Z7ygm2RCqVY550pvk52UXiilXEo-IRfXGDDa3nchs6HOXBeSTz0Gt8jcM7pXH2ZZ12Q1Jj9bIW-xm0U7z1IfB9cPEdMe2Wpsm3B_PXfJ09Xl4_lNfnd_fXt-dpe7EmifS4lSWltpgU5VZV2UpWwAq1JxLrFQolISqKQ1g7KpGtCyVlY3WCvnCgsF2yUnq73jCe8Dpt7MfXLYtjZgNyTDOGgugP8JFuVYQ5X-Dyi0BjmCRz_Al26IYfytGTu5prwQI3S8hmxytm2iDc4n8xb93MaFkZoxEMtddIW52KUUsfkmgJqlTDPKNEuZZi1zjIgfEef7T2t9tL79LXi4CnpE_O75ev0AB5-s5w |
| CODEN | IESEDJ |
| CitedBy_id | crossref_primary_10_1109_32_92909 crossref_primary_10_1002_smr_4360040104 crossref_primary_10_1109_32_31362 |
| ContentType | Journal Article |
| Copyright | 1987 INIST-CNRS Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jan 1986 |
| Copyright_xml | – notice: 1987 INIST-CNRS – notice: Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jan 1986 |
| DBID | AAYXX CITATION IQODW JQ2 K9. 7SC 8FD L7M L~C L~D H8D 7SP F28 FR3 |
| DOI | 10.1109/TSE.1986.6312930 |
| DatabaseName | CrossRef Pascal-Francis ProQuest Computer Science Collection ProQuest Health & Medical Complete (Alumni) 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 Aerospace Database Electronics & Communications Abstracts ANTE: Abstracts in New Technology & Engineering Engineering Research Database |
| DatabaseTitle | CrossRef ProQuest Health & Medical Complete (Alumni) ProQuest Computer Science Collection 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 Aerospace Database Electronics & Communications Abstracts Engineering Research Database ANTE: Abstracts in New Technology & Engineering |
| DatabaseTitleList | Technology Research Database ProQuest Health & Medical Complete (Alumni) Computer and Information Systems Abstracts Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science Applied Sciences |
| EISSN | 1939-3520 |
| EndPage | 181 |
| ExternalDocumentID | 1143453 7933167 10_1109_TSE_1986_6312930 6312930 |
| Genre | orig-research |
| GroupedDBID | --Z -DZ -~X .4S .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 7WY 7X7 85S 88E 88I 8FE 8FG 8FI 8FJ 8FL 8G5 8R4 8R5 97E 9M8 AAJGR AARMG AASAJ AAWTH ABAZT ABFSI ABJCF ABPPZ ABQJQ ABUWG ABVLG ACGFO ACGOD ACIWK ACNCT ADBBV AENEX AETIX AFKRA AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ARAPS ARCSS ASUFR ATWAV AZQEC BEFXN BENPR BEZIV BFFAM BGLVJ BGNUA BKEBE BKOMP BPEOZ BPHCQ BVXVI CCPQU CS3 DU5 DWQXO E.L EBS EDO EJD FRNLG FYUFA GNUQQ GROUPED_ABI_INFORM_RESEARCH GUQSH HCIFZ HMCUK HZ~ H~9 I-F IBMZZ ICLAB IEDLZ IFIPE IFJZH IPLJI ITG ITH JAVBF K60 K6V K6~ K7- L6V LAI M0C M1P M1Q M2O M2P M43 M7S MS~ O9- OCL OHT P2P P62 PHGZM PHGZT PJZUB PPXIY PQBIZ PQBZA PQGLB PQQKQ PROAC PSQYO PTHSS PUEGO Q2X RIA RIE RNI RNS RXW RZB S10 TAE TN5 TWZ UHB UKHRP UPT UQL VH1 WH7 XOL YYP YZZ ZCG AAYXX AFFHD CITATION AAYOK ALIPV IQODW RIG JQ2 K9. 7SC 8FD L7M L~C L~D H8D 7SP F28 FR3 |
| ID | FETCH-LOGICAL-c410t-77e77aab96ec8b4d2447f1eb48557e286b871070d314fbf197d8a9fed8cc2a123 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10_1109_TSE_1986_6312930&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0098-5589 |
| IngestDate | Thu Oct 02 05:48:51 EDT 2025 Thu Oct 02 05:48:37 EDT 2025 Mon Sep 29 05:25:46 EDT 2025 Sun Nov 30 04:45:59 EST 2025 Wed Apr 02 07:27:40 EDT 2025 Sat Nov 29 03:10:22 EST 2025 Tue Nov 18 22:27:48 EST 2025 Wed Aug 27 02:47:44 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Software tool Software development Module Large scale system |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html CC BY 4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c410t-77e77aab96ec8b4d2447f1eb48557e286b871070d314fbf197d8a9fed8cc2a123 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 content type line 14 ObjectType-Article-2 ObjectType-Feature-1 content type line 23 |
| PQID | 195590526 |
| PQPubID | 23500 |
| PageCount | 10 |
| ParticipantIDs | crossref_primary_10_1109_TSE_1986_6312930 crossref_citationtrail_10_1109_TSE_1986_6312930 proquest_journals_195590526 proquest_miscellaneous_24069917 pascalfrancis_primary_7933167 proquest_miscellaneous_24070089 proquest_miscellaneous_35195615 ieee_primary_6312930 |
| PublicationCentury | 1900 |
| PublicationDate | 1986-Jan. 1986-01-00 1986 19860101 |
| PublicationDateYYYYMMDD | 1986-01-01 |
| PublicationDate_xml | – month: 01 year: 1986 text: 1986-Jan. |
| PublicationDecade | 1980 |
| PublicationPlace | New York, NY |
| PublicationPlace_xml | – name: New York, NY – name: New York |
| PublicationTitle | IEEE transactions on software engineering |
| PublicationTitleAbbrev | TSE |
| PublicationYear | 1986 |
| Publisher | IEEE Institute of Electrical and Electronics Engineers IEEE Computer Society |
| Publisher_xml | – name: IEEE – name: Institute of Electrical and Electronics Engineers – name: IEEE Computer Society |
| SSID | ssj0005775 |
| Score | 1.3213375 |
| Snippet | The author describes a mini methodology for generation and representation of design and program structures and for structural consistency checking between two... A description is given of a mini methodology for generation and representation of design and program structures and structural consistency checking between 2... Program structure is designed, redesigned, and develops and changes during the development phase. This paper describes a mini methodology for generation and... Attention is given to a minimethodology for the generation and representation of software design and program structures, as well as for structural consistency... |
| SourceID | proquest pascalfrancis crossref ieee |
| SourceType | Aggregation Database Index Database Enrichment Source Publisher |
| StartPage | 172 |
| SubjectTerms | Aerospace electronics Algorithms Applied sciences Computer languages Computer science; control theory; systems Consistency checking Customer relationship management Data mining Design Development Exact sciences and technology Nickel Program Design Language (PDL) Program processors program structure Quality control Reliability Software software development Software engineering software quality assurance software tools Structure |
| Title | Generation and consistency checking of design and program structures |
| URI | https://ieeexplore.ieee.org/document/6312930 https://www.proquest.com/docview/195590526 https://www.proquest.com/docview/24069917 https://www.proquest.com/docview/24070089 https://www.proquest.com/docview/35195615 |
| Volume | SE-12 |
| WOSCitedRecordID | wos10_1109_TSE_1986_6312930&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: 1939-3520 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0005775 issn: 0098-5589 databaseCode: RIE dateStart: 19750101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8QwEB5W8eDFVVex6moOXgS7z6RpjuIDT4vgCnsraToBQbpidwX_vZP0IYu64K20k5DOJPlmknkAXCCPRxpFFNpI8JAQSoeaFI9QDgzydCwyZbQvNiEnk3g2U48tuGpiYRDRO59hzz36u_xsbpbuqKwfjR06kYG-IWVUxmp9u3NIKer8mELEqr6SHKj-9OmuR7Z11Kvar0CQr6niPCJ1QUyxZTWLHxuzR5v79v_GuQs7lVbJrstpsActzPehXVdsYNUC7sBtmWXaCYPpPGPGuccWTm3-ZCQ9487N2dyyzPt1eJLKgYuViWaXZJ0fwPP93fTmIazqKISGDwcLUqBRSq1TFaGJU54Roks7xNTlhZE4iqOUrCZa-tl4yG1qh0pmsVYWs9iYkSZoO4TNfJ7jETCbSqFjjpz0CC6pS6EJ0ISNCNVkKkcB9GvWJqZKMu5qXbwm3tgYqISEkThhJBWTArhsWryVCTbW0HYcsxu65nV3RXrNd9p7XKB_ACe1NJNqhRbUL9lSLtlNAOfNV1pa7r5E5zhfFomPCiZzdi2FJCVK_U3h6x-S1nj8-9BPYNv9YHmmcwqbJErswpb5WLwU72d-hn8BEAb5Uw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dSxwxEB_EFvRF26r0aq158EVw7zPZbB5LVSzqUfAE35ZsdgKC7BX3TvC_70w2uyJ-QN-WzWzIziT5zSTzAXCAMhtbVGniUyUTQiibWFI8Ej10KIuJKo2zodiEnk6zmxvzZwWOulgYRAzOZ9jnx3CXX87dko_KBumE0YkM9A9cOStGaz05dGit2gyZSmWmvZQcmsHs6qRP1nXajz08A6FQVYV9Im1NbPFNPYsXW3PAm9PN_xvpJ9iIeqX42UyEz7CC1RfYbGs2iLiEt-C4yTPN4hC2KoVjB9maFedHQfJzfHIu5l6UwbMjkEQXLtGkml2Sfb4N16cns19nSaykkDg5Gi5IhUatrS1Mii4rZEmYrv0IC84Mo3GcpQXZTbT4y8lI-sKPjC4zazyWmXNjS-C2A6vVvMKvIHyhlc0kStIkpKYulSVIUz4lXNOFHvdg0LI2dzHNOFe7uMuDuTE0OQkjZ2HkkUk9OOy--Nuk2HiHdouZ3dF1r_eeSa9rp92HQ_17sNtKM49rtKZ-yZridDc92O9aaXHxjYmtcL6s8xAXTAbtuxSa1CjzNkWogEh647fXh74Pa2ezy4v84vf0fBfW-WebE57vsEpixT346B4Wt_X9jzDb_wEsMvyc |
| 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=Generation+and+consistency+checking+of+design+and+program+structures&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=LICHTMAN%2C+Z.+L&rft.date=1986&rft.pub=Institute+of+Electrical+and+Electronics+Engineers&rft.issn=0098-5589&rft.volume=12&rft.issue=1&rft.spage=172&rft.epage=181&rft_id=info:doi/10.1109%2FTSE.1986.6312930&rft.externalDBID=n%2Fa&rft.externalDocID=7933167 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon |