Stepwise refinement process with modularity
Saved in:
| Published in: | Proceedings of the 11th international conference on Software engineering pp. 166 - 177 |
|---|---|
| Main Authors: | , |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
New York, NY, USA
ACM
15.05.1989
|
| Series: | ACM Conferences |
| Subjects: | |
| ISBN: | 0818619414, 9780818619410 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Nakagawa, Ataru T. Futatsugi, Kokichi |
|---|---|
| Author_xml | – sequence: 1 givenname: Ataru T. surname: Nakagawa fullname: Nakagawa, Ataru T. organization: Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN – sequence: 2 givenname: Kokichi surname: Futatsugi fullname: Futatsugi, Kokichi organization: Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN |
| BookMark | eNqNkLtOAzEQRS0BEiSk4ge2QBSgDR57_SpRxEuKREF6y17GwrCPsN5VxN9jEj6AaWaKoztXZ0aOu75DQi6ALgEqcasqodVSVRLgiMyoBi3BVFCdkkVKHzSPEFpzekZuXkfc7mLCYsAQO2yxG4vt0NeYUrGL43vR9m9T44Y4fp-Tk-CahIu_PSebh_vN6qlcvzw-r-7WpTNClaH2oDRyEzjjJj_Jt5BohPQQvBTaOOapVAFoABGMYDWHAAaBMZOr8jm5OsTmGl8TptG2MdXYNK7DfkqWgzDAhMrg9QF0dWt9338mC9T-CrB7AXYvwPohYsjw5T9g_gNtjVsC |
| ContentType | Conference Proceeding |
| Copyright | 1989 ACM |
| Copyright_xml | – notice: 1989 ACM |
| DBID | 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1145/74587.74611 |
| DatabaseName | 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 | 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 |
| DeliveryMethod | fulltext_linktorsrc |
| EndPage | 177 |
| Genre | Conference Paper |
| GroupedDBID | 6IE 6IK AAJGR ACGHX ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI OCL RIB RIC RIE 7SC 8FD AAWTH JQ2 L7M LHSKQ L~C L~D |
| ID | FETCH-LOGICAL-a957-fcb178e39f32398308e356e956b1fb6589a2b067f10f15f952c31f19e12290813 |
| ISBN | 0818619414 9780818619410 |
| IngestDate | Fri Jul 11 04:24:17 EDT 2025 Wed Jan 31 06:56:11 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Keywords | executable specification stepwise refinement programme verification structural programming algebraic specification language formal specification OBJ2 |
| Language | English |
| License | Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org |
| LinkModel | OpenURL |
| MeetingName | ICSE89: Int'l Conference on Software Engineering |
| MergedId | FETCHMERGED-LOGICAL-a957-fcb178e39f32398308e356e956b1fb6589a2b067f10f15f952c31f19e12290813 |
| Notes | SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25 |
| PQID | 31591257 |
| PQPubID | 23500 |
| PageCount | 12 |
| ParticipantIDs | acm_books_10_1145_74587_74611_brief acm_books_10_1145_74587_74611 proquest_miscellaneous_31591257 |
| PublicationCentury | 1900 |
| PublicationDate | 19890515 19890101 |
| PublicationDateYYYYMMDD | 1989-05-15 1989-01-01 |
| PublicationDate_xml | – month: 05 year: 1989 text: 19890515 day: 15 |
| PublicationDecade | 1980 |
| PublicationPlace | New York, NY, USA |
| PublicationPlace_xml | – name: New York, NY, USA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | Proceedings of the 11th international conference on Software engineering |
| PublicationYear | 1989 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| SSID | ssj0000558830 |
| Score | 1.204413 |
| SourceID | proquest acm |
| SourceType | Aggregation Database Publisher |
| StartPage | 166 |
| SubjectTerms | Computing methodologies -- Symbolic and algebraic manipulation -- Computer algebra systems Software and its engineering -- Software notations and tools -- System description languages -- Specification languages Theory of computation -- Logic Theory of computation -- Semantics and reasoning Theory of computation -- Semantics and reasoning -- Program reasoning |
| Title | Stepwise refinement process with modularity |
| URI | https://www.proquest.com/docview/31591257 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NT90wDI8Y4rDb0JhgG1Bpu6Gypkma5IxAu_CEtHfgVqVpAhWiD722e_z5OEm_BAi0wy5RmzapYluO69g_I_SzFDZNTEJjk2kVUyNJLJkGZVgYk2U6Eyq1vtgEXyzE9bW86gsnNr6cAK9r8fgoH_4rq6EPmO1SZ_-B3eOk0AHXwHRoge3QPrOIX918rsbOZjj_x7i99bgQk-tPj4l-7rTgD-jijQsBMxM64VyWXCjYpmpchRULz338wEPIMAiO3PtV6cJZq3Z00C_UnbpRm-C1bdW6O1mejrLSgYXbdDchkGB1V-nbKmg3h7rcgHhczjIRZ46JEHnF4pCa2YvS5fSv6oHzsKSYzpQlzrLZvotDOZeXKp069AtOmeCnnGYuj_sD50lI1RvdaQljQpDEI3wOn-rxlYb7pE_PhAl_zaZzZom-f7EVe_ti-QntTeuNJg7uoi1Tf0YnA_2jif5RT__I0T-a6L-Hlhfny7PfcV_kIlaS8djqAnNhiLTEITGSBK5ZZuCvtcC2APNQqrQAi8LixGJmJUs1wRZLgx1Qv8DkC9quV7XZRxG8WqawTpIyRUUhYRjjipaYw_CS2gN0CAvNnag2echHZ7knRO4JcYB-vPk8L0AGYJbjgVA5aCJ3vKRqs-qanIBlDOYy__rOd76hj5O4fEfb7bozh2hH_22rZn3k2foEgHlMHA |
| linkProvider | IEEE |
| 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%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+11th+international+conference+on+Software+engineering&rft.atitle=Stepwise+refinement+process+with+modularity&rft.au=Nakagawa%2C+Ataru+T.&rft.au=Futatsugi%2C+Kokichi&rft.series=ACM+Conferences&rft.date=1989-05-15&rft.pub=ACM&rft.isbn=0818619414&rft.spage=166&rft.epage=177&rft_id=info:doi/10.1145%2F74587.74611 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818619410/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818619410/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818619410/sc.gif&client=summon&freeimage=true |