Knowledge-based software development for real-time distributed systems:
The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging....
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1993
|
| Schriftenreihe: | Series on software engineering and knowledge engineering
vol. 1 |
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated |
| Beschreibung: | 234 p. ill |
| ISBN: | 9789812798046 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044635919 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812798046 |c electronic bk. |9 978-981-279-804-6 | ||
| 024 | 7 | |a 10.1142/1794 |2 doi | |
| 035 | |a (ZDB-124-WOP)00005364 | ||
| 035 | |a (OCoLC)1012726501 | ||
| 035 | |a (DE-599)BVBBV044635919 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 005.2 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Tsai, Jeffrey J.-P. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge-based software development for real-time distributed systems |c Jeffrey J.-P. Tsai, Thomas J. Weigert |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1993 | |
| 300 | |a 234 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Series on software engineering and knowledge engineering |v vol. 1 | |
| 520 | |a The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated | ||
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a Computer software / Development | |
| 650 | 4 | |a Real-time data processing | |
| 650 | 4 | |a Electronic data processing / Distributed processing | |
| 700 | 1 | |a Weigert, Thomas J. |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810211287 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/1794#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030033890 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/1794#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178049603731456 |
|---|---|
| any_adam_object | |
| author | Tsai, Jeffrey J.-P |
| author_facet | Tsai, Jeffrey J.-P |
| author_role | aut |
| author_sort | Tsai, Jeffrey J.-P |
| author_variant | j j p t jjp jjpt |
| building | Verbundindex |
| bvnumber | BV044635919 |
| classification_rvk | ST 230 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00005364 (OCoLC)1012726501 (DE-599)BVBBV044635919 |
| dewey-full | 005.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.2 |
| dewey-search | 005.2 |
| dewey-sort | 15.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02760nmm a2200433zcb4500</leader><controlfield tag="001">BV044635919</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812798046</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-279-804-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/1794</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00005364</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012726501</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044635919</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.2</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tsai, Jeffrey J.-P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge-based software development for real-time distributed systems</subfield><subfield code="c">Jeffrey J.-P. Tsai, Thomas J. Weigert</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">234 p.</subfield><subfield code="b">ill</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Series on software engineering and knowledge engineering</subfield><subfield code="v">vol. 1</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing / Distributed processing</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weigert, Thomas J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810211287</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/1794#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030033890</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/1794#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044635919 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:48Z |
| institution | BVB |
| isbn | 9789812798046 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030033890 |
| oclc_num | 1012726501 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | 234 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | Series on software engineering and knowledge engineering |
| spelling | Tsai, Jeffrey J.-P. Verfasser aut Knowledge-based software development for real-time distributed systems Jeffrey J.-P. Tsai, Thomas J. Weigert Singapore World Scientific Pub. Co. c1993 234 p. ill txt rdacontent c rdamedia cr rdacarrier Series on software engineering and knowledge engineering vol. 1 The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated Expert systems (Computer science) Computer software / Development Real-time data processing Electronic data processing / Distributed processing Weigert, Thomas J. Sonstige oth Erscheint auch als Druck-Ausgabe 9810211287 http://www.worldscientific.com/worldscibooks/10.1142/1794#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Tsai, Jeffrey J.-P Knowledge-based software development for real-time distributed systems Expert systems (Computer science) Computer software / Development Real-time data processing Electronic data processing / Distributed processing |
| title | Knowledge-based software development for real-time distributed systems |
| title_auth | Knowledge-based software development for real-time distributed systems |
| title_exact_search | Knowledge-based software development for real-time distributed systems |
| title_full | Knowledge-based software development for real-time distributed systems Jeffrey J.-P. Tsai, Thomas J. Weigert |
| title_fullStr | Knowledge-based software development for real-time distributed systems Jeffrey J.-P. Tsai, Thomas J. Weigert |
| title_full_unstemmed | Knowledge-based software development for real-time distributed systems Jeffrey J.-P. Tsai, Thomas J. Weigert |
| title_short | Knowledge-based software development for real-time distributed systems |
| title_sort | knowledge based software development for real time distributed systems |
| topic | Expert systems (Computer science) Computer software / Development Real-time data processing Electronic data processing / Distributed processing |
| topic_facet | Expert systems (Computer science) Computer software / Development Real-time data processing Electronic data processing / Distributed processing |
| url | http://www.worldscientific.com/worldscibooks/10.1142/1794#t=toc |
| work_keys_str_mv | AT tsaijeffreyjp knowledgebasedsoftwaredevelopmentforrealtimedistributedsystems AT weigertthomasj knowledgebasedsoftwaredevelopmentforrealtimedistributedsystems |