Holdings: Fundamental approaches to software engineering

Fundamental approaches to software engineering: 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2011
Series:	Lecture notes in computer science 6603
Subjects:	Software Engineering Konferenzschrift > 2011 > Saarbrücken
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XIII, 464 S. Ill., graph. Darst.
ISBN:	9783642198106 3642198104

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV037304078
003	DE-604
005	20141118
007	t\|
008	110328s2011 xx ad\|\| \|\|\|\| 10\|\|\| eng d
016	7		\|a 1010119540 \|2 DE-101
020			\|a 9783642198106 \|9 978-3-642-19810-6
020			\|a 3642198104 \|9 3-642-19810-4
035			\|a (OCoLC)712593300
035			\|a (DE-599)DNB1010119540
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-83 \|a DE-11
082	0		\|a 005.1 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
245	1	0	\|a Fundamental approaches to software engineering \|b 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings \|c Dimitra Giannakopoulou ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a XIII, 464 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6603 : Advanced research in computing and software science
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 2011 \|z Saarbrücken \|2 gnd-content
689	0	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0		\|5 DE-604
700	1		\|a Giannakopoulou, Dimitra \|e Sonstige \|0 (DE-588)1061067467 \|4 oth
711	2		\|a FASE \|n 14 \|d 2011 \|c Saarbrücken \|j Sonstige \|0 (DE-588)16170276-4 \|4 oth
711	2		\|a ETAPS \|n 14 \|d 2011 \|c Saarbrücken \|j Sonstige \|0 (DE-588)16105839-5 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|t Fundamental approaches to software engineering
830		0	\|a Lecture notes in computer science \|v 6603 \|w (DE-604)BV000000607 \|9 6603
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3672074&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022458680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-022458680

Record in the Search Index

