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

obeisance

flourish

Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives is the ability to mine data from FLOSS repositories with the hope of revealing empirical evidence to answer existing questions on the FLOSS development process. In spite of the success produced with existing mining techniques, emerging questions about FLOSS data require alternative and more appropr

FOLD

极深

Use of Mobile Phone Data to Estimate Visitors Mobility Flowsallows us to observe the individual and collective behavior of people at an unprecedented detail. Many dimensions of our social life have big data “proxies”, such as the mobile calls data for mobility. In this paper we investigate to what extent data coming from mobile operators could be a support i

PATRI

An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communitiesps. With the increasing interest research on understanding the mechanisms and processes through which learning occurs in FLOSS, there is an imperative to describe these processes. One successful way of doing this is through specification methods. In this paper, we describe the adoption of Abstract S

Audiometry

Injunction

恭维

OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communitiesossible way a common definition of concepts and activities that can guide the identification of learning processes taking place among FLOSS members in any of the standard repositories such as mailing list, SVN, bug trackers and even discussion forums.

无能力

An Approach for Creating Domain Specific Visualisations of CSP Modelsspecifying concurrent and distributed systems. We have successfully created various visualisations of CSP models in order to demonstrate our approach. The visualisations of two case studies are presented in this paper: the bully algorithm and a level crossing gate. In addition, we discuss possible applications of our approach.

musicologist

A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics a formal framework that integrates requirements-based design with MBD modeling. The proposed framework extends the consistency-based theory of MBD with a requirements-based design theory based on contracts.