컨텐츠로 이동
Fundamental approaches to software engineering : 16th International Conference : proceedings 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Fundamental approaches to software engineering : 16th International Conference : proceedings

저자: Vittorio Cortellessa; et al
출판사: Berlin : Springer, 2013.
시리즈: Lecture notes in computer science, 7793 : Advanced research in computing and software science
판/형식:   Print book : 영어
출판:Fundamental Approaches to Software Engineering.
데이터베이스:WorldCat
평가:

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

주제
다음과 같습니다:

 

온라인으로 문서 찾기

이 항목에 대한 링크

도서관에서 사본 찾기

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

상세정보

장르/형태: Kongress
Conference papers and proceedings
Congresses
자료 유형: 인터넷 자료
문서 형식: 책, 인터넷 자원
모든 저자 / 참여자: Vittorio Cortellessa; et al
ISBN: 9783642370564 364237056X 9783642370571 3642370578
OCLC 번호: 842314806
안에: Cortellessa, Vittorio
설명: 376 S : Ill.
내용: Towards a Distributed Modeling Process Based on Composite Models.- Change Propagation due to Uncertainty Change.- A Model-Based Synthesis Process for Choreography Realizability Enforcement.- On Extracting Feature Models from Sets of Valid Feature Combinations.- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets.- Quality of Merge-Refactorings for Product Lines.- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs.- Discovering Branching Conditions from Business Process Execution Logs.- Exposing Behavioral Differences in Cross-Language API Mapping Relations.- Explicit-State Software Model Checking Based on CEGAR and Interpolation.- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks.- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.- Scenario Realizability with Constraint Optimization.- Andromeda: Accurate and Scalable Security Analysis of Web Applications.- VerChor: A Framework for Verifying Choreographies.- Javanni: A Verifier for JavaScript.- Model-Based Implementation of Parallel Real-Time Systems.- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications.- A Mechanized Model for CAN Protocols.- Enforcing QVT-R with mu-Calculus and Games.- Implementing QVT-R Bidirectional Model Transformations Using Alloy.- Abstraction and Training of Stochastic Graph Transformation Systems.- Discovering Math APIs by Mining Unit Tests.- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications.- Testing with Inputs and Outputs in CSP.
일련 제목: Lecture notes in computer science, 7793 : Advanced research in computing and software science
책임: FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa ... [et al.] (eds.).
더 많은 정보:

리뷰

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

태그

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

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

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/842314806> # Fundamental approaches to software engineering : 16th International Conference : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "842314806" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1303226084#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/analyse_de_systemes_+_conception_de_systemes_systemes_informatiques> ; # ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES)
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theorie_de_la_programmation> ; # THÉORIE DE LA PROGRAMMATION
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/systems_analysis_+_systems_development_+_systems_design_computer_systems> ; # SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theoretical_computer_science> ; # THEORETICAL COMPUTER SCIENCE
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/software_engineering> ; # SOFTWARE ENGINEERING
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/genie_logiciel> ; # GÉNIE LOGICIEL
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/programmes_et_algorithmes_pour_la_resolution_de_problemes_specifiques> ; # PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theorie_der_programmierung> ; # THEORIE DER PROGRAMMIERUNG
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/programme_und_algorithmen_zur_losung_spezieller_probleme> ; # PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theoretische_informatik> ; # THEORETISCHE INFORMATIK
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/systemanalyse_+_systementwicklung_+_systementwurf_computersysteme> ; # SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/informatique_theorique> ; # INFORMATIQUE THÉORIQUE
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theory_of_programming> ; # THEORY OF PROGRAMMING
    schema:about <http://experiment.worldcat.org/entity/work/data/1303226084#Thing/programs_and_algorithms_for_the_solution_of_special_problems> ; # PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1303226084#Meeting/conference_on_fundamental_approaches_to_software_engineering> ; # Conference on Fundamental Approaches to Software Engineering.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1303226084#Meeting/european_joint_conferences_on_theory_and_practice_of_software> ; # European Joint Conferences on Theory and Practice of Software.
    schema:contributor <http://viaf.org/viaf/81321353> ; # Vittorio Cortellessa
    schema:datePublished "2013" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1303226084> ;
    schema:genre "Kongress" ;
    schema:genre "Conference papers and proceedings" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1303226084#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
    schema:name "Fundamental approaches to software engineering : 16th International Conference : proceedings" ;
    schema:productID "842314806" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/842314806#PublicationEvent/berlin_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1303226084#Agent/springer> ; # Springer
    schema:url <http://deposit.d-nb.de/cgi-bin/dokserv?id=4255326&prov=M&dok%5Fvar=1&dok%5Fext=htm> ;
    schema:workExample <http://worldcat.org/isbn/9783642370571> ;
    schema:workExample <http://worldcat.org/isbn/9783642370564> ;
    umbel:isLike <http://d-nb.info/1031344667> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/842314806> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1303226084#Meeting/conference_on_fundamental_approaches_to_software_engineering> # Conference on Fundamental Approaches to Software Engineering.
    a bgn:Meeting, schema:Event ;
    schema:name "Conference on Fundamental Approaches to Software Engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Meeting/european_joint_conferences_on_theory_and_practice_of_software> # European Joint Conferences on Theory and Practice of Software.
    a bgn:Meeting, schema:Event ;
    schema:name "European Joint Conferences on Theory and Practice of Software." ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/842314806> ; # Fundamental approaches to software engineering : 16th International Conference : proceedings
    schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/analyse_de_systemes_+_conception_de_systemes_systemes_informatiques> # ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES)
    a schema:Thing ;
    schema:name "ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/genie_logiciel> # GÉNIE LOGICIEL
    a schema:Thing ;
    schema:name "GÉNIE LOGICIEL" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/informatique_theorique> # INFORMATIQUE THÉORIQUE
    a schema:Thing ;
    schema:name "INFORMATIQUE THÉORIQUE" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/programme_und_algorithmen_zur_losung_spezieller_probleme> # PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
    a schema:Thing ;
    schema:name "PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/programmes_et_algorithmes_pour_la_resolution_de_problemes_specifiques> # PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES
    a schema:Thing ;
    schema:name "PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/programs_and_algorithms_for_the_solution_of_special_problems> # PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
    a schema:Thing ;
    schema:name "PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/software_engineering> # SOFTWARE ENGINEERING
    a schema:Thing ;
    schema:name "SOFTWARE ENGINEERING" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/systemanalyse_+_systementwicklung_+_systementwurf_computersysteme> # SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)
    a schema:Thing ;
    schema:name "SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/systems_analysis_+_systems_development_+_systems_design_computer_systems> # SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
    a schema:Thing ;
    schema:name "SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theoretical_computer_science> # THEORETICAL COMPUTER SCIENCE
    a schema:Thing ;
    schema:name "THEORETICAL COMPUTER SCIENCE" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theoretische_informatik> # THEORETISCHE INFORMATIK
    a schema:Thing ;
    schema:name "THEORETISCHE INFORMATIK" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theorie_de_la_programmation> # THÉORIE DE LA PROGRAMMATION
    a schema:Thing ;
    schema:name "THÉORIE DE LA PROGRAMMATION" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theorie_der_programmierung> # THEORIE DER PROGRAMMIERUNG
    a schema:Thing ;
    schema:name "THEORIE DER PROGRAMMIERUNG" ;
    .

<http://experiment.worldcat.org/entity/work/data/1303226084#Thing/theory_of_programming> # THEORY OF PROGRAMMING
    a schema:Thing ;
    schema:name "THEORY OF PROGRAMMING" ;
    .

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

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

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

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

<http://www.worldcat.org/title/-/oclc/842314806>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/842314806> ; # Fundamental approaches to software engineering : 16th International Conference : proceedings
    schema:dateModified "2015-09-03" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

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