Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
[2015]
|
| Edition: | 1st ed. |
| Series: | Lecture Notes in Computer Science
9392 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | X, 317 Seiten Illustrationen |
| ISBN: | 9783319246444 9783319246437 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24644-4 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209494 | ||
| 003 | DE-604 | ||
| 005 | 20200514 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319246444 |c Online |9 978-3-319-24644-4 | ||
| 020 | |a 9783319246437 |c Print |9 978-3-319-24643-7 | ||
| 024 | 7 | |a 10.1007/978-3-319-24644-4 |2 doi | |
| 035 | |a (OCoLC)923671423 | ||
| 035 | |a (DE-599)BVBBV043209494 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Fundamentals of Software Engineering |b 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers |c edited by Mehdi Dastani, Marjan Sirjani |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a X, 317 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9392 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dastani, Mehdi |d 1964- |0 (DE-588)129227382 |4 edt | |
| 711 | 2 | |a FSEN |n 6. |d 2015 |c Teheran |j Sonstige |0 (DE-588)1079278834 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9392 |w (DE-604)BV014880109 |9 9392 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24644-4 |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=028632655&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=028632655&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632655 | ||
Record in the Search Index
| _version_ | 1804175708501573632 |
|---|---|
| adam_text | FUNDAMENTALS OF SOFTWARE ENGINEERING
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TOWARDS SMART SYSTEMS OF SYSTEMS
AUTOMATED INTEGRATION OF SERVICE-ORIENTED SOFTWARE SYSTEMS
SOFTWARE ARCHITECTURE MODELING AND EVALUATION BASED ON STOCHASTIC
APPLICATIVE BISIMULATION AND QUANTUM LAMBDA-CALCULI
A THEORY OF INTEGRATING TAMPER EVIDENCE WITH STABILIZATION
A SAFE STOPPING PROTOCOL TO ENABLE RELIABLE RECONFIGURATION FOR
COMPONENT-BASED DISTRIBUTED SYSTEMS
EFFICIENT ARCHITECTURE-LEVEL CONFIGURATION OF LARGE-SCALE EMBEDDED
SOFTWARE SYSTEMS
BENCHMARKS FOR PARITY GAMES
A BEHAVIORAL THEORY FOR A PI-CALCULUS WITH PREORDERS
INCREMENTAL REALIZATION OF SAFETY REQUIREMENTS: NON-DETERMINISM VS.
MODULARITY
ANALYZING MUTABLE CHECKPOINTING
HIGH PERFORMANCE COMPUTING APPLICATIONS USING PARALLEL DATA PROCESSING
UNITS
IMPROVED ITERATIVE METHODS FOR VERIFYING MARKOV DECISION PROCESSES
A PRE-CONGRUENCE FORMAT FOR XY-SIMULATION
TOOLED PROCESS FOR EARLY VALIDATION OF SYSML MODELS USING MODELICA
SIMULATION
CAN HIGH THROUGHPUT ATONE FOR HIGH LATENCY IN COMPILER-GENERATED
PROTOCOL CODE?
PAINLESS SUPPORT FOR STATIC AND RUNTIME VERIFICATION OF COMPONENT-BASED
APPLICATIONS
LINEAR EVOLUTION OF DOMAIN ARCHITECTURE IN SERVICE-ORIENTED SOFTWARE
PRODUCT LINES
AN INTERVAL-BASED APPROACH TO MODELLING TIME IN EVENT-B
FROM EVENT-B MODELS TO DAFNY CODE CONTRACTS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FUNDAMENTALS OF SOFTWARE ENGINEERING
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-CONFERENCE
PROCEEDINGS OF THE 6TH IPM INTERNATIONAL CONFERENCE ON FUNDAMENTALS OF
SOFTWARE ENGINEERING, FSEN 2015, HELD IN TEHRAN, IRAN, IN APRIL 2015.
THE 21 FULL PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND
SELECTED FROM 64 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 |
| author2 | Dastani, Mehdi 1964- |
| author2_role | edt |
| author2_variant | m d md |
| author_GND | (DE-588)129227382 |
| author_facet | Dastani, Mehdi 1964- |
| building | Verbundindex |
| bvnumber | BV043209494 |
| classification_tum | DAT 310f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)923671423 (DE-599)BVBBV043209494 |
| 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-319-24644-4 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03000nmm a2200673zcb4500</leader><controlfield tag="001">BV043209494</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200514 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319246444</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24644-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319246437</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24643-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24644-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923671423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209494</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</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">6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers</subfield><subfield code="c">edited by Mehdi Dastani, Marjan Sirjani</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 317 Seiten</subfield><subfield code="b">Illustrationen</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">9392</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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="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">Dastani, Mehdi</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)129227382</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FSEN</subfield><subfield code="n">6.</subfield><subfield code="d">2015</subfield><subfield code="c">Teheran</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1079278834</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">9392</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9392</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24644-4</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=028632655&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=028632655&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><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632655</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209494 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1079278834 |
| isbn | 9783319246444 9783319246437 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632655 |
| oclc_num | 923671423 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | X, 317 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers edited by Mehdi Dastani, Marjan Sirjani 1st ed. Cham Springer International Publishing [2015] © 2015 X, 317 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9392 0302-9743 Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Programming Languages, Compilers, Interpreters Programming Techniques Informatik Künstliche Intelligenz Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Dastani, Mehdi 1964- (DE-588)129227382 edt FSEN 6. 2015 Teheran Sonstige (DE-588)1079278834 oth Lecture Notes in Computer Science 9392 (DE-604)BV014880109 9392 https://doi.org/10.1007/978-3-319-24644-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632655&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=028632655&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers Lecture Notes in Computer Science Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Programming Languages, Compilers, Interpreters Programming Techniques Informatik Künstliche Intelligenz Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers |
| title_auth | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers |
| title_exact_search | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers |
| title_full | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers edited by Mehdi Dastani, Marjan Sirjani |
| title_fullStr | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers edited by Mehdi Dastani, Marjan Sirjani |
| title_full_unstemmed | Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers edited by Mehdi Dastani, Marjan Sirjani |
| title_short | Fundamentals of Software Engineering |
| title_sort | fundamentals of software engineering 6th international conference fsen 2015 tehran iran april 22 24 2015 revised selected papers |
| title_sub | 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers |
| topic | Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Programming Languages, Compilers, Interpreters Programming Techniques Informatik Künstliche Intelligenz Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Artificial intelligence Computer Science Software Engineering Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Programming Languages, Compilers, Interpreters Programming Techniques Informatik Künstliche Intelligenz Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-24644-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632655&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=028632655&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT dastanimehdi fundamentalsofsoftwareengineering6thinternationalconferencefsen2015tehraniranapril22242015revisedselectedpapers AT fsenteheran fundamentalsofsoftwareengineering6thinternationalconferencefsen2015tehraniranapril22242015revisedselectedpapers |