Fundamental approaches to software engineering: 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin
Springer
[2016]
|
| Series: | Lecture Notes in Computer Science
9633 |
| Subjects: | |
| Online Access: | BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FRO01 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource XIII, 436 Seiten Illustrationen |
| ISBN: | 9783662496657 9783662496640 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-49665-7 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043503899 | ||
| 003 | DE-604 | ||
| 005 | 20170419 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160411s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662496657 |c Online |9 978-3-662-49665-7 | ||
| 020 | |a 9783662496640 |c Print |9 978-3-662-49664-0 | ||
| 024 | 7 | |a 10.1007/978-3-662-49665-7 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-662-49665-7 | ||
| 035 | |a (ZDB-2-LNC)978-3-662-49665-7 | ||
| 035 | |a (OCoLC)946153638 | ||
| 035 | |a (DE-599)BVBBV043503899 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-523 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a FASE |n 19. |d 2016 |c Eindhoven |j Verfasser |0 (DE-588)1096770733 |4 aut | |
| 245 | 1 | 0 | |a Fundamental approaches to software engineering |b 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings |c edited by Perdita Stevens, Andrzej Wąsowski |
| 264 | 1 | |a Berlin |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online-Ressource XIII, 436 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v Volume 9633 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 02.04.2016-08.04.2016 |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Stevens, Perdita |d 1966- |0 (DE-588)12846061X |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9633 |w (DE-604)BV014880109 |9 9633 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-49665-7 |x Verlag |z URL des Erstveröffentlichers |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=028920244&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=028920244&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028920244 | ||
| 966 | e | |l BTU01 |u https://doi.org/10.1007/978-3-662-49665-7 |p ZDB-2-LNC |q ZDB-2-LNC-2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l FHA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l FHI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l FHR01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UBM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |l UBY01 |u https://doi.org/10.1007/978-3-662-49665-7 |p ZDB-2-LNC |q ZDB-2-LNC-2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-49665-7 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804176141034979328 |
|---|---|
| adam_text | FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
THE DEATH OF OBJECT-ORIENTED PROGRAMMING
CONCURRENT AND DISTRIBUTED SYSTEMS AUTOMATED CHOREOGRAPHY REPAIR
A GRAPH-BASED SEMANTICS WORKBENCH FOR CONCURRENT ASYNCHRONOUS PROGRAMS
ABS-YARN: A FORMAL FRAMEWORK FOR MODELING HADOOP YARN CLUSTERS
INTEGRATED ENVIRONMENT FOR VERIFYING AND RUNNING DISTRIBUTED COMPONENTS
MODEL-DRIVEN DEVELOPMENT
ITERATIVE AND INCREMENTAL MODEL GENERATION BY LOGIC SOLVERS
AUTOMATED MODEL MERGE BY DESIGN SPACE EXPLORATION
RULEMERGER: AUTOMATIC CONSTRUCTION OF VARIABILITY-BASED MODEL
TRANSFORMATION RULES
TWO-STEP TRANSFORMATION OF MODEL TRAVERSAL EOL QUERIES FOR LARGE CDO
REPOSITORIES
MIND THE GAP! AUTOMATED ANOMALY DETECTION FOR POTENTIALLY UNBOUNDED
CARDINALITY-BASED FEATURE MODELS
ANALYSIS AND BUG TRIAGING
CUT BRANCHES BEFORE LOOKING FOR BUGS: SOUND VERIFICATION ON RELAXED
SLICES
THE INFLUENCES OF EDGE INSTABILITY ON CHANGE PROPAGATION AND
CONNECTIVITY IN CALL GRAPHS
MODELING AND ABSTRACTION OF MEMORY MANAGEMENT IN A HYPERVISOR
CROWDSOURCED BUG TRIAGING: LEVERAGING Q&A RESOURCES FOR BUG ASSIGNMENT
PROBABILISTIC AND STOCHASTIC SYSTEMS MODEL-BASED TESTING OF
PROBABILISTIC SYSTEMS
AN ITERATIVE DECISION-MAKING SCHEME FOR MARKOV DECISION PROCESSES AND
ITS APPLICATION TO SELF-ADAPTIVE SYSTEMS
FAMILY-BASED MODELING AND ANALYSIS FOR PROBABILISTIC SYSTEMS –
FEATURING PROFEAT
STATISTICAL MODEL CHECKING OF E-MOTIONS DOMAIN-SPECIFIC MODELING
LANGUAGES
PROOF AND THEOREM PROVING
TOWARDS FORMAL PROOF METRICS
REDUCTION RULES FOR COLORED WORKFLOW NETS
MANY-VALUED INSTITUTIONS FOR CONSTRAINT SPECIFICATION
CAFEINMAUDE: A CAFEOBJ INTERPRETER IN MAUDE
VERIFICATION
VERIFYING A VERIFIER: ON THE FORMAL CORRECTNESS OF AN LTS TRANSFORMATION
VERIFICATION TECHNIQUE
HYBRID SESSION VERIFICATION THROUGH ENDPOINT API GENERATION
PVAIR: PARTIAL VARIABLE ASSIGNMENT INTERPOLATOR.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
/
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 19TH INTERNATIONAL
CONFERENCE ON FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2016,
WHICH TOOK PLACE IN EINDHOVEN, THE NETHERLANDS, IN APRIL 2016, HELD AS
PART OF THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF
SOFTWARE, ETAPS 2016. THE 23 FULL PAPERS PRESENTED IN THIS VOLUME WERE
CAREFULLY REVIEWED AND SELECTED FROM 90 SUBMISSIONS. THEY WERE ORGANIZED
IN TOPICAL SECTIONS NAMED: CONCURRENT AND DISTRIBUTED SYSTEMS;
MODEL-DRIVEN DEVELOPMENT; ANALYSIS AND BUG TRIAGING; PROBABILISTIC AND
STOCHASTIC SYSTEMS; PROOF AND THEOREM PROVING; AND VERIFICATION.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Stevens, Perdita 1966- |
| author2_role | edt |
| author2_variant | p s ps |
| author_GND | (DE-588)12846061X |
| author_corporate | FASE Eindhoven |
| author_corporate_role | aut |
| author_facet | Stevens, Perdita 1966- FASE Eindhoven |
| author_sort | FASE Eindhoven |
| building | Verbundindex |
| bvnumber | BV043503899 |
| classification_tum | DAT 310f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)978-3-662-49665-7 (ZDB-2-LNC)978-3-662-49665-7 (OCoLC)946153638 (DE-599)BVBBV043503899 |
| 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-662-49665-7 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04998nmm a2200877zcb4500</leader><controlfield tag="001">BV043503899</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170419 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160411s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662496657</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-49665-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662496640</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-49664-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-49665-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-662-49665-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)978-3-662-49665-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)946153638</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043503899</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FASE</subfield><subfield code="n">19.</subfield><subfield code="d">2016</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1096770733</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamental approaches to software engineering</subfield><subfield code="b">19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings</subfield><subfield code="c">edited by Perdita Stevens, Andrzej Wąsowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource XIII, 436 Seiten</subfield><subfield code="b">Illustrationen</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">Volume 9633</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">02.04.2016-08.04.2016</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stevens, Perdita</subfield><subfield code="d">1966-</subfield><subfield code="0">(DE-588)12846061X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9633</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9633</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-49665-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028920244&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=028920244&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-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028920244</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="l">BTU01</subfield><subfield code="u">https://doi.org/10.1007/978-3-662-49665-7</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC-2016</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-662-49665-7</subfield><subfield code="l">FHA01</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-662-49665-7</subfield><subfield code="l">FHI01</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-662-49665-7</subfield><subfield code="l">FHM01</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-662-49665-7</subfield><subfield code="l">FHN01</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-662-49665-7</subfield><subfield code="l">FHR01</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-662-49665-7</subfield><subfield code="l">FKE01</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-662-49665-7</subfield><subfield code="l">FRO01</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-662-49665-7</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</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-662-49665-7</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</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-662-49665-7</subfield><subfield code="l">UBA01</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-662-49665-7</subfield><subfield code="l">UBG01</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-662-49665-7</subfield><subfield code="l">UBM01</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-662-49665-7</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</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-662-49665-7</subfield><subfield code="l">UBT01</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-662-49665-7</subfield><subfield code="l">UBW01</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="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-662-49665-7</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC-2016</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-662-49665-7</subfield><subfield code="l">UER01</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-662-49665-7</subfield><subfield code="l">UPA01</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 gnd-content (DE-588)1071861417 Konferenzschrift 02.04.2016-08.04.2016 gnd-content |
| genre_facet | Konferenzschrift Konferenzschrift 02.04.2016-08.04.2016 |
| id | DE-604.BV043503899 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:27:27Z |
| institution | BVB |
| institution_GND | (DE-588)1096770733 |
| isbn | 9783662496657 9783662496640 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028920244 |
| oclc_num | 946153638 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-523 |
| physical | 1 Online-Ressource XIII, 436 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC-2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | FASE 19. 2016 Eindhoven Verfasser (DE-588)1096770733 aut Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings edited by Perdita Stevens, Andrzej Wąsowski Berlin Springer [2016] © 2016 1 Online-Ressource XIII, 436 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9633 0302-9743 Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)1071861417 Konferenzschrift 02.04.2016-08.04.2016 gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Stevens, Perdita 1966- (DE-588)12846061X edt Lecture Notes in Computer Science 9633 (DE-604)BV014880109 9633 https://doi.org/10.1007/978-3-662-49665-7 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920244&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=028920244&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Lecture Notes in Computer Science Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings |
| title_auth | Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings |
| title_exact_search | Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings |
| title_full | Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings edited by Perdita Stevens, Andrzej Wąsowski |
| title_fullStr | Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings edited by Perdita Stevens, Andrzej Wąsowski |
| title_full_unstemmed | Fundamental approaches to software engineering 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings edited by Perdita Stevens, Andrzej Wąsowski |
| title_short | Fundamental approaches to software engineering |
| title_sort | fundamental approaches to software engineering 19th international conference fase 2016 held as part of the european joint conferences on theory and practice of software etaps 2016 eindhoven the netherlands april 2 8 2016 proceedings |
| title_sub | 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings |
| topic | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Konferenzschrift Konferenzschrift 02.04.2016-08.04.2016 |
| url | https://doi.org/10.1007/978-3-662-49665-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920244&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=028920244&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT faseeindhoven fundamentalapproachestosoftwareengineering19thinternationalconferencefase2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT stevensperdita fundamentalapproachestosoftwareengineering19thinternationalconferencefase2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings |