aller au contenu
Fundamental approaches to software engineering : 16th International Conference : proceedings Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

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

Auteur : Vittorio Cortellessa; et al
Éditeur : Berlin : Springer, 2013.
Collection : Lecture notes in computer science, 7793 : Advanced research in computing and software science
Édition/format :   Print book : Anglais
Publication :Fundamental Approaches to Software Engineering.
Base de données :WorldCat
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme : Kongress
Conference papers and proceedings
Congresses
Type d’ouvrage : Ressource Internet
Format : Livre, Ressource Internet
Tous les auteurs / collaborateurs : Vittorio Cortellessa; et al
ISBN : 9783642370564 364237056X 9783642370571 3642370578
Numéro OCLC : 842314806
Dans : Cortellessa, Vittorio
Description : 376 S : Ill.
Contenu : 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.
Titre de collection : Lecture notes in computer science, 7793 : Advanced research in computing and software science
Responsabilité : 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.).
Plus d’informations :

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.