The logic of engineering design
An engineering product is usually delivered as an assembly of components which generally operate concurrently. The operation of each component can be described scientifically by a specific predicate, describing all its possible behaviors, including all its possible interactions with any other compon...
Saved in:
| Published in | Microprocessing and microprogramming Vol. 41; no. 8; pp. 525 - 539 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier B.V
01.04.1996
|
| Online Access | Get full text |
| ISSN | 0165-6074 |
| DOI | 10.1016/0165-6074(96)00009-9 |
Cover
| Abstract | An engineering product is usually delivered as an assembly of components which generally operate concurrently. The operation of each component can be described scientifically by a specific predicate, describing all its possible behaviors, including all its possible interactions with any other components which may be connected to it in an assembly. For this reason, the joint behavior of many components in the assembly can often be described by the conjunction of these predicates describing the components separately. If some aspect of the component cannot be fully determined in advance, it may be described by the disjunction of predicates describing its alternative modes of behavior. Finally, the links between predicates describing behavior at different levels of granularity and abstraction can be formalized by quantification. The elementary operators of propositional and predicate logic provide all the basic concepts needed for a systematic engineering design methodology. |
|---|---|
| AbstractList | An engineering product is usually delivered as an assembly of components which generally operate concurrently. The operation of each component can be described scientifically by a specific predicate, describing all its possible behaviors, including all its possible interactions with any other components which may be connected to it in an assembly. For this reason, the joint behavior of many components in the assembly can often be described by the conjunction of these predicates describing the components separately. If some aspect of the component cannot be fully determined in advance, it may be described by the disjunction of predicates describing its alternative modes of behavior. Finally, the links between predicates describing behavior at different levels of granularity and abstraction can be formalized by quantification. The elementary operators of propositional and predicate logic provide all the basic concepts needed for a systematic engineering design methodology. |
| Author | Hoare, C.A.R. |
| Author_xml | – sequence: 1 givenname: C.A.R. surname: Hoare fullname: Hoare, C.A.R. email: carh@comlab.ox.ac.uk organization: Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK |
| BookMark | eNqFUE1LxDAQzWEFd1f_gWBPoodq0qZJ40GQxS9Y8LKeQ5pMa6SbrElX8N-bUvHgQQeGYR7zHvPeAs2cd4DQCcGXBBN2lbrKGeb0XLALnErkYobmP_AhWsT4lnAqeDVHp5tXyHrfWZ35NgPXWQcQrOsyA9F27ggdtKqPcPw9l-jl_m6zeszXzw9Pq9t1rsuyGvKC04YaYXjFBDY1rWpNa0abkiqiBaeFInVTpSd0oTAnjarBYEKYainlwFW5RGeT7i749z3EQW5t1ND3yoHfR1kwwjkvSDqk06EOPsYArdwFu1XhUxIsxwTkaFWOVqVIy5iAFIl2_Yum7aAG690QlO3_I99MZEgJfFgIMmoLToOxAfQgjbd_C3wBaoB1tg |
| CitedBy_id | crossref_primary_10_1007_s11229_014_0396_3 crossref_primary_10_1007_s11229_014_0571_6 |
| ContentType | Journal Article |
| Copyright | 1996 |
| Copyright_xml | – notice: 1996 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/0165-6074(96)00009-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 |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 539 |
| ExternalDocumentID | 10_1016_0165_6074_96_00009_9 0165607496000099 |
| GroupedDBID | --K --M -~X .~1 0R~ 123 1B1 1~. 5VS 8P~ AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABMAC ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ADBBV ADEZE ADJOM ADMUD AEKER AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AXJTR AZFZN BKOJK BLXMC CS3 EBS EFJIC EJD EO8 EO9 EP2 EP3 FDB FGOYB FIRID FNPLU FYGXN G-Q G8K GBOLZ HLZ HZ~ IHE JJJVA KOM LG9 M41 MO0 O-L O9- OAUVE P-9 PC. Q38 R2- RIG ROL RPZ SBC SDF SPC SST SSV SSZ T5K TN5 UHS WUQ YYP AATTM AAXKI AAYWO AAYXX ABDPE ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c335t-274b4d9d75690d8458c4864b34a1c9742a18b5016c2a071ba8ed0116af447e7a3 |
| IEDL.DBID | AIKHN |
| ISSN | 0165-6074 |
| IngestDate | Sat Sep 27 18:03:59 EDT 2025 Wed Oct 01 02:37:33 EDT 2025 Thu Apr 24 23:12:45 EDT 2025 Fri Feb 23 02:28:51 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Issue | 8 |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c335t-274b4d9d75690d8458c4864b34a1c9742a18b5016c2a071ba8ed0116af447e7a3 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 26177721 |
| PQPubID | 23500 |
| PageCount | 15 |
| ParticipantIDs | proquest_miscellaneous_26177721 crossref_primary_10_1016_0165_6074_96_00009_9 crossref_citationtrail_10_1016_0165_6074_96_00009_9 elsevier_sciencedirect_doi_10_1016_0165_6074_96_00009_9 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 1900 |
| PublicationDate | 1996-04-01 |
| PublicationDateYYYYMMDD | 1996-04-01 |
| PublicationDate_xml | – month: 04 year: 1996 text: 1996-04-01 day: 01 |
| PublicationDecade | 1990 |
| PublicationTitle | Microprocessing and microprogramming |
| PublicationYear | 1996 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| SSID | ssj0004975 |
| Score | 1.2514704 |
| Snippet | An engineering product is usually delivered as an assembly of components which generally operate concurrently. The operation of each component can be described... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 525 |
| Title | The logic of engineering design |
| URI | https://dx.doi.org/10.1016/0165-6074(96)00009-9 https://www.proquest.com/docview/26177721 |
| Volume | 41 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier Science Direct Freedom Collection issn: 0165-6074 databaseCode: ACRLP dateStart: 19950401 customDbUrl: isFulltext: true dateEnd: 19960630 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0004975 providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals [SCFCJ] issn: 0165-6074 databaseCode: AIKHN dateStart: 19950401 customDbUrl: isFulltext: true dateEnd: 19960630 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0004975 providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect (Elsevier) issn: 0165-6074 databaseCode: .~1 dateStart: 19950101 customDbUrl: isFulltext: true dateEnd: 19960630 titleUrlDefault: https://www.sciencedirect.com omitProxy: true ssIdentifier: ssj0004975 providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals issn: 0165-6074 databaseCode: AKRWK dateStart: 19950401 customDbUrl: isFulltext: true mediaType: online dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0004975 providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA62vXjxLdZHuwcPeojrbpLd7LEUS31QRCz0FvJaKMi2aHv1tzvZzbYqSMFr2AmbSfLNN-TLBKFLmzCqFOPYaEMwlTTBKpcKx1QSnUkbKV0KZEfJcEwfJmzy7S6Mk1V67K8wvURr3xJ6b4bz6TS8LevGpBQoeMlzGqgF4YfzJmr17h-Ho_XtyCythIwJw86gvkAXJeGq7SpLrstucPZXgPoF1WX8GeyhHU8cg171b_toyxYHaLd-lCHwe_QQdWHigxLQglke2HW5wcCUYo0jNB7cvfaH2L-CgDUhbIEhbVTUZCZlkMgaThnXlCdUESojDdlALCOuGIxExxL4gpLcGne6InNKU5tKcoyaxaywJygAdiCZiQHfuIR-rLTE6kjrKKeM6ly3EamHLrQvEe5eqngTtRbMOUw4h4nMyeHAYSJrI7yymlclMjZ8n9ZeFT-mWgCKb7Ds1pMgYBe4ow1Z2NnyQ7i68pAnRKf_7vsMbVeCbCfKOUfNxfvSXgDfWKgOatx8Rh1YVv2Xp-eOX15fhAbOHQ |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5BGWDhjSivZmCAwYTE5zxGhKgKlE6t1M3yK1IllFbQrvx2bCdpAQkhsVr2KT7Hn7-TP98BXJqEoZQsI1ppSlBgQmQhJIlRUJULE0nlBbKDpDfCpzEbf3kL42SVNfZXmO7Rum4Ja2-Gs8kkvPV5Y1K0FNzznHXYQBanLgC7-VjJPDBPKxljwojr3jyfi5Jw2XaVJ9feCMl_O55-ALU_fbq7sF3TxuCu-rI9WDPlPuw0JRmCeoceQMcue-DhLJgWgVklGwy0l2ocwqj7MLzvkboGAlGUsjmxQaNEneuU2TBWZ8gyhVmCkqKIlI0FYhFlktmZqFhYtiBFZrS7WxEFYmpSQY-gVU5LcwyB5QaC6diiWyasHSMMNSpSKiqQoSpUG2gzda7qBOGuTsUrb5RgzmHcOYznTgxnHcbzNpDlqFmVIOOP_mnjVf5tobnF8D9GdppF4HYPuIsNUZrp4p27rPI2SohO_m27A5u94Uuf9x8Hz6ewVUmznTznDFrzt4U5t8xjLi_8r_UJt_TNUA |
| 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=Logic+of+engineering+design&rft.jtitle=Microprocessing+and+microprogramming&rft.au=Hoare%2C+C+A+R&rft.date=1996-04-01&rft.issn=0165-6074&rft.volume=41&rft.issue=8-9&rft.spage=525&rft.epage=539&rft_id=info:doi/10.1016%2F0165-6074%2896%2900009-9&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0165-6074&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0165-6074&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0165-6074&client=summon |