Fundamentals of software engineering: 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8161 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XVIII, 282 S.) graph. Darst. |
| ISBN: | 9783642402128 9783642402135 |
| DOI: | 10.1007/978-3-642-40213-5 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041435182 | ||
| 003 | DE-604 | ||
| 005 | 20140220 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131121s2013 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783642402128 |9 978-3-642-40212-8 | ||
| 020 | |a 9783642402135 |c Online |9 978-3-642-40213-5 | ||
| 024 | 7 | |a 10.1007/978-3-642-40213-5 |2 doi | |
| 035 | |a (OCoLC)857386231 | ||
| 035 | |a (DE-599)BVBBV041435182 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 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.1015113 | |
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Fundamentals of software engineering |b 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers |c Farhad Arbab ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XVIII, 282 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 8161 | |
| 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 Teheran |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Arbab, Farhad |d 1952- |e Sonstige |0 (DE-588)1022573888 |4 oth | |
| 711 | 2 | |a FSEN |n 5. |d 2013 |c Teheran |j Sonstige |0 (DE-588)1044415479 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8161 |w (DE-604)BV014880109 |9 8161 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40213-5 |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=026882063&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=026882063&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-026882063 | |
Datensatz im Suchindex
| _version_ | 1820875535028322304 |
|---|---|
| adam_text |
FUNDAMENTALS OF SOFTWARE ENGINEERING
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
UNBOUNDED ALLOCATION IN BOUNDED HEAPS
ON THE COMPLEXITY OF ADDING CONVERGENCE
DEADLOCK CHECKING BY DATA RACE DETECTION
DELTA MODELING AND MODEL CHECKING OF PRODUCT FAMILIES
LENDING PETRI NETS AND CONTRACTS
ON EFFICIENCY PREORDERS
COMPILING COOPERATIVE TASK MANAGEMENT TO CONTINUATIONS
EXTENDING UPPAAL FOR THE MODELING AND VERIFICATION OF DYNAMIC REAL-TIME
SYSTEMS
EFFICIENT OPERATIONAL SEMANTICS FOR EB3 FOR VERIFICATION OF TEMPORAL
PROPERTIES
INTERVAL SOUNDNESS OF RESOURCE-CONSTRAINED WORKFLOW NETS: DECIDABILITY
AND REPAIR
STATISTICAL MODEL CHECKING OF A CLOCK SYNCHRONIZATION PROTOCOL FOR
SENSOR NETWORKS
A NEW REPRESENTATION OF TWO-DIMENSIONAL PATTERNS AND APPLICATIONS TO
INTERACTIVE PROGRAMMING
PUSH-DOWN AUTOMATA WITH GAP-ORDER CONSTRAINTS
MODEL CHECKING MANETS WITH ARBITRARY MOBILITY
VALIDATING SCTP SIMULTANEOUS OPEN PROCEDURE
IMPROVING TIME BOUNDED REACHABILITY COMPUTATIONS IN INTERACTIVE MARKOV
CHAINS
CHECKING COMPATIBILITY OF WEB SERVICES BEHAVIORALLY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FUNDAMENTALS OF SOFTWARE ENGINEERING
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 5TH IPM INTERNATIONAL
CONFERENCE ON FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, HELD IN
TEHRAN, IRAN, IN APRIL 2013. THE 17 FULL PAPERS PRESENTED IN THIS VOLUME
WERE CAREFULLY REVIEWED AND SELECTED FROM 65 SUBMISSIONS. THE TOPICS OF
INTEREST IN FSEN SPAN OVER ALL ASPECTS OF FORMAL METHODS, ESPECIALLY
THOSE RELATED TO ADVANCING THE APPLICATION OF FORMAL METHODS IN SOFTWARE
INDUSTRY AND PROMOTING THEIR INTEGRATION WITH PRACTICAL ENGINEERING
TECHNIQUES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1022573888 |
| building | Verbundindex |
| bvnumber | BV041435182 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)857386231 (DE-599)BVBBV041435182 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-40213-5 |
| 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">BV041435182</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140220</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131121s2013 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642402128</subfield><subfield code="9">978-3-642-40212-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642402135</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-40213-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40213-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)857386231</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041435182</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-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.1015113</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">Fundamentals of software engineering</subfield><subfield code="b">5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers</subfield><subfield code="c">Farhad Arbab ... (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 (XVIII, 282 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">8161</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">Teheran</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">Arbab, Farhad</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1022573888</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FSEN</subfield><subfield code="n">5.</subfield><subfield code="d">2013</subfield><subfield code="c">Teheran</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044415479</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">8161</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8161</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40213-5</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=026882063&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=026882063&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-026882063</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Teheran gnd-content |
| genre_facet | Konferenzschrift 2013 Teheran |
| id | DE-604.BV041435182 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:10Z |
| institution | BVB |
| institution_GND | (DE-588)1044415479 |
| isbn | 9783642402128 9783642402135 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026882063 |
| oclc_num | 857386231 |
| 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 (XVIII, 282 S.) 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 | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers Farhad Arbab ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XVIII, 282 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8161 Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Teheran gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Arbab, Farhad 1952- Sonstige (DE-588)1022573888 oth FSEN 5. 2013 Teheran Sonstige (DE-588)1044415479 oth Lecture notes in computer science 8161 (DE-604)BV014880109 8161 https://doi.org/10.1007/978-3-642-40213-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026882063&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=026882063&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers Lecture notes in computer science Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers |
| title_auth | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers |
| title_exact_search | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers |
| title_full | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers Farhad Arbab ... (eds.) |
| title_fullStr | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers Farhad Arbab ... (eds.) |
| title_full_unstemmed | Fundamentals of software engineering 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers Farhad Arbab ... (eds.) |
| title_short | Fundamentals of software engineering |
| title_sort | fundamentals of software engineering 5th international conference fsen 2013 tehran iran april 24 26 2013 revised selected papers |
| title_sub | 5th International conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 ; revised selected papers |
| topic | Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Software Engineering Konferenzschrift 2013 Teheran |
| url | https://doi.org/10.1007/978-3-642-40213-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026882063&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=026882063&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT arbabfarhad fundamentalsofsoftwareengineering5thinternationalconferencefsen2013tehraniranapril24262013revisedselectedpapers AT fsenteheran fundamentalsofsoftwareengineering5thinternationalconferencefsen2013tehraniranapril24262013revisedselectedpapers |