跳至内容
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; 正在查詢有此資料的圖書館...

詳細書目

類型/形式: Kongress
Conference proceedings
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 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.
叢書名: 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的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


<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

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.