Titlebook: Software Engineering and Formal Methods; SEFM 2014 Collocated Carlos Canal,Akram Idani Conference proceedings 2015 Springer International P

deep-sleep

书目名称Software Engineering and Formal Methods影响因子(影响力)




书目名称Software Engineering and Formal Methods影响因子(影响力)学科排名




书目名称Software Engineering and Formal Methods网络公开度




书目名称Software Engineering and Formal Methods网络公开度学科排名




书目名称Software Engineering and Formal Methods被引频次




书目名称Software Engineering and Formal Methods被引频次学科排名




书目名称Software Engineering and Formal Methods年度引用




书目名称Software Engineering and Formal Methods年度引用学科排名




书目名称Software Engineering and Formal Methods读者反馈




书目名称Software Engineering and Formal Methods读者反馈学科排名

ELUC

hypertension

On a Process Algebraic Representation of Sequence Diagramsd refinement checker, . (FDR), gives rise to a practical approach that enables us to reason about these interactions in a formal setting. In this paper, we show how CSP and FDR have been used to provide a process-algebraic representation of sequence diagrams that is amenable to refinement-checking.

死亡率

Modelling and Verification of Survivability Requirements for Critical Systemsts and survivability strategies. The SAM is automatically converted, using model-driven techniques, into a Petri Net model for verifying survivability properties through model checking. The method has been applied to a military command-and-control information system.

milligram

依法逮捕

A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networksed on latent representation of nodes to infer, given a specific topic, the sentiment polarity of posts and users at the same time. The experimental investigation show that our approach, by taking into account both content and relationship information, outperforms supervised classifiers based only on textual content.

BLOT

Use of Mobile Phone Data to Estimate Visitors Mobility Flowsn producing reliable and timely estimates of intra-city mobility flows. The idea is to define an estimation method based on calling data to characterize the mobility habits of visitors at the level of a single municipality.

离开

Modelling and Verifying Smell-Free Architectures with the , Languagecursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

变化无常

Genetics