Fundamental approaches to software engineering: 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2013
|
| Series: | Lecture notes in computer science
7793 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (XIX, 376 S.) Ill., graph. Darst. |
| ISBN: | 9783642370564 9783642370571 |
| DOI: | 10.1007/978-3-642-37057-1 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041388383 | ||
| 003 | DE-604 | ||
| 005 | 20140227 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131029s2013 gw ad|| o|||| 10||| eng d | ||
| 020 | |a 9783642370564 |c Print |9 978-3-642-37056-4 | ||
| 020 | |a 9783642370571 |c Online |9 978-3-642-37057-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-37057-1 |2 doi | |
| 035 | |a (OCoLC)839974692 | ||
| 035 | |a (DE-599)BVBBV041388383 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-739 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Fundamental approaches to software engineering |b 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |c Vittorio Cortellessa ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XIX, 376 S.) |b Ill., 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 7793 | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Rom |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Cortellessa, Vittorio |e Sonstige |0 (DE-588)137081502 |4 oth | |
| 710 | 2 | |a European Joint Conferences on Theory and Practice of Software |a 16 |d 2013 |c Rome |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7793 |w (DE-604)BV014880109 |9 7793 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-37057-1 |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=026836227&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=026836227&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026836227 | |
Record in the Search Index
| _version_ | 1820875480424775680 |
|---|---|
| adam_text |
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TOWARDS A DISTRIBUTED MODELING PROCESS BASED ON COMPOSITE MODELS
CHANGE PROPAGATION DUE TO UNCERTAINTY CHANGE
A MODEL-BASED SYNTHESIS PROCESS FOR CHOREOGRAPHY REALIZABILITY
ENFORCEMENT
ON EXTRACTING FEATURE MODELS FROM SETS OF VALID FEATURE COMBINATIONS
ON THE EMPIRICAL EVALUATION OF FAULT LOCALIZATION TECHNIQUES FOR
SPREADSHEETS
QUALITY OF MERGE-REFACTORINGS FOR PRODUCT LINES
TOWARDS UNDERSTANDING THE BEHAVIOR OF CLASSES USING PROBABILISTIC MODELS
OF PROGRAM INPUTS
DISCOVERING BRANCHING CONDITIONS FROM BUSINESS PROCESS EXECUTION LOGS
EXPOSING BEHAVIORAL DIFFERENCES IN CROSS-LANGUAGE API MAPPING RELATIONS
EXPLICIT-STATE SOFTWARE MODEL CHECKING BASED ON CEGAR AND INTERPOLATION
DESIGN PATTERN-BASED EXTENSION OF CLASS HIERARCHIES TO SUPPORT RUNTIME
INVARIANT CHECKS
AUGMENTING SEQUENCE ENUMERATION WITH STRING-REWRITING FOR REQUIREMENTS
ANALYSIS AND BEHAVIORAL SPECIFICATION
SCENARIO REALIZABILITY WITH CONSTRAINT OPTIMIZATION
ANDROMEDA: ACCURATE AND SCALABLE SECURITY ANALYSIS OF WEB APPLICATIONS
VERCHOR: A FRAMEWORK FOR VERIFYING CHOREOGRAPHIES
JAVANNI: A VERIFIER FOR JAVASCRIPT
MODEL-BASED IMPLEMENTATION OF PARALLEL REAL-TIME SYSTEMS
A GREY-BOX APPROACH FOR AUTOMATED GUI-MODEL GENERATION OF MOBILE
APPLICATIONS
A MECHANIZED MODEL FOR CAN PROTOCOLS
ENFORCING QVT-R WITH MU-CALCULUS AND GAMES
IMPLEMENTING QVT-R BIDIRECTIONAL MODEL TRANSFORMATIONS USING ALLOY
ABSTRACTION AND TRAINING OF STOCHASTIC GRAPH TRANSFORMATION SYSTEMS
DISCOVERING MATH APIS BY MINING UNIT TESTS
POGEN: A TEST CODE GENERATOR BASED ON TEMPLATE VARIABLE COVERAGE IN
GRAY-BOX INTEGRATION TESTING FOR WEB APPLICATIONS
TESTING WITH INPUTS AND OUTPUTS IN CSP.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 16TH INTERNATIONAL
CONFERENCE ON FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013,
HELD AS PART OF THE EUROPEAN JOINT CONFERENCE ON THEORY AND PRACTICE OF
SOFTWARE, ETAPS 2013, WHICH TOOK PLACE IN ROME, ITALY, IN MARCH 2013.
THE 25 PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND
SELECTED FROM 112 SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL SECTIONS
NAMED: MODEL-DRIVEN ENGINEERING; VERIFICATION AND VALIDATION; SOFTWARE
COMPREHENSION; ANALYSIS TOOLS; MODEL-DRIVEN ENGINEERING: APPLICATIONS;
MODEL TRANSFORMATIONS; AND TESTING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)137081502 |
| building | Verbundindex |
| bvnumber | BV041388383 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)839974692 (DE-599)BVBBV041388383 |
| 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-642-37057-1 |
| format | Electronic 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">BV041388383</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140227</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131029s2013 gw ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642370564</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-37056-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642370571</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-37057-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-37057-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839974692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041388383</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</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 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="245" ind1="1" ind2="0"><subfield code="a">Fundamental approaches to software engineering</subfield><subfield code="b">16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings</subfield><subfield code="c">Vittorio Cortellessa ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIX, 376 S.)</subfield><subfield code="b">Ill., 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">7793</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="y">2013</subfield><subfield code="z">Rom</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">Cortellessa, Vittorio</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)137081502</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">European Joint Conferences on Theory and Practice of Software</subfield><subfield code="a">16</subfield><subfield code="d">2013</subfield><subfield code="c">Rome</subfield><subfield code="e">Sonstige</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">7793</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7793</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-37057-1</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=026836227&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=026836227&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></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-026836227</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content |
| genre_facet | Konferenzschrift 2013 Rom |
| id | DE-604.BV041388383 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:18Z |
| institution | BVB |
| isbn | 9783642370564 9783642370571 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026836227 |
| oclc_num | 839974692 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIX, 376 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Vittorio Cortellessa ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XIX, 376 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7793 Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Cortellessa, Vittorio Sonstige (DE-588)137081502 oth European Joint Conferences on Theory and Practice of Software 16 2013 Rome Sonstige oth Lecture notes in computer science 7793 (DE-604)BV014880109 7793 https://doi.org/10.1007/978-3-642-37057-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026836227&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=026836227&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Lecture notes in computer science Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| title_auth | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| title_exact_search | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| title_full | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Vittorio Cortellessa ... (eds.) |
| title_fullStr | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Vittorio Cortellessa ... (eds.) |
| title_full_unstemmed | Fundamental approaches to software engineering 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings Vittorio Cortellessa ... (eds.) |
| title_short | Fundamental approaches to software engineering |
| title_sort | fundamental approaches to software engineering 16th international conference fase 2013 held as part of the european joint conferences on theory and practice of software etaps 2013 rome italy march 16 24 2013 proceedings |
| title_sub | 16th international conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings |
| topic | Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Software Engineering Konferenzschrift 2013 Rom |
| url | https://doi.org/10.1007/978-3-642-37057-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026836227&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=026836227&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT cortellessavittorio fundamentalapproachestosoftwareengineering16thinternationalconferencefase2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings AT europeanjointconferencesontheoryandpracticeofsoftware16 fundamentalapproachestosoftwareengineering16thinternationalconferencefase2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings |