Holdings: Formalisms for reuse and systems integration

Formalisms for reuse and systems integration:

Saved in:

Bibliographic Details
Other Authors:	Bouabana-Tebibel, Thouraya (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham [u.a.] Springer 2015
Series:	Advances in intelligent systems and computing 346
Subjects:	Engineering Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) Ingenieurwissenschaften Künstliche Intelligenz
Online Access:	BHS01 BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource (X, 295 p. 118 illus., 5 illus. in color)
ISBN:	9783319165776
DOI:	10.1007/978-3-319-16577-6

Staff View

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

Record in the Search Index

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

Holdings

Get full text

MARC

Record in the Search Index

Similar Items