An integration environment to put formal specifications into practical use in real-time systems:
Abstract: "This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analy...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1991
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
686 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: algebraic specification and temporal logic. |
| Beschreibung: | 8 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010954573 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960917s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)25975506 | ||
| 035 | |a (DE-599)BVBBV010954573 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Honiden, Shinichi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An integration environment to put formal specifications into practical use in real-time systems |c by S. Honiden, A. Ohsuga & N. Uchihira |
| 264 | 1 | |a Tokyo, Japan |c 1991 | |
| 300 | |a 8 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 686 | |
| 520 | 3 | |a Abstract: "This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products | |
| 520 | 3 | |a In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: algebraic specification and temporal logic. | |
| 650 | 4 | |a Real-time data processing | |
| 700 | 1 | |a Ohsuga, Akihiko |e Verfasser |4 aut | |
| 700 | 1 | |a Uchihira, Naoshi |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 686 |w (DE-604)BV010923438 |9 686 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007326912 | ||
Datensatz im Suchindex
| _version_ | 1804125441888354304 |
|---|---|
| any_adam_object | |
| author | Honiden, Shinichi Ohsuga, Akihiko Uchihira, Naoshi |
| author_facet | Honiden, Shinichi Ohsuga, Akihiko Uchihira, Naoshi |
| author_role | aut aut aut |
| author_sort | Honiden, Shinichi |
| author_variant | s h sh a o ao n u nu |
| building | Verbundindex |
| bvnumber | BV010954573 |
| ctrlnum | (OCoLC)25975506 (DE-599)BVBBV010954573 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01972nam a2200325 cb4500</leader><controlfield tag="001">BV010954573</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960917s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25975506</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010954573</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Honiden, Shinichi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An integration environment to put formal specifications into practical use in real-time systems</subfield><subfield code="c">by S. Honiden, A. Ohsuga & N. Uchihira</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">8 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">686</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: algebraic specification and temporal logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ohsuga, Akihiko</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Uchihira, Naoshi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">686</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">686</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007326912</subfield></datafield></record></collection> |
| id | DE-604.BV010954573 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:37Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007326912 |
| oclc_num | 25975506 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 8 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Honiden, Shinichi Verfasser aut An integration environment to put formal specifications into practical use in real-time systems by S. Honiden, A. Ohsuga & N. Uchihira Tokyo, Japan 1991 8 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 686 Abstract: "This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: algebraic specification and temporal logic. Real-time data processing Ohsuga, Akihiko Verfasser aut Uchihira, Naoshi Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 686 (DE-604)BV010923438 686 |
| spellingShingle | Honiden, Shinichi Ohsuga, Akihiko Uchihira, Naoshi An integration environment to put formal specifications into practical use in real-time systems Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Real-time data processing |
| title | An integration environment to put formal specifications into practical use in real-time systems |
| title_auth | An integration environment to put formal specifications into practical use in real-time systems |
| title_exact_search | An integration environment to put formal specifications into practical use in real-time systems |
| title_full | An integration environment to put formal specifications into practical use in real-time systems by S. Honiden, A. Ohsuga & N. Uchihira |
| title_fullStr | An integration environment to put formal specifications into practical use in real-time systems by S. Honiden, A. Ohsuga & N. Uchihira |
| title_full_unstemmed | An integration environment to put formal specifications into practical use in real-time systems by S. Honiden, A. Ohsuga & N. Uchihira |
| title_short | An integration environment to put formal specifications into practical use in real-time systems |
| title_sort | an integration environment to put formal specifications into practical use in real time systems |
| topic | Real-time data processing |
| topic_facet | Real-time data processing |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT honidenshinichi anintegrationenvironmenttoputformalspecificationsintopracticaluseinrealtimesystems AT ohsugaakihiko anintegrationenvironmenttoputformalspecificationsintopracticaluseinrealtimesystems AT uchihiranaoshi anintegrationenvironmenttoputformalspecificationsintopracticaluseinrealtimesystems |