跳到内容
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
版本/格式:   打印图书 : 英语查看所有的版本和格式
资源:Fundamental Approaches to Software Engineering.
数据库:WorldCat
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

类型/形式: Conference papers and proceedings
Kongress
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 ExecutionLogs.- Exposing Behavioral Differences in Cross-Language API MappingRelations.- Explicit-State Software Model Checking Based on CEGAR andInterpolation.- 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 MobileApplications.- 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 Coveragein 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的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


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://experiment.worldcat.org/entity/work/data/1211787615#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/informatique_theorique> ; # INFORMATIQUE THÉORIQUE
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/theorie_de_la_programmation> ; # THÉORIE DE LA PROGRAMMATION
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/theoretical_computer_science> ; # THEORETICAL COMPUTER SCIENCE
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#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/1211787615#Thing/genie_logiciel> ; # GÉNIE LOGICIEL
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#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/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/theory_of_programming> ; # THEORY OF PROGRAMMING
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/theorie_der_programmierung> ; # THEORIE DER PROGRAMMIERUNG
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/software_engineering> ; # SOFTWARE ENGINEERING
   schema:about <http://dewey.info/class/005.1/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/programme_und_algorithmen_zur_losung_spezieller_probleme> ; # PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/systemanalyse_+_systementwicklung_+_systementwurf_computersysteme> ; # SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#Thing/programs_and_algorithms_for_the_solution_of_special_problems> ; # PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
   schema:about <http://experiment.worldcat.org/entity/work/data/1211787615#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/1211787615#Thing/theoretische_informatik> ; # THEORETISCHE INFORMATIK
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1211787615#Meeting/conference_on_fundamental_approaches_to_software_engineering> ; # Conference on Fundamental Approaches to Software Engineering
   schema:contributor <http://viaf.org/viaf/81321353> ; # Vittorio Cortellessa
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1211787615#Meeting/european_joint_conferences_on_theory_and_practice_of_software> ; # European Joint Conferences on Theory and Practice of Software
   schema:datePublished "2013" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1211787615> ;
   schema:genre "Kongress" ;
   schema:genre "Conference papers and proceedings" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1211787615#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/1211787615#Agent/springer> ; # Springer
   schema:url <http://deposit.d-nb.de/cgi-bin/dokserv?id=4255326&prov=M&dok_var=1&dok_ext=htm> ;
   schema:url <http://d-nb.info/1031344667/04> ;
   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/1211787615#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/1211787615#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/1211787615#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/1211787615#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/1211787615#Thing/informatique_theorique> # INFORMATIQUE THÉORIQUE
    a schema:Thing ;
   schema:name "INFORMATIQUE THÉORIQUE" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#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/1211787615#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/1211787615#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/1211787615#Thing/software_engineering> # SOFTWARE ENGINEERING
    a schema:Thing ;
   schema:name "SOFTWARE ENGINEERING" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#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/1211787615#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/1211787615#Thing/theoretical_computer_science> # THEORETICAL COMPUTER SCIENCE
    a schema:Thing ;
   schema:name "THEORETICAL COMPUTER SCIENCE" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1211787615#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/1211787615#Thing/theorie_der_programmierung> # THEORIE DER PROGRAMMIERUNG
    a schema:Thing ;
   schema:name "THEORIE DER PROGRAMMIERUNG" ;
    .

<http://experiment.worldcat.org/entity/work/data/1211787615#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: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 "2017-07-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.