컨텐츠로 이동
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 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

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; Dániel Varró
출판사: Berlin ; New York : Springer, ©2013.
시리즈: Lecture notes in computer science, 7793.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
판/형식:   전자도서 : 문서 : 컨퍼런스 간행물 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
요약:
This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections  더 읽기…
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

장르/형태: Electronic books
Conference papers and proceedings
Congresses
추가적인 물리적 형식: Printed edition:
자료 유형: 컨퍼런스 간행물, 문서, 인터넷 자료
문서 형식: 인터넷 자원, 컴퓨터 파일
모든 저자 / 참여자: Vittorio Cortellessa; Dániel Varró
ISBN: 9783642370571 3642370578 364237056X 9783642370564
OCLC 번호: 829105147
메모: International conference proceedings.
Includes author index.
설명: 1 online resource.
내용: Invited Paper --
Variability in Software: State of the Art and Future Directions / Krzysztof Czarnecki --
Model-Driven Engineering: Concepts --
Towards a Distributed Modeling Process Based on Composite Models / Daniel Strüber, Gabriele Taentzer, Stefan Jurack, Tim Schäfer --
Change Propagation due to Uncertainty Change / Rick Salay, Jan Gorzny, Marsha Chechik --
A Model-Based Synthesis Process for Choreography Realizability Enforcement / Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli --
On Extracting Feature Models from Sets of Valid Feature Combinations / Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed --
Verification and Validation 1 --
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets / Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner --
Quality of Merge-Refactorings for Product Lines / Julia Rubin, Marsha Chechik --
Software Comprehension --
Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs / Arbi Bouchoucha, Houari Sahraoui, Pierre L'Ecuyer. Discovering Branching Conditions from Business Process Execution Logs / Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos --
Exposing Behavioral Differences in Cross-Language API Mapping Relations / Hao Zhong, Suresh Thummalapenta, Tao Xie --
Verification and Validation 2 --
Explicit-State Software Model Checking Based on CEGAR and Interpolation / Dirk Beyer, Stefan Löwe --
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks / John Lasseter, John Cipriano --
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification / Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons --
Scenario Realizability with Constraint Optimization / Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard --
Analysis Tools --
Andromeda: Accurate and Scalable Security Analysis of Web Applications / Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri --
VerChor: A Framework for Verifying Choreographies / Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. Javanni: A Verifier for JavaScript / Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia --
Model-Driven Engineering: Applications --
Model-Based Implementation of Parallel Real-Time Systems / Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis --
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications / Wei Yang, Mukul R. Prasad, Tao Xie --
A Mechanized Model for CAN Protocols / Francesco Bongiovanni, Ludovic Henrio --Model Transformations --
Enforcing QVT-R with mu-Calculus and Games / Julian Bradfield, Perdita Stevens --
Implementing QVT-R Bidirectional Model Transformations Using Alloy / Nuno Macedo, Alcino Cunha --
Abstraction and Training of Stochastic Graph Transformation Systems / Mayur Bapodra, Reiko Heckel --
Testing --
Discovering Math APIs by Mining Unit Tests / Anirudh Santhiar, Omesh Pandita, Aditya Kanade --
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications / Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa --
Testing with Inputs and Outputs in CSP / Ana Cavalcanti, Robert M. Hierons.
일련 제목: Lecture notes in computer science, 7793.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
다른 제목 FASE 2013
ETAPS 2013
책임: Vittorio Cortellessa, Dániel Varró (eds.).
더 많은 정보:

초록:

This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/829105147> # 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
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "829105147" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1211787615#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/computer_appl_in_administrative_data_processing> ; # Computer Appl. in Administrative Data Processing.
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/logic_design> ; # Logic design.
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/information_systems> ; # Information systems.
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Topic/software_engineering> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:alternateName "FASE 2013" ;
    schema:alternateName "ETAPS 2013" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/73384328> ; # Dániel Varró
    schema:contributor <http://viaf.org/viaf/81321353> ; # Vittorio Cortellessa
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1211787615#Meeting/etaps_conference_16th_2013_rome_italy> ; # ETAPS (Conference) (16th : 2013 : Rome, Italy)
    schema:copyrightYear "2013" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1211787615#Meeting/fase_2013_2013_rome_italy> ; # FASE 2013 (2013 : Rome, Italy)
    schema:datePublished "2013" ;
    schema:description "This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1211787615> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1211787615#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1211787615#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1211787615#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1211787615#Series/advanced_research_in_computing_and_software_science> ; # Advanced research in computing and software science
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1211787615#CreativeWork/> ;
    schema:name "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"@en ;
    schema:productID "829105147" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/829105147#PublicationEvent/berlin_new_york_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1211787615#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3093080> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-37057-1> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-37057-1> ;
    schema:workExample <http://worldcat.org/isbn/9783642370571> ;
    schema:workExample <http://worldcat.org/isbn/9783642370564> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/829105147> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Meeting/etaps_conference_16th_2013_rome_italy> # ETAPS (Conference) (16th : 2013 : Rome, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1211787615#Place/rome_italy> ; # Rome, Italy)
    schema:name "ETAPS (Conference) (16th : 2013 : Rome, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Series/advanced_research_in_computing_and_software_science> # Advanced research in computing and software science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/829105147> ; # 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
    schema:name "Advanced research in computing and software science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/829105147> ; # 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
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/829105147> ; # 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
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/829105147> ; # 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
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Thing/computer_appl_in_administrative_data_processing> # Computer Appl. in Administrative Data Processing.
    a schema:Thing ;
    schema:name "Computer Appl. in Administrative Data Processing." ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Thing/information_systems> # Information systems.
    a schema:Thing ;
    schema:name "Information systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://viaf.org/viaf/73384328> # Dániel Varró
    a schema:Person ;
    schema:familyName "Varró" ;
    schema:givenName "Dániel" ;
    schema:name "Dániel Varró" ;
    .

<http://viaf.org/viaf/81321353> # Vittorio Cortellessa
    a schema:Person ;
    schema:familyName "Cortellessa" ;
    schema:givenName "Vittorio" ;
    schema:name "Vittorio Cortellessa" ;
    .

<http://worldcat.org/entity/work/data/1211787615#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/829105147> ; # 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
    .

<http://worldcat.org/isbn/9783642370564>
    a schema:ProductModel ;
    schema:isbn "364237056X" ;
    schema:isbn "9783642370564" ;
    .

<http://worldcat.org/isbn/9783642370571>
    a schema:ProductModel ;
    schema:isbn "3642370578" ;
    schema:isbn "9783642370571" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/829105147> ; # 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
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/829105147>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/829105147> ; # 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
    schema:dateModified "2016-01-16" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.