FoCaLiZe: Inside an F-IDE

For years, Integrated Development Environments have demonstrated their usefulness in order to ease the development of software. High-level security or safety systems require proofs of compliance to standards, based on analyses such as code review and, increasingly nowadays, formal proofs of conformance to specifications. This implies mixing computational and logical aspects all along the development, which naturally raises the need for a notion of Formal IDE. This paper examines the FoCaLiZe environment and explores the implementation issues raised by the decision to provide a single language to express specification properties, source code and machine-checked proofs while allowing incremental development and code reusability. Such features create strong dependencies between functions, properties and proofs, and impose an particular compilation scheme, which is described here. The compilation results are runnable OCaml code and a checkable Coq term. All these points are illustrated through a running example.Comment: In Proceedings F-IDE 2014, arXiv:1404.578

A research review of quality assessment for software

Measures were recommended to assess the quality of software submitted to the AdaNet program. The quality factors that are important to software reuse are explored and methods of evaluating those factors are discussed. Quality factors important to software reuse are: correctness, reliability, verifiability, understandability, modifiability, and certifiability. Certifiability is included because the documentation of many factors about a software component such as its efficiency, portability, and development history, constitute a class for factors important to some users, not important at all to other, and impossible for AdaNet to distinguish between a priori. The quality factors may be assessed in different ways. There are a few quantitative measures which have been shown to indicate software quality. However, it is believed that there exists many factors that indicate quality and have not been empirically validated due to their subjective nature. These subjective factors are characterized by the way in which they support the software engineering principles of abstraction, information hiding, modularity, localization, confirmability, uniformity, and completeness

SME Performance, Innovation and Networking Evidence on Complementarities for a Local Economic System

The paper addresses the relevancy of networking activities and R&D as main drivers of productivity performance and ouput innovation, for small and medium enterprises (SME) playing in a local economic system. Given the intangible nature of many techno organisational innovation and networking strategies, original recent survey data for manufacturing and services are exploited. The aim is to provide new evidence on the complementarity relationships concerning different networking activities and R&D in a local SME oriented system in Northern Italy. We first introduce a methodological framework to empirically test complementarity among R&D and networking, in a discrete setting. Secondly, we consequently present empirical evidence on productivity drivers and on complementarity between R&D and networking strategies, with respect to firm productivity and process/product output innovation. R&D is a main driver of innovation and productivity, even without networking. This may signify, in association with the evidence on complementarity, that firm expenditures on R&D are a primary driver for performance. The complementarity with networking is a consequential step. Networking by itself cannot thus play a role in stimulating productivity and innovation. It can be a complementary factor in situations where cooperation and networking are needed to achieve economies of scale and/or to merge and integrate diverse skills, technologies and competencies. This is compatible with a framework where networking is the public good part of an impure public good wherein R&D plays the part of the private-led driving force towards structural break from the business as usual scenario. Managers and policy makers should be aware that in order to exploit asset complementarity, possibly transformed into competitive advantages, both R&D and networking are to be sustained and favoured. our evidence suggests that R&D may be a single main driver of performance. Since R&D expenditures are associated with firm size, a policy sustain is to be directed towards firm enlargement. After a certain threshold firms have the force to increase expenditures. The size effect is nevertheless non monotonous. Then, but not least important, for the majority of firms still remaining under a critical size threshold, policy incentives should be directed to R&D in connection with networking, through which a virtuous circle may arise. It is worth noting that it is not networking as such the main engine. Networking elements are crucially linked to innovation dynamics; it is nevertheless innovation that explains and drives networking, and not the often claimed mere existence of local spillovers or of a civic associative culture in the territory. Such public good factors exist but are likely to evolve with and be sustained by firm innovative dynamics.Firm Competitiveness, Innovation, R&D, Networking, Complementarity, Local Economic System

Ontology of core data mining entities

In this article, we present OntoDM-core, an ontology of core data mining entities. OntoDM-core defines themost essential datamining entities in a three-layered ontological structure comprising of a specification, an implementation and an application layer. It provides a representational framework for the description of mining structured data, and in addition provides taxonomies of datasets, data mining tasks, generalizations, data mining algorithms and constraints, based on the type of data. OntoDM-core is designed to support a wide range of applications/use cases, such as semantic annotation of data mining algorithms, datasets and results; annotation of QSAR studies in the context of drug discovery investigations; and disambiguation of terms in text mining. The ontology has been thoroughly assessed following the practices in ontology engineering, is fully interoperable with many domain resources and is easy to extend

Multiplex Communities and the Emergence of International Conflict

Advances in community detection reveal new insights into multiplex and multilayer networks. Less work, however, investigates the relationship between these communities and outcomes in social systems. We leverage these advances to shed light on the relationship between the cooperative mesostructure of the international system and the onset of interstate conflict. We detect communities based upon weaker signals of affinity expressed in United Nations votes and speeches, as well as stronger signals observed across multiple layers of bilateral cooperation. Communities of diplomatic affinity display an expected negative relationship with conflict onset. Ties in communities based upon observed cooperation, however, display no effect under a standard model specification and a positive relationship with conflict under an alternative specification. These results align with some extant hypotheses but also point to a paucity in our understanding of the relationship between community structure and behavioral outcomes in networks.Comment: arXiv admin note: text overlap with arXiv:1802.0039

Ten virtues of structured graphs

This paper extends the invited talk by the first author about the virtues of structured graphs. The motivation behind the talk and this paper relies on our experience on the development of ADR, a formal approach for the design of styleconformant, reconfigurable software systems. ADR is based on hierarchical graphs with interfaces and it has been conceived in the attempt of reconciling software architectures and process calculi by means of graphical methods. We have tried to write an ADR agnostic paper where we raise some drawbacks of flat, unstructured graphs for the design and analysis of software systems and we argue that hierarchical, structured graphs can alleviate such drawbacks

A conceptual model for megaprogramming

Megaprogramming is component-based software engineering and life-cycle management. Magaprogramming and its relationship to other research initiatives (common prototyping system/common prototyping language, domain specific software architectures, and software understanding) are analyzed. The desirable attributes of megaprogramming software components are identified and a software development model and resulting prototype megaprogramming system (library interconnection language extended by annotated Ada) are described