zum Inhalt wechseln
Fundamental approaches to software engineering : 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings Titelvorschau
SchließenTitelvorschau
Prüfung…

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Verfasser/in: Vittorio Cortellessa; Dániel Varró
Verlag: Berlin ; New York : Springer, ©2013.
Serien: Lecture notes in computer science, 7793.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Ausgabe/Format   E-Book : Dokument : Tagungsband : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Zusammenfassung:
This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections  Weiterlesen…
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: Electronic books
Conference proceedings
Congresses
Physisches Format Printed edition:
Medientyp: Tagungsband, Dokument, Internetquelle
Dokumenttyp: Internet-Ressource, Computer-Datei
Alle Autoren: Vittorio Cortellessa; Dániel Varró
ISBN: 9783642370571 3642370578 364237056X 9783642370564
OCLC-Nummer: 829105147
Anmerkungen: International conference proceedings.
Includes author index.
Beschreibung: 1 online resource.
Inhalt: Invited Paper --
Variability in Software: State of the Art and Future Directions / Krzysztof Czarnecki --
Model-Driven Engineering: Concepts --
Towards a Distributed Modeling Process Based on Composite Models / Daniel Strüber, Gabriele Taentzer, Stefan Jurack, Tim Schäfer --
Change Propagation due to Uncertainty Change / Rick Salay, Jan Gorzny, Marsha Chechik --
A Model-Based Synthesis Process for Choreography Realizability Enforcement / Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli --
On Extracting Feature Models from Sets of Valid Feature Combinations / Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed --
Verification and Validation 1 --
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets / Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner --
Quality of Merge-Refactorings for Product Lines / Julia Rubin, Marsha Chechik --
Software Comprehension --
Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs / Arbi Bouchoucha, Houari Sahraoui, Pierre L'Ecuyer. Discovering Branching Conditions from Business Process Execution Logs / Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos --
Exposing Behavioral Differences in Cross-Language API Mapping Relations / Hao Zhong, Suresh Thummalapenta, Tao Xie --
Verification and Validation 2 --
Explicit-State Software Model Checking Based on CEGAR and Interpolation / Dirk Beyer, Stefan Löwe --
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks / John Lasseter, John Cipriano --
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification / Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons --
Scenario Realizability with Constraint Optimization / Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard --
Analysis Tools --
Andromeda: Accurate and Scalable Security Analysis of Web Applications / Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri --
VerChor: A Framework for Verifying Choreographies / Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. Javanni: A Verifier for JavaScript / Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia --
Model-Driven Engineering: Applications --
Model-Based Implementation of Parallel Real-Time Systems / Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis --
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications / Wei Yang, Mukul R. Prasad, Tao Xie --
A Mechanized Model for CAN Protocols / Francesco Bongiovanni, Ludovic Henrio --Model Transformations --
Enforcing QVT-R with mu-Calculus and Games / Julian Bradfield, Perdita Stevens --
Implementing QVT-R Bidirectional Model Transformations Using Alloy / Nuno Macedo, Alcino Cunha --
Abstraction and Training of Stochastic Graph Transformation Systems / Mayur Bapodra, Reiko Heckel --
Testing --
Discovering Math APIs by Mining Unit Tests / Anirudh Santhiar, Omesh Pandita, Aditya Kanade --
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications / Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa --
Testing with Inputs and Outputs in CSP / Ana Cavalcanti, Robert M. Hierons.
Serientitel: Lecture notes in computer science, 7793.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Andere Titel FASE 2013
ETAPS 2013
Verfasserangabe: Vittorio Cortellessa, Dániel Varró (eds.).
Weitere Informationen:

Abstract:

This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.

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/829105147>
library:oclcnum"829105147"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: dct
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"FASE 2013"@en
schema:alternateName"ETAPS 2013"@en
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"2013"
schema:creator
schema:datePublished"2013"
schema:description"This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/1211787615>
schema:genre"Conference proceedings"@en
schema:genre"Electronic books"@en
schema:inLanguage"en"
schema:isPartOf
schema:isPartOf
schema:isPartOf
schema:name"Fundamental approaches to software engineering 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings"@en
schema:publication
schema:publisher
schema:url
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

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