zum Inhalt wechseln
Fundamental approaches to software engineering : 16th International Conference : proceedings Titelvorschau
SchließenTitelvorschau
Prüfung…

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

Verfasser/in: Vittorio Cortellessa; et al
Verlag: Berlin : Springer, 2013.
Serien: Lecture notes in computer science, 7793 : Advanced research in computing and software science
Ausgabe/Format   Buch : Englisch
Veröffentichung:Fundamental Approaches to Software Engineering.
Datenbank:WorldCat
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Online anzeigen

Links zu diesem Titel

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Gattung/Form: Kongress
Conference proceedings
Congresses
Medientyp: Internetquelle
Dokumenttyp: Buch, Internet-Ressource
Alle Autoren: Vittorio Cortellessa; et al
ISBN: 9783642370564 364237056X 9783642370571 3642370578
OCLC-Nummer: 842314806
In: Cortellessa, Vittorio
Beschreibung: 376 S : Ill.
Inhalt: 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.
Serientitel: Lecture notes in computer science, 7793 : Advanced research in computing and software science
Verfasserangabe: 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.).
Weitere Informationen:

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


<http://www.worldcat.org/oclc/842314806>
library:oclcnum"842314806"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/842314806>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"2013"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1303226084>
schema:genre"Kongress"
schema:genre"Conference proceedings"
schema:genre"Conference proceedings."
schema:inLanguage"en"
schema:name"Fundamental approaches to software engineering : 16th International Conference : proceedings"
schema:publisher
schema:url
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/1031344667>

Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.