Formalisms for reuse and systems integration:
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2015
|
| Schriftenreihe: | Advances in intelligent systems and computing
346 |
| Schlagworte: | |
| Online-Zugang: | BHS01 BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 295 p. 118 illus., 5 illus. in color) |
| ISBN: | 9783319165776 |
| DOI: | 10.1007/978-3-319-16577-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042481940 | ||
| 003 | DE-604 | ||
| 005 | 20150422 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150402s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319165776 |c Online |9 978-3-319-16577-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-16577-6 |2 doi | |
| 035 | |a (OCoLC)906210669 | ||
| 035 | |a (DE-599)BVBBV042481940 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1043 |a DE-B768 |a DE-Aug4 |a DE-898 |a DE-573 |a DE-859 |a DE-863 |a DE-634 |a DE-92 |a DE-862 |a DE-861 |a DE-706 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 245 | 1 | 0 | |a Formalisms for reuse and systems integration |c Thouraya Bouabana-Tebibel ..., eds. |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (X, 295 p. 118 illus., 5 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Advances in intelligent systems and computing |v 346 | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computational Intelligence | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 700 | 1 | |a Bouabana-Tebibel, Thouraya |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-16576-9 |
| 830 | 0 | |a Advances in intelligent systems and computing |v 346 |w (DE-604)BV040889154 |9 346 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-16577-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027916899&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027916899&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027916899 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l BHS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-16577-6 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 554391 |
|---|---|
| _version_ | 1824554416041099264 |
| adam_text | FORMALISMS FOR REUSE AND SYSTEMS INTEGRATION
/ BOUABANA-TEBIBEL, THOURAYA
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TESTING WITH BUCHI AUTOMATA: TRANSITION COVERAGE METRICS, PERFORMANCE
ANALYSIS, AND PROPERTY REFINEMENT
FORWARD AND BACKWARD ANALYSIS OF WEAK SEQUENCING SPECIFICATION
A CEGAR TOOL FOR THE REACHABILITY ANALYSIS OF PLC-CONTROLLED PLANTS
USING HYBRID AUTOMATA
ON THE FORMALIZATION OF CARDINAL POINTS OF OPTICAL SYSTEMS
TOWARDS A GENERAL MODEL TO HANDLE MULTI-ENABLEDNESS IN TIME PETRI NETS
TIME PROPERTIES VERIFICATION OF REAL-TIME SYSTEMS USING UML/MARTE/OCL-RT
FORMAL MODELING AND ANALYSIS OF BUSINESS PROCESS TIMED CONSTRAINTS
A MODEL-BASED APPROACH FOR USER REQUIREMENTS DECOMPOSITION AND COMPONENT
SELECTION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FORMALISMS FOR REUSE AND SYSTEMS INTEGRATION
/ BOUABANA-TEBIBEL, THOURAYA
: 2015
ABSTRACT / INHALTSTEXT
REUSE AND INTEGRATION ARE DEFINED AS SYNERGISTIC CONCEPTS, WHERE REUSE
ADDRESSES HOW TO MINIMIZE REDUNDANCY IN THE CREATION OF COMPONENTS;
WHILE, INTEGRATION FOCUSES ON COMPONENT COMPOSITION. INTEGRATION
SUPPORTS REUSE AND VICE VERSA. THESE RELATED CONCEPTS SUPPORT THE DESIGN
OF SOFTWARE AND SYSTEMS FOR MAXIMIZING PERFORMANCE WHILE MINIMIZING
COST. KNOWLEDGE, LIKE DATA, IS SUBJECT TO REUSE; AND, EACH CAN BE
INTERPRETED AS THE OTHER. THIS MEANS THAT INHERENT COMPLEXITY, A MEASURE
OF THE POTENTIAL UTILITY OF A SYSTEM, IS DIRECTLY PROPORTIONAL TO THE
EXTENT TO WHICH IT MAXIMIZES REUSE AND INTEGRATION. FORMAL METHODS CAN
PROVIDE AN APPROPRIATE CONTEXT FOR THE RIGOROUS HANDLING OF THESE
SYNERGISTIC CONCEPTS. FURTHERMORE, FORMAL LANGUAGES ALLOW FOR NON
AMBIGUOUS MODEL SPECIFICATION; AND, FORMAL VERIFICATION TECHNIQUES
PROVIDE SUPPORT FOR INSURING THE VALIDITY OF REUSE AND INTEGRATION
MECHANISMS. THIS EDITED BOOK INCLUDES 12 HIGH QUALITY RESEARCH PAPERS
WRITTEN BY EXPERTS IN FORMAL ASPECTS OF REUSE AND INTEGRATION TO COVER
THE MOST RECENT ADVANCES IN THE FIELD. THESE PAPERS ARE EXTENDED
VERSIONS OF SOME OF THE BEST PAPERS, WHICH WERE PRESENTED AT THE IEEE
INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION AND THE
IEEE INTERNATIONAL WORKSHOP ON FORMAL METHODS INTEGRATION - BOTH OF
WHICH WERE HELD IN SAN FRANCISCO IN AUGUST 2014
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Bouabana-Tebibel, Thouraya |
| author2_role | edt |
| author2_variant | t b t tbt |
| author_facet | Bouabana-Tebibel, Thouraya |
| building | Verbundindex |
| bvnumber | BV042481940 |
| collection | ZDB-2-ENG |
| ctrlnum | (OCoLC)906210669 (DE-599)BVBBV042481940 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-16577-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03300nmm a2200601zcb4500</leader><controlfield tag="001">BV042481940</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150422 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150402s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319165776</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-16577-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-16577-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)906210669</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042481940</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-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalisms for reuse and systems integration</subfield><subfield code="c">Thouraya Bouabana-Tebibel ..., eds.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 295 p. 118 illus., 5 illus. in color)</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="1" ind2=" "><subfield code="a">Advances in intelligent systems and computing</subfield><subfield code="v">346</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bouabana-Tebibel, Thouraya</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-16576-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Advances in intelligent systems and computing</subfield><subfield code="v">346</subfield><subfield code="w">(DE-604)BV040889154</subfield><subfield code="9">346</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027916899&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027916899&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027916899</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">BHS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-16577-6</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042481940 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:51:25Z |
| institution | BVB |
| isbn | 9783319165776 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027916899 |
| oclc_num | 906210669 |
| open_access_boolean | |
| owner | DE-1046 DE-1043 DE-B768 DE-Aug4 DE-898 DE-BY-UBR DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-92 DE-862 DE-BY-FWS DE-861 DE-706 |
| owner_facet | DE-1046 DE-1043 DE-B768 DE-Aug4 DE-898 DE-BY-UBR DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-92 DE-862 DE-BY-FWS DE-861 DE-706 |
| physical | 1 Online-Ressource (X, 295 p. 118 illus., 5 illus. in color) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Advances in intelligent systems and computing |
| series2 | Advances in intelligent systems and computing |
| spellingShingle | Formalisms for reuse and systems integration Advances in intelligent systems and computing Engineering Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) Ingenieurwissenschaften Künstliche Intelligenz |
| title | Formalisms for reuse and systems integration |
| title_auth | Formalisms for reuse and systems integration |
| title_exact_search | Formalisms for reuse and systems integration |
| title_full | Formalisms for reuse and systems integration Thouraya Bouabana-Tebibel ..., eds. |
| title_fullStr | Formalisms for reuse and systems integration Thouraya Bouabana-Tebibel ..., eds. |
| title_full_unstemmed | Formalisms for reuse and systems integration Thouraya Bouabana-Tebibel ..., eds. |
| title_short | Formalisms for reuse and systems integration |
| title_sort | formalisms for reuse and systems integration |
| topic | Engineering Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) Ingenieurwissenschaften Künstliche Intelligenz |
| topic_facet | Engineering Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) Ingenieurwissenschaften Künstliche Intelligenz |
| url | https://doi.org/10.1007/978-3-319-16577-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027916899&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027916899&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV040889154 |
| work_keys_str_mv | AT bouabanatebibelthouraya formalismsforreuseandsystemsintegration |