Holdings: Fundamental approaches to software engineering

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:

Bibliographic Details
Format:	Book
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7793
Subjects:	Software Engineering Konferenzschrift > 2013 > Rom
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XIX, 376 S. Ill., graph. Darst.
ISBN:	364237056X 9783642370564

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV040907351
003	DE-604
005	20140227
007	t\|
008	130322s2013 gw ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13N08 \|2 dnb
016	7		\|a 1031344667 \|2 DE-101
020			\|a 364237056X \|c Print \|9 3-642-37056-X
020			\|a 9783642370564 \|c Print \|9 978-3-642-37056-4
035			\|a (OCoLC)839974692
035			\|a (DE-599)DNB1031344667
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 005.1 \|2 22/ger
084			\|a DAT 310f \|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 XIX, 376 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 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
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-37057-1
830		0	\|a Lecture notes in computer science \|v 7793 \|w (DE-604)BV000000607 \|9 7793
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4255326&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=025886747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025886747

Record in the Search Index

_version_	1820875447905288192
adam_text	IMAGE 1 TABLE OF CONTENTS INVITED P A P E R VARIABILITY IN SOFTWARE: STATE OF THE A R T AND FUTURE DIRECTIONS 1 K R Z Y S Z T O F CZARNECKI M O D E L - D R I V E N ENGINEERING: C O N C E P T S I TOWARDS A DISTRIBUTED MODELING PROCESS BASED ON COMPOSITE MODELS 6 DANIEL STRIIBER, GABRIELE TAENTZER, STEFAN JURACK, A N D T I M SCHAFER CHANGE PROPAGATION DUE TO UNCERTAINTY CHANGE 21 RICK SALAY, J A N GORZNY. AND MARSHA CHECHIK A MODEL-BASED SYNTHESIS PROCESS FOR CHOREOGRAPHY REALIZABILITY ENFORCEMENT 37 MARCO AUTILI, DAVIDE D I RUSCIO, A M L E T O D I SALLE, PAOLA INVERARDI, A N D MASSIMO TIVOLI O N EXTRACTING FEATURE MODELS FROM SETS OF VALID FEATURE COMBINATIONS 53 EVELYN NICOLE HASLINGER. ROBERTO ERICK LOPEZ-HERREJON, AND ALEXANDER EGYED V E R I F I C A T I O N A N D V A L I D A T I O N 1 ON THE EMPIRICAL EVALUATION OF FAULT LOCALIZATION TECHNIQUES FOR SPREADSHEETS 68 BIRGIT HOFER, A N D R E RIBOIRA, FRANZ WOTAWA, R U I ABREU, AND ELISABETH GETZNER QUALITY OF MERGE-REFACTORINGS FOR PRODUCT LINES 83 JULIA R U B I N AND MARSHA CHECHIK S O F T W A R E C O M P R E H E N S I O N TOWARDS UNDERSTANDING THE BEHAVIOR OF CLASSES USING PROBABILISTIC MODELS OF PROGRAM INPUTS 99 ARBI BOUCHOUCHA, HOUARI SAHRAOUI, AND PIERRE L ' E C U Y E R HTTP://D-NB.INFO/1031344667 IMAGE 2 XVIII TABLE OF CONTENTS DISCOVERING BRANCHING CONDITIONS FROM BUSINESS PROCESS EXECUTION LOGS 114 MASSIMILIA.NO DE LEONI, MARLON DUMAS, AND LUCIANO GARCIA-BANUELOS EXPOSING BEHAVIORAL DIFFERENCES IN CROSS-LANGUAGE A P I MAPPING RELATIONS 130 HAO ZHONG, SURESH THUMMALAPENTA, AND TAO X I E V E R I F I C A T I O N A N D V A L I D A T I O N 2 EXPLICIT-STATE SOFTWARE MODEL CHECKING BASED O N C E G A R A N D INTERPOLATION 146 DIRK B E Y E R AND STEFAN LOWE DESIGN PATTERN-BASED EXTENSION OF CLASS HIERARCHIES TO SUPPORT RUNTIME INVARIANT CHECKS 163 JOHN LASSETER AND JOHN CIPRIANO AUGMENTING SEQUENCE ENUMERATION WITH STRING-REWRITING FOR REQUIREMENTS ANALYSIS AND BEHAVIORAL SPECIFICATION 179 LAN LIN, JESSE H. POORE, ROBERT ESCHBACH, ROBERT M. HIERONS, AND CHRISTOPHER ROBINS ON-MALLETT SCENARIO REALIZABILITY WITH CONSTRAINT OPTIMIZATION 194 ROUWAIDA ABDALLAH, A R N A U D GOTLIEB, LOI'C HELOUET, AND CLAUDE JARD A N A L Y S I S T O O L S ANDROMEDA: ACCURATE AND SCALABLE SECURITY ANALYSIS OF WEB APPLICATIONS O M E R TRIPP, MARCO PISTOIA, PATRICK COUSOT, RADHIA COUSOT, AND SALVATORE GUARNIERI VERCHOR: A FRAMEWORK FOR VERIFYING CHOREOGRAPHIES MATTHIAS GIIDEMANN, PASCAL POIZAT, GWEN SALAIIN, AND ALEXANDRE D U M O N T JAVANNI: A VERIFIER FOR JAVASCRIPT MARTIN NORDIO, CRISTIANO CALCAGNO, A N D CARLO ALBERTO FURIA M O D E L - D R I V E N ENGINEERING: A P P L I C A T I O N S MODEL-BASED IMPLEMENTATION OF PARALLEL REAL-TIME SYSTEMS 235 A H L E M TRIKI, JACQUES CORNBAZ, SADDEK BENSALEM, A N D JOSEPH SIFAKIS 210 226 231 IMAGE 3 TABLE OF CONTENTS X I X A G R E Y - B O X APPROACH FOR AUTOMATED GUI-MODEL GENERATION OF MOBILE APPLICATIONS 250 WEI YANG, MUKUL R . PRASAD, A N D TAO X I E A MECHANIZED MODEL FOR CAN PROTOCOLS 266 FRANCESCO BONGIOVANNI A N D LUDOVIC HENRIO M O D E L T R A N S F O R M A T I O N S ENFORCING QVT-R WITH MU-CALCULUS AND GAMES 282 JULIAN BRADFIELD A N D PERDITA STEVENS IMPLEMENTING QVT-R BIDIRECTIONAL MODEL TRANSFORMATIONS USING ALLOY 297 N U N O MACEDO AND ALCINO CUNHA ABSTRACTION AND TRAINING OF STOCHASTIC GRAPH TRANSFORMATION SYSTEMS 312 M A Y U R BAPODRA A N D REIKO HECKEL T E S T I N G DISCOVERING MATH APIS BY MINING UNIT TESTS 327 ANIRUDH SANTHIAR, OMESH PANDITA, AND ADITYA K A N A D E POGEN: A TEST CODE GENERATOR BASED ON TEMPLATE VARIABLE COVERAGE IN GRAY-BOX INTEGRATION TESTING FOR WEB APPLICATIONS 343 KAZUNORI SAKAMOTO, K A I Z U TOMOHIRO, DAIGO H A M U R A , HIRONORI WASHIZAKI, AND YOSHIAKI FUKAZAWA TESTING WITH INPUTS AND OUTPUTS IN CSP 359 A N A CAVALCANTI A N D ROBERT M. HIERONS A U T H O R I N D E X 375
any_adam_object	1
author_GND	(DE-588)137081502
building	Verbundindex
bvnumber	BV040907351
classification_rvk	SS 4800
classification_tum	DAT 310f
ctrlnum	(OCoLC)839974692 (DE-599)DNB1031344667
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	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">BV040907351</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140227</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130322s2013 gw ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13N08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1031344667</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">364237056X</subfield><subfield code="c">Print</subfield><subfield code="9">3-642-37056-X</subfield></datafield><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="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839974692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1031344667</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</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="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">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">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">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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-37057-1</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)BV000000607</subfield><subfield code="9">7793</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4255326&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=025886747&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-025886747</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Rom gnd-content
genre_facet	Konferenzschrift 2013 Rom
id	DE-604.BV040907351
illustrated	Illustrated
indexdate	2025-01-10T15:15:47Z
institution	BVB
isbn	364237056X 9783642370564
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025886747
oclc_num	839974692
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XIX, 376 S. Ill., graph. Darst.
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 XIX, 376 S. Ill., graph. Darst. txt rdacontent n rdamedia nc 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 Erscheint auch als Online-Ausgabe 978-3-642-37057-1 Lecture notes in computer science 7793 (DE-604)BV000000607 7793 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4255326&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=025886747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
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	http://deposit.dnb.de/cgi-bin/dokserv?id=4255326&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=025886747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT cortellessavittorio fundamentalapproachestosoftwareengineering16thinternationalconferencefase2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings AT europeanjointconferencesontheoryandpracticeofsoftware16 fundamentalapproachestosoftwareengineering16thinternationalconferencefase2013heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2013romeitalymarch16242013proceedings

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