doorgaan naar inhoud
Fundamental approaches to software engineering : 16th International Conference : proceedings Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

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

Auteur: Vittorio Cortellessa; et al
Uitgever: Berlin : Springer, 2013.
Serie: Lecture notes in computer science, 7793 : Advanced research in computing and software science
Editie/Formaat:   Gedrukt boek : EngelsAlle edities en materiaalsoorten bekijken.
Bron:Fundamental Approaches to Software Engineering.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: Conference papers and proceedings
Kongress
Congresses
Genre: Internetbron
Soort document Boek, Internetbron
Alle auteurs / medewerkers: Vittorio Cortellessa; et al
ISBN: 9783642370564 364237056X 9783642370571 3642370578
OCLC-nummer: 842314806
In: Cortellessa, Vittorio
Beschrijving: 376 S : Ill.
Inhoud: 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.
Serietitel: Lecture notes in computer science, 7793 : Advanced research in computing and software science
Verantwoordelijkheid: 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.).
Meer informatie

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


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-04-03" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.