_version_	1820875297387446272
adam_text	IMAGE 1 TABLE OF CONTENTS INVITED TALK THE DEPENDABILITY OF COMPLEX SOCIO-TECHNICAL SYSTEMS 1 ROSS ANDERSON AUTOMATED LEARNING OF PROBABILISTIC ASSUMPTIONS FOR COMPOSITIONAL REASONING 2 LU FENG, MARTA KWIATKOWSKA, AND DAVID PARKER VERIFICATION AN INTERFACE THEORY FOR SERVICE-ORIENTED DESIGN 18 JOSE LUIZ FIADEIRO AND ANTONIA LOPES RT-INCONSISTENCY: A NEW PROPERTY FOR REAL-TIME REQUIREMENTS 34 AMALINDA POST, JOCHEN HOENICKE, AND ANDREAS PODCLSKI AUTOMATIC FLOW ANALYSIS FOR EVENT-B 50 JENS BENDISPOSTO AND MICHAEL LEUSCHEL SEMANTIC QUALITY ATTRIBUTES FOR BIG-STEP MODELLING LANGUAGES 05 SHAHRAM ESMAEILSABZALI AND NANCY A. DAY SPECIFICATION AND MODELLING FORMALIZING AND OPERATIONALIZING INDUSTRIAL STANDARDS 81 DOMINIK DIETRICH, LUTZ SCHROEDER, AND EWARYST SCHULZ MODELLING NON-LINEAR CROWD DYNAMICS IN BIO-PEPA 9G MIEKE MASSINK, DIEGO LATELLA, ANDREA BRACCIALI, AND JANE HILLSTON REACHABILITY AND MODEL CHECKING SMART REDUCTION I LL PEPIJN CROUZEN AND FREDERIC LANG UNIFORM MONTE-CARLO MODEL CHECKING 127 JOHAN OUDINET, ALAIN DENISE, MARIE-CLAUDE GAUDEL, RICHARD LASSAIGNE, AND SYLVAIN PEYRONNET MODEL CHECKING BUECHI PUSHDOWN SYSTEMS 141 JUNCAO LI, FEI XIE, THOMAS BALL, AND VLADIMIR LEVIN BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010119540 DIGITALISIERT DURCH IMAGE 2 XII TABLE OF CONTENTS MODEL DRIVEN ENGINEERING MODELING WITH PLAUSIBILITY CHECKING: INSPECTING FAVORABLE AND CRITICAL SIGNS FOR CONSISTENCY BETWEEN CONTROL FLOW AND FUNCTIONAL BEHAVIOR. 156 CLAUDIA ERMEL, JUERGEN GALL, LEEN LAMBERS, AND GABRIELE TAENTZER MODELS WITHIN MODELS: TAMING MODEL COMPLEXITY USING THE SUB-MODEL LATTICE 171 PIERRE KELSEN, QIN MA, AND CHRISTIAN GLODT TYPE-SAFE EVOLUTION OF SPREADSHEETS 186 JDCOME CUNHA, JOOST VISSER, TIAGO ALVES, AND JOAEO SARAIVA A FORMAL RESOLUTION STRATEGY FOR OPERATION-BASED CONFLICTS IN MODEL VERSIONING USING GRAPH MODIFICATIONS 202 HARTMUT EHRIG, CLAUDIA ERMEL, AND GABRIELE TAENTZER SOFTWARE DEVELOPMENT FOR QOS A STEP-WISE APPROACH FOR INTEGRATING QOS THROUGHOUT SOFTWARE DEVELOPMENT 217 STEPHANIE GATTI, EMILIE BALLAND, AND CHARLES CONSEL SYSTEMATIC DEVELOPMENT OF UMLSEC DESIGN MODELS BASED ON SECURITY REQUIREMENTS 232 DENIS HATEBUR, MARITTA HEISEL, JAN JIIRJENS, AND HOLGER SCHMIDT TESTING: THEORY AND NEW TRENDS THEORETICAL ASPECTS OF COMPOSITIONAL SYMBOLIC EXECUTION 247 DRIES VANOVERBERGHE AND FRANK PIESSENS TESTING CONTAINER CLASSES: RANDOM OR SYSTEMATIC? 262 ROHAN SHARMA, MILOS GLIGORIC, ANDREA ARCURI, GORDON FRAESER, AND DARKO MARINOV SEAMLESS TESTING FOR MODELS AND CODE 278 ANDREAS HOLZER, VISAR JANUZAJ, STEFAN KUGELE, BORIS LANGER, CHRISTIAN SCHALLHART, MICHAEL TAUTSCHNIG, AND HELMUT VEITH TESTING IN PRACTICE RETROFITTING UNIT TESTS FOR PARAMETERIZED UNIT TESTING 294 SURESH THUMMALAPENTA, MADHURI R. MARRI, TAO XIE, NIKOLAI TILLMANN, AND JONATHAN DE HALLEUX IMAGE 3 TABLE OF CONTENTS XIII EVOLVING A TEST ORACLE IN BLACK-BOX TESTING 310 FARN WANG, JUNG-HSUAN WU, CHUNG-HAO HUANG, AND KAI-HSIANG CHANG AUTOMATED DRIVER GENERATION FOR ANALYSIS OF WEB APPLICATIONS 326 OKSANA TKACHUK AND SREERANGA RAJAN ON MODEL-BASED REGRESSION TESTING OF WEB-SERVICES USING DEPENDENCY ANALYSIS OF VISUAL CONTRACTS 341 TAMIM AHMED KHAN AND REIKO HECKEL CODE DEVELOPMENT AND ANALYSIS INCREMENTAL CLONE DETECTION AND ELIMINATION FOR ERLANG PROGRAMS 356 HUIQING LI AND SIMON THOMPSON ANALYZING SOFTWARE UPDATES: SHOULD YOU BUILD A DYNAMIC UPDATING INFRASTRUCTURE? 371 BASHAR GHARAIBEH, HRIDESH RAJAN, AND J. MORRIS CHANG FLOW-AUGMENTED CALL GRAPH: A NEW FOUNDATION FOR TAMING API COMPLEXITY 386 QIRUN ZHANG, WUJIE ZHENG, AND MICHAEL R. LYU SEARCH-BASED DESIGN DEFECTS DETECTION BY EXAMPLE 401 MAROUANE KESSENTINI, HOUARI SAHRAOUI, MOUNIR BOUKADOUM, AND MANUEL WIMMER EMPIRICAL STUDIES AN EMPIRICAL STUDY ON EVOLUTION OF API DOCUMENTATION 416 LIN SHI, HAO ZHONG, TAO XIE, AND MINGSHU LI AN EMPIRICAL STUDY OF LONG-LIVED CODE CLONES 432 DONGXIANG CAI AND MIRYUNG KIM WHERE THE TRUTH LIES: A OP AND ITS IMPACT ON SOFTWARE MODULARITY . . . 447 ADAM PRZYBYLEK AUTHOR INDEX 463
any_adam_object	1
author_GND	(DE-588)1061067467
building	Verbundindex
bvnumber	BV037304078
classification_rvk	SS 4800
classification_tum	DAT 310f
ctrlnum	(OCoLC)712593300 (DE-599)DNB1010119540
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
format	Conference Proceeding Book
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">BV037304078</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141118</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110328s2011 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010119540</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642198106</subfield><subfield code="9">978-3-642-19810-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642198104</subfield><subfield code="9">3-642-19810-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712593300</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010119540</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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">14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings</subfield><subfield code="c">Dimitra Giannakopoulou ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 464 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">6603 : Advanced research in computing and software science</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">2011</subfield><subfield code="z">Saarbrücken</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">Giannakopoulou, Dimitra</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1061067467</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FASE</subfield><subfield code="n">14</subfield><subfield code="d">2011</subfield><subfield code="c">Saarbrücken</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16170276-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">14</subfield><subfield code="d">2011</subfield><subfield code="c">Saarbrücken</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16105839-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Fundamental approaches to software engineering</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6603</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6603</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3672074&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=022458680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022458680</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content
genre_facet	Konferenzschrift 2011 Saarbrücken
id	DE-604.BV037304078
illustrated	Illustrated
indexdate	2025-01-10T15:13:24Z
institution	BVB
institution_GND	(DE-588)16170276-4 (DE-588)16105839-5
isbn	9783642198106 3642198104
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-022458680
oclc_num	712593300
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
owner_facet	DE-706 DE-91G DE-BY-TUM DE-83 DE-11
physical	XIII, 464 S. Ill., graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Fundamental approaches to software engineering 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings Dimitra Giannakopoulou ... (eds.) Berlin [u.a.] Springer 2011 XIII, 464 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6603 : Advanced research in computing and software science Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Giannakopoulou, Dimitra Sonstige (DE-588)1061067467 oth FASE 14 2011 Saarbrücken Sonstige (DE-588)16170276-4 oth ETAPS 14 2011 Saarbrücken Sonstige (DE-588)16105839-5 oth Erscheint auch als Online-Ausgabe Fundamental approaches to software engineering Lecture notes in computer science 6603 (DE-604)BV000000607 6603 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3672074&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022458680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Fundamental approaches to software engineering 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; 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 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings
title_auth	Fundamental approaches to software engineering 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings
title_exact_search	Fundamental approaches to software engineering 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings
title_full	Fundamental approaches to software engineering 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings Dimitra Giannakopoulou ... (eds.)
title_fullStr	Fundamental approaches to software engineering 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings Dimitra Giannakopoulou ... (eds.)
title_full_unstemmed	Fundamental approaches to software engineering 14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings Dimitra Giannakopoulou ... (eds.)
title_short	Fundamental approaches to software engineering
title_sort	fundamental approaches to software engineering 14th international conference fase 2011 held as part of the joint european conference on theory and practice of software etaps 2011 saarbrucken germany march 26 april 3 2011 proceedings
title_sub	14th international conference, FASE 2011, Held as part of the joint european conference on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings
topic	Software Engineering (DE-588)4116521-4 gnd
topic_facet	Software Engineering Konferenzschrift 2011 Saarbrücken
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3672074&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022458680&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT giannakopouloudimitra fundamentalapproachestosoftwareengineering14thinternationalconferencefase2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT fasesaarbrucken fundamentalapproachestosoftwareengineering14thinternationalconferencefase2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT etapssaarbrucken fundamentalapproachestosoftwareengineering14thinternationalconferencefase2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items