Eintrag weiter verarbeiten
Online-Ressource

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Arbab, Farhad (VerfasserIn), Sirjani, Marjan (HerausgeberIn)
Titel: Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers/ edited by Farhad Arbab, Marjan Sirjani
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 8161
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Konferenzschrift > 2013 > Teheran
Konferenzschrift
Druckausg.: Fundamentals of software engineering, Heidelberg [u.a.] : Springer, 2013, XVIII, 282 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06193cam a22011052 4500
001 0-1652996990
003 DE-627
005 20240122104902.0
007 cr uuu---uuuuu
008 130911s2013 gw |||||o 00| ||eng c
020 |a 9783642402135  |9 978-3-642-40213-5 
024 7 |a 10.1007/978-3-642-40213-5  |2 doi 
035 |a (DE-627)1652996990 
035 |a (DE-576)393383857 
035 |a (DE-599)BSZ393383857 
035 |a (OCoLC)857386231 
035 |a (ZBM)1320.68009 
035 |a (ZBM)1320.68009 
035 |a (DE-He213)978-3-642-40213-5 
035 |a (EBP)040550400 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.9.L63  |a QA76.5913  |a QA76.63 
050 0 |a QA76.9.L63 
050 0 |a QA76.5913 
050 0 |a QA76.63 
072 7 |a UM  |2 bicssc 
072 7 |a UYF  |2 bicssc 
072 7 |a COM036000  |2 bisacsh 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UYA  |2 bicssc 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68Nxx  |2 msc 
084 |a 68Qxx  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.52  |2 bkl 
100 1 |a Arbab, Farhad  |4 aut 
245 1 0 |a Fundamentals of Software Engineering  |b 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers  |c edited by Farhad Arbab, Marjan Sirjani 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XIX, 283 p. 85 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 8161 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a Unbounded Allocation in Bounded HeapsOn 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. 
520 |a 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 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
655 7 |a Konferenzschrift  |y 2013  |z Teheran  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4116521-4  |0 (DE-627)104616377  |0 (DE-576)20950224X  |a Software Engineering  |2 gnd 
689 0 |5 DE-101 
700 1 |a Sirjani, Marjan  |e Hrsg.  |4 edt 
776 1 |z 9783642402128 
776 0 8 |i Druckausg.  |t Fundamentals of software engineering  |d Heidelberg [u.a.] : Springer, 2013  |h XVIII, 282 S.  |w (DE-627)766092011  |w (DE-576)401084965  |z 3642402127  |z 9783642402128 
830 0 |a Lecture notes in computer science  |v 8161  |9 8161  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-40213-5  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40213-5  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz393383857cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150316113403  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1320.68009  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)766674126 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.52  |j Software engineering  |q SEPA  |0 (DE-627)106418882 
951 |a BO 
950 |a Software-Engineering 
950 |a Softwaretechnologie 
950 |a Softwaretechnik 
950 |a Softwareentwicklung 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40213-5  |9 DE-14 
852 |a DE-14  |x epn:336201092X  |z 2013-09-11T10:24:17Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40213-5  |9 DE-15 
852 |a DE-15  |x epn:3362010954  |z 2013-09-11T10:24:17Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40213-5  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3362010997  |z 2013-09-11T10:24:17Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40213-5  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3362011020  |z 2013-09-11T10:24:17Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40213-5  |9 DE-520 
852 |a DE-520  |x epn:3362011055  |z 2013-09-11T10:24:17Z 
980 |a 1652996990  |b 0  |k 1652996990  |o 393383857 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Fundamentals+of+Software+Engineering%3A+5th+International+Conference%2C+FSEN+2013%2C+Tehran%2C+Iran%2C+April+24-26%2C+2013%2C+Revised+Selected+Papers&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Fundamentals+of+Software+Engineering%3A+5th+International+Conference%2C+FSEN+2013%2C+Tehran%2C+Iran%2C+April+24-26%2C+2013%2C+Revised+Selected+Papers&rft.series=Lecture+notes+in+computer+science%2C+8161&rft.au=Arbab%2C+Farhad&rft.pub=Springer&rft.edition=&rft.isbn=3642402135
SOLR
_version_ 1792258625489600512
access_facet Electronic Resources
author Arbab, Farhad
author2 Sirjani, Marjan
author2_role edt
author2_variant m s ms
author_facet Arbab, Farhad, Sirjani, Marjan
author_role aut
author_sort Arbab, Farhad
author_variant f a fa
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-search QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-sort QA 276.9 L63 Q A76 45913 Q A76 263
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents Unbounded Allocation in Bounded HeapsOn 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., 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
ctrlnum (DE-627)1652996990, (DE-576)393383857, (DE-599)BSZ393383857, (OCoLC)857386231, (ZBM)1320.68009, (DE-He213)978-3-642-40213-5, (EBP)040550400
de15_date 2013-09-11T10:24:17Z
dech1_date 2013-09-11T10:24:17Z
doi_str_mv 10.1007/978-3-642-40213-5
era_facet 2013
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Software Engineering
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2013 Teheran (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Teheran
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 8161
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1652996990
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1652996990
is_hierarchy_title Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
isbn 9783642402135
isbn_isn_mv 9783642402128, 3642402127
issn_isn_mv 1611-3349
kxp_id_str 1652996990
language English
last_indexed 2024-02-29T18:23:39.152Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Software Engineering
marc024a_ct_mv 10.1007/978-3-642-40213-5
match_str arbab2013fundamentalsofsoftwareengineering5thinternationalconferencefsen2013tehraniranapril24262013revisedselectedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)8161
oclc_num 857386231
physical Online-Ressource (XIX, 283 p. 85 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 393383857
recordtype marcfinc
rsn_id_str_mv (DE-15)3249744
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 8161
series2 Lecture Notes in Computer Science ; 8161, SpringerLink ; Bücher
source_id 0
spelling Arbab, Farhad aut, Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers edited by Farhad Arbab, Marjan Sirjani, Berlin, Heidelberg Springer 2013, Online-Ressource (XIX, 283 p. 85 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 8161, SpringerLink Bücher, Literaturangaben, Unbounded Allocation in Bounded HeapsOn 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., 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, Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift 2013 Teheran (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4116521-4 (DE-627)104616377 (DE-576)20950224X Software Engineering gnd, DE-101, Sirjani, Marjan Hrsg. edt, 9783642402128, Druckausg. Fundamentals of software engineering Heidelberg [u.a.] : Springer, 2013 XVIII, 282 S. (DE-627)766092011 (DE-576)401084965 3642402127 9783642402128, Lecture notes in computer science 8161 8161 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-40213-5 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-40213-5 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz393383857cov.jpg V:DE-576 X:springer image/jpeg 20150316113403 Cover, https://zbmath.org/?q=an:1320.68009 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, (DE-627)766674126, http://dx.doi.org/10.1007/978-3-642-40213-5 DE-14, DE-14 epn:336201092X 2013-09-11T10:24:17Z, http://dx.doi.org/10.1007/978-3-642-40213-5 DE-15, DE-15 epn:3362010954 2013-09-11T10:24:17Z, http://dx.doi.org/10.1007/978-3-642-40213-5 DE-Ch1, DE-Ch1 epn:3362010997 2013-09-11T10:24:17Z, http://dx.doi.org/10.1007/978-3-642-40213-5 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3362011020 2013-09-11T10:24:17Z, http://dx.doi.org/10.1007/978-3-642-40213-5 DE-520, DE-520 epn:3362011055 2013-09-11T10:24:17Z
spellingShingle Arbab, Farhad, Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, Lecture notes in computer science, 8161, Unbounded Allocation in Bounded HeapsOn 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., 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, Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift 2013 Teheran, Konferenzschrift, Software Engineering
swb_id_str 393383857
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_full Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers edited by Farhad Arbab, Marjan Sirjani
title_fullStr Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers edited by Farhad Arbab, Marjan Sirjani
title_full_unstemmed Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers edited by Farhad Arbab, Marjan Sirjani
title_in_hierarchy 8161. Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers (2013)
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
title_unstemmed Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
topic Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift 2013 Teheran, Konferenzschrift, Software Engineering
topic_facet Logic design, Computer Science, Computer science, Software engineering, Konferenzschrift, Software Engineering
url https://doi.org/10.1007/978-3-642-40213-5, http://dx.doi.org/10.1007/978-3-642-40213-5, https://swbplus.bsz-bw.de/bsz393383857cov.jpg, https://zbmath.org/?q=an:1320.68009