Verfügbarkeit: Software engineering and formal methods

Software engineering and formal methods: SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Counsell, Steve (VerfasserIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham [u.a.] Springer 2014
Schriftenreihe:	Lecture notes in computer science 8368
Schlagworte:	Formale Methode Programmanalyse Programmverifikation Model Checking Softwaretest Software Engineering Anwendungssystem Requirements engineering Konferenzschrift > 2013 > Madrid
Online-Zugang:	DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XXV, 432 S.) graph. Darst.
ISBN:	9783319050317 9783319050324
DOI:	10.1007/978-3-319-05032-4

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041902520
003	DE-604
007	cr\|uuu---uuuuu
008	140611s2014 xx d\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 9783319050317 \|9 978-3-319-05031-7
020			\|a 9783319050324 \|c (eBook) \|9 978-3-319-05032-4
024	7		\|a 10.1007/978-3-319-05032-4 \|2 doi
035			\|a (OCoLC)875583421
035			\|a (DE-599)BVBBV041902520
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-859 \|a DE-861 \|a DE-634
082	0		\|a 005.1 \|2 22//ger
084			\|a DAT 510f \|2 stub
084			\|a DAT 310f \|2 stub
084			\|a DAT 325f \|2 stub
100	1		\|a Counsell, Steve \|e Verfasser \|4 aut
245	1	0	\|a Software engineering and formal methods \|b SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers \|c Steve Counsell ... (eds.)
264		1	\|a Cham [u.a.] \|b Springer \|c 2014
300			\|a 1 Online-Ressource (XXV, 432 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8368
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Anwendungssystem \|0 (DE-588)4139375-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Requirements engineering \|0 (DE-588)4213997-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Madrid \|2 gnd-content
689	0	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0	2	\|a Requirements engineering \|0 (DE-588)4213997-1 \|D s
689	0	3	\|a Anwendungssystem \|0 (DE-588)4139375-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	1	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	1	2	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	1	3	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	1		\|5 DE-604
711	2		\|a SEFM \|n 11. \|d 2013 \|c Madrid \|j Sonstige \|0 (DE-588)1043826637 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8368 \|w (DE-604)BV014880109 \|9 8368
856	4	0	\|u https://doi.org/10.1007/978-3-319-05032-4 \|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=027346234&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=027346234&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027346234
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-05032-4 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875572696317952
adam_text	SOFTWARE ENGINEERING AND FORMAL METHODS / : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS TOWARDS GLOBAL AND LOCAL TYPES FOR ADAPTATION.-A CONCURRENT PROGRAMMING LANGUAGE WITH REFINED SESSION TYPES.-BEHAVIOURAL TYPES INSPIRED BY CELLULAR THRESHOLDS.-ENSURING FAULTLESS COMMUNICATION BEHAVIOUR IN A COMMERCIAL CLOUD.-A TYPING SYSTEM FOR PRIVACY.-COMPLIANCE AND TESTING PREORDERS DIFFER.-SCALABLE SESSION PROGRAMMING FOR HETEROGENEOUS HIGH-PERFORMANCE SYSTEMS.-A SUPERVISOR SYNTHESIS TOOL FOR FINITE NONDETERMINISTIC AUTOMATA WITH DATA.-SMT-CONSTRAINED SYMBOLIC EXECUTION FOR ECLIPSE CDT/CODAN.-IOCO AS A SIMULATION.-MODELING AND SIMULATING INTERACTION PROTOCOLS USING NESTED PETRI NETS.-PETRICODE: A TOOL FOR TEMPLATE-BASED CODE GENERATION FROM CPN MODELS.-TWENTY-FIVE YEARS OF FORMAL METHODS AND RAILWAYS: WHAT NEXT.-WHAT IS A BOK? LARGE – EXTENDED ABSTRACT.-VERIFICATION OF SCHEME PLANS USING CSPJJB.-APPLIED BOUNDED MODEL CHECKING FOR INTERLOCKING SYSTEM DESIGNS.-FORMAL IMPLEMENTATION OF DATA VALIDATION FOR RAILWAY SAFETY-RELATED SYSTEMS WITH OVADO.-VALIDATION OF RAILWAY INTERLOCKING SYSTEMS BY FORMAL VERIFICATION, A CASE STUDY VERIFICATION OF SOLID STATE INTERLOCKING PROGRAMS TOWARDS KNOWLEDGE MODELING FOR SUSTAINABLE TRANSPORT XBRL-DRIVEN BUSINESS PROCESS IMPROVEMENT: A SIMULATION STUDY IN THE ACCOUNTING DOMAIN THE ROLE OF LINKED DATA AND SEMANTIC-TECHNOLOGIES FOR SUSTAINABILITY IDEA MANAGEMENT.-STOCHASTIC MODELLING OF SEASONAL MIGRATION USING REWRITING SYSTEMS WITH SPATIALITY.-A COMPUTATIONAL FORMAL MODEL OF THE INVASIVENESS OF EASTERN SPECIES IN EUROPEAN WATER FROG POPULATIONS.-PROCESS ORDERING IN A PROCESS CALCULUS FOR SPATIALLY-EXPLICIT ECOLOGICAL MODELS.-DISPAS: AN AGENT-BASED TOOL FOR THE MANAGEMENT OF FISHING EFFORT.-CERTIFYING MACHINE CODE SAFE FROM HARDWARE ALIASING: RISC IS NOT NECESSARILY RISKY.-SOUNDNESS AND COMPLETENESS OF THE NRB VERIFICATION LOGIC.-ANALYSIS OF FLOSS COMMUNITIES AS LEARNING CONTEXTS SMALL WORLD CHARACTERISTICS OF FLOSS DISTRIBUTIONS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. SOFTWARE ENGINEERING AND FORMAL METHODS / : 2014 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REVISED SELECTED PAPERS OF THE COLLOCATED WORKSHOPS OF THE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, HELD IN MADRID, SPAIN, IN SEPTEMBER 2013. THE CONFERENCE HOSTED 5 WORKSHOPS: THE SECOND INTERNATIONAL WORKSHOP ON BEHAVIOURAL TYPES (BEAT2). THE AIM WAS TO PURSUE RESEARCH TOPICS IN THE USE OF BEHAVIOURAL TYPE THEORY AS THE BASIS FOR NEW FOUNDATIONS, PROGRAMMING LANGUAGES AND SOFTWARE DEVELOPMENT METHODS FOR COMMUNICATION-INTENSIVE DISTRIBUTED SYSTEMS. THE THIRD WORKSHOP ON FORMAL METHODS IN THE DEVELOPMENT OF SOFTWARE (WS-FMDS). THE AIM WAS TO BRING TOGETHER SCIENTISTS AND PRACTITIONERS ACTIVE IN THE AREA OF FORMAL METHODS AND INTERESTED IN EXCHANGING THEIR EXPERIENCES IN THE INDUSTRIAL USAGE OF THESE METHODS. THE WORKSHOP ON A FORMAL METHODS BODY OF KNOWLEDGE FOR RAILWAY CONTROL AND SAFETY SYSTEMS (FM-RAIL-BOK). IN MANY ENGINEERING-BASED APPLICATION AREAS SUCH AS IN THE RAILWAY DOMAIN, FORMAL METHODS HAVE REACHED A LEVEL OF MATURITY THAT ALREADY ENABLES THE COMPILATION OF A SO-CALLED BODY OF KNOWLEDGE. THE SECOND INTERNATIONAL SYMPOSIUM ON MODELLING AND KNOWLEDGE MANAGEMENT FOR SUSTAINABLE DEVELOPMENT (MOKMASD). THE AIM WAS TO BRING TOGETHER RESEARCHERS AND PRACTITIONER FROM ACADEMIA, INDUSTRY, GOVERNMENT AND NON-GOVERNMENT ORGANISATIONS TO PRESENT RESEARCH RESULTS AND EXCHANGE EXPERIENCE, IDEAS AND SOLUTIONS FOR MODELLING AND ANALYSING COMPLEX SYSTEMS. IN PARTICULAR IN AREAS INCLUDING ECONOMY, GOVERNANCE, HEALTH, BIOLOGY, ECOLOGY, CLIMATE AND POVERTY REDUCTION. THE 7TH INTERNATIONAL WORKSHOP ON FOUNDATIONS AND TECHNIQUES FOR OPEN SOURCE SOFTWARE CERTIFICATION (OPEN CERT). THE AIM WAS TO BRING TOGETHER RESEARCHERS FROM ACADEMIA AND INDUSTRY INTERESTED IN THE QUALITY ASSESSMENT OF OSS PROJECTS, AS WELL AS THE METRICS, PROCEDURES AND TOOLS USED IN OSS COMMUNITIES AND FOR THE MEASUREMENT AND ASSESSMENT OF OSS QUALITY DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Counsell, Steve
author_facet	Counsell, Steve
author_role	aut
author_sort	Counsell, Steve
author_variant	s c sc
building	Verbundindex
bvnumber	BV041902520
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f DAT 325f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)875583421 (DE-599)BVBBV041902520
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-05032-4
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041902520</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140611s2014 xx d\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319050317</subfield><subfield code="9">978-3-319-05031-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319050324</subfield><subfield code="c">(eBook)</subfield><subfield code="9">978-3-319-05032-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-05032-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)875583421</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041902520</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Counsell, Steve</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering and formal methods</subfield><subfield code="b">SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers</subfield><subfield code="c">Steve Counsell ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXV, 432 S.)</subfield><subfield code="b">graph. Darst.</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">Lecture notes in computer science</subfield><subfield code="v">8368</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Madrid</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SEFM</subfield><subfield code="n">11.</subfield><subfield code="d">2013</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1043826637</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8368</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8368</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-05032-4</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=027346234&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=027346234&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-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027346234</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-05032-4</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</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-05032-4</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Madrid gnd-content
genre_facet	Konferenzschrift 2013 Madrid
id	DE-604.BV041902520
illustrated	Illustrated
indexdate	2025-01-10T15:17:46Z
institution	BVB
institution_GND	(DE-588)1043826637
isbn	9783319050317 9783319050324
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027346234
oclc_num	875583421
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634
physical	1 Online-Ressource (XXV, 432 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Counsell, Steve Verfasser aut Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers Steve Counsell ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (XXV, 432 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8368 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Anwendungssystem (DE-588)4139375-2 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Madrid gnd-content Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s Requirements engineering (DE-588)4213997-1 s Anwendungssystem (DE-588)4139375-2 s DE-604 Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Model Checking (DE-588)4434799-6 s Softwaretest (DE-588)4132652-0 s SEFM 11. 2013 Madrid Sonstige (DE-588)1043826637 oth Lecture notes in computer science 8368 (DE-604)BV014880109 8368 https://doi.org/10.1007/978-3-319-05032-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027346234&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027346234&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Counsell, Steve Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Anwendungssystem (DE-588)4139375-2 gnd Requirements engineering (DE-588)4213997-1 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4116521-4 (DE-588)4139375-2 (DE-588)4213997-1 (DE-588)1071861417
title	Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers
title_auth	Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers
title_exact_search	Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers
title_full	Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers Steve Counsell ... (eds.)
title_fullStr	Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers Steve Counsell ... (eds.)
title_full_unstemmed	Software engineering and formal methods SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers Steve Counsell ... (eds.)
title_short	Software engineering and formal methods
title_sort	software engineering and formal methods sefm 2013 collocated workshops beat2 ws fmds fm rail bok mokmasd and opencert madrid spain september 23 24 2013 revised selected papers
title_sub	SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Anwendungssystem (DE-588)4139375-2 gnd Requirements engineering (DE-588)4213997-1 gnd
topic_facet	Formale Methode Programmanalyse Programmverifikation Model Checking Softwaretest Software Engineering Anwendungssystem Requirements engineering Konferenzschrift 2013 Madrid
url	https://doi.org/10.1007/978-3-319-05032-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027346234&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=027346234&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT counsellsteve softwareengineeringandformalmethodssefm2013collocatedworkshopsbeat2wsfmdsfmrailbokmokmasdandopencertmadridspainseptember23242013revisedselectedpapers AT sefmmadrid softwareengineeringandformalmethodssefm2013collocatedworkshopsbeat2wsfmdsfmrailbokmokmasdandopencertmadridspainseptember23242013revisedselectedpapers

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge