Fundamental approaches to software engineering 14th International Conference, FASE 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings /
This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 rev...
| Corporate Authors: | FASE (Conference) Saarbrücken, Germany) |
|---|---|
| Other Authors: | FASE (Conference), Giannakopoulou, Dimitra., Orejas, F., SpringerLink (Online service), ETAPS (Conference) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York :
Springer,
©2011.
Berlin ; Heidelberg ; New York : [2011] |
| Physical Description: |
1 online resource (xiii, 464 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
6603. Lecture notes in computer science. Advanced research in computing and software science. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
| LEADER | 05807cam a2200997 a 4500 | ||
|---|---|---|---|
| 001 | 719362699 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 110502s2011 gw a ob 101 0 eng d | ||
| 019 | |a 715187939 |a 769770344 |a 1066457462 |a 1069656508 |a 1086459009 |a 1112556078 | ||
| 020 | |a 9783642198113 |q (electronic bk.) | ||
| 020 | |a 3642198112 |q (electronic bk.) | ||
| 020 | |z 9783642198106 | ||
| 020 | |z 3642198104 |q (soft cover ; |q alk. paper) | ||
| 024 | 7 | |a 10.1007/978-3-642-19811-3 |2 doi | |
| 035 | |a (OCoLC)719362699 |z (OCoLC)715187939 |z (OCoLC)769770344 |z (OCoLC)1066457462 |z (OCoLC)1069656508 |z (OCoLC)1086459009 |z (OCoLC)1112556078 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCQ |d GZM |d OCLCQ |d C$Q |d OCLCQ |d OCLCA |d E7B |d OCLCA |d OCLCF |d BEDGE |d OCLCQ |d OCLCO |d VT2 |d COO |d YDXCP |d OCL |d OCLCO |d OCLCQ |d EBLCP |d OCLCQ |d ESU |d OCLCQ |d SHS |d IOG |d BUF |d TFW |d U3W |d CNTRU |d OCLCQ |d OL$ |d OCLCQ |d LEAUB |d W2U |d AU@ |d ERF |d OCLCQ |d AJS |d OCLCQ |d OCLCO |d UKAHL |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d OCLCL | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA76.758 |b .F37 2011 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.1 |2 22 |
| 111 | 2 | |a FASE (Conference) |n (14th : |d 2011 : |c Saarbrücken, Germany) | |
| 245 | 1 | 0 | |a Fundamental approaches to software engineering : |b 14th International Conference, FASE 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings / |c Dimitra Giannakopoulou, Fernando Orejas (eds.). |
| 246 | 3 | 0 | |a FASE 2011. |
| 246 | 3 | 0 | |a ETAPS 2011. |
| 260 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer, |c ©2011. | ||
| 264 | 1 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer, |c [2011] | |
| 264 | 4 | |c ©2011. | |
| 300 | |a 1 online resource (xiii, 464 pages) : |b illustrations (some color). | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 6603. |a Advanced research in computing and software science. | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| 504 | |a Includes bibliographical references and author index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies. | ||
| 505 | 2 | |a Invited talk -- Verification -- Specification and modelling -- Reachability and model checking -- Model driven engineering -- Software development for QoS -- Testing: theory and new trends -- Testing in practice -- Code development and analysis -- Empirical studies. | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 7 | |a Informatique. |2 eclas. | |
| 650 | 7 | |a Software engineering. |2 fast. | |
| 655 | 2 | |a Congress. | |
| 655 | 7 | |a proceedings (reports) |2 aat. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 700 | 1 | |a Giannakopoulou, Dimitra. | |
| 700 | 1 | |a Orejas, F. |q (Fernando) |1 https://id.oclc.org/worldcat/entity/E39PBJrcjbbTdmpjT8P4xxb68C. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 711 | 2 | |a ETAPS (Conference) |d (2011 : |c Saarbrücken, Germany) | |
| 776 | 0 | 8 | |i Print version: |t Fundamental approaches to software engineering. |d Berlin : Springer, 2011 |z 9783642198106 |w (DLC) 2011922619 |w (OCoLC)711039046. |
| 830 | 0 | |a Lecture notes in computer science ; |v 6603. |x 0302-9743. | |
| 830 | 0 | |a Lecture notes in computer science. |p Advanced research in computing and software science. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. | |
| 907 | |a .b33085481 |b multi |c - |d 110525 |e 240320 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Comp, in 2022.12 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2019.12 | ||
| 948 | |a MARCIVE Comp, 2018.05 | ||
| 948 | |a MARCIVE Comp, 2017.10 | ||
| 948 | |a MARCIVE August, 2017 | ||
| 948 | |a MARCIVE extract Aug 5, 2017 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a OCLC offline update by CMU | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150277027 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-642-19811-3 |3 SpringerLink |z Click here for access | ||