scholarly journals Implementations Supporting Automated Technology Transfer in MDE as a Service

2019 ◽  
Author(s):  
Fábio Paulo Basso ◽  
Elder Rodrigues ◽  
Maicon Bernardino ◽  
Claudia Werner ◽  
Toacy Oliveira
Keyword(s):  
Technology Transfer ◽  
Software Reuse ◽  
State Of The Art ◽  
Research Area ◽  
Experience Report ◽  
Tool Support ◽  
Smart Contracts ◽  
Implementation Barriers ◽  
Software Factory ◽  
Automated Technology

Coopetition characterizes scenarios where competing firms establish collaborations for some intent. Here applies foundational studies built on software reuse and asset standards, such as for OSLC and RAS, asset platforms, smart contracts and others that are essential for promoting coopetition in the area. Our contribution is an experience report that provide foundations for technology transfer to software factory coopetition scenarios. Our goal is to characterize some coopetition approaches and tool support assisting Software Engineering (SE) tasks for technology transfer. This paper presents an experience report analyzing multi-case studies, implemented in local scenarios for coopetition, characterizing the research area with a summary of the main findings. The presented results are twofold: 1) With the current tool support in the state-of-the art, automation of SE tasks for technology transfer is feasible to local scenarios; and 2) However, global coopetition scenarios impose new implementation barriers.

scholarly journals Automated Technology Transfer in MDE as a Service: Experiences and Research Directions

2019 ◽  
Author(s):  
Fábio Paulo Basso ◽  
Diego Kreutz ◽  
Elder Rodrigues ◽  
Maicon Bernardino
Keyword(s):  
Technology Transfer ◽  
Smart Contracts ◽  
Research Directions ◽  
Automated Technology ◽  
Service Experiences

Há tempo os pesquisadores vêm tentando apoiar a execução de atividades da Engenharia de Software (ES) com suporte ferramental desenvolvido em laboratório e in-house. Líderes de mercado como IBM, Google e Oracle abraçam estas inovações de base tecnológica para ES e, infelizmente, ainda se observa que inovações lançadas por pesquisadores independentes enfrentam muitas dificuldades para conseguir espaço. Devido à falta de credibilidade do produto por sua imaturidade, é difícil nos primeiros três anos determinantes ao sucesso ou fracasso de uma startup no Brasil, se viabilizar a transferência de tecnologias da academia para a indústria. Neste cenário, o presente artigo apresenta algumas experiências com uma visão de futuro para pesquisas que buscam automatizar a transferência de tecnologia da área por meio de mecanismos de integração para assets. Em especial, discute-se um conjunto de trabalhos produzidos neste rumo, destacando o potencial de arquiteturas distribuídas, as quais podem ser construídas com tecnologias como smart contracts e blockchain, no ganho de credibilidade dentro do curto tempo de mercado.

scholarly journals Security assurance cases—state of the art of an emerging approach

2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Mazen Mohamad ◽  
Jan-Philipp Steghöfer ◽  
Riccardo Scandariato
Keyword(s):  
State Of The Art ◽  
Tool Support ◽  
Security Assurance ◽  
The Past ◽  
Depth Analysis ◽  
Structured Argumentation ◽  
Security Properties ◽  
Standards And Regulations ◽  
Assurance Cases ◽  
Security Standards

AbstractSecurity Assurance Cases (SAC) are a form of structured argumentation used to reason about the security properties of a system. After the successful adoption of assurance cases for safety, SAC are getting significant traction in recent years, especially in safety-critical industries (e.g., automotive), where there is an increasing pressure to be compliant with several security standards and regulations. Accordingly, research in the field of SAC has flourished in the past decade, with different approaches being investigated. In an effort to systematize this active field of research, we conducted a systematic literature review (SLR) of the existing academic studies on SAC. Our review resulted in an in-depth analysis and comparison of 51 papers. Our results indicate that, while there are numerous papers discussing the importance of SAC and their usage scenarios, the literature is still immature with respect to concrete support for practitioners on how to build and maintain a SAC. More importantly, even though some methodologies are available, their validation and tool support is still lacking.

Legally Enforceable Smart-Contract Languages

2021 ◽  
Vol 54 (5) ◽  
pp. 1-34
Author(s):  
Vimal Dwivedi ◽  
Vishwajeet Pattanaik ◽  
Vipin Deval ◽  
Abhishek Dixit ◽  
Alex Norta ◽  
...  
Keyword(s):  
Literature Review ◽  
Systematic Literature Review ◽  
State Of The Art ◽  
Grey Literature ◽  
Smart Contracts ◽  
Smart Contract ◽  
Decentralized Autonomous Organizations

Smart contracts are a key component of today’s blockchains. They are critical in controlling decentralized autonomous organizations (DAO). However, smart contracts are not yet legally binding nor enforceable; this makes it difficult for businesses to adopt the DAO paradigm. Therefore, this study reviews existing Smart Contract Languages (SCL) and identifies properties that are critical to any future SCL for drafting legally binding contracts. This is achieved by conducting a Systematic Literature Review (SLR) of white- and grey literature published between 2015 and 2019. Using the SLR methodology, 45 Selected and 28 Supporting Studies detailing 45 state-of-the-art SCLs are selected. Finally, 10 SCL properties that enable legally compliant DAOs are discovered, and specifications for developing SCLs are explored.

scholarly journals Electronic records management – a state of the art review

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Babatunde Oladejo ◽  
Sunčica Hadžidedić
Keyword(s):  
State Of The Art ◽  
Academic Research ◽  
Research Area ◽  
Electronic Records ◽  
Records Management ◽  
Content Type ◽  
Search Results ◽  
Search Tool ◽  
Research And Education ◽  
Electronic Records Management

Purpose This paper aims to examine the state of the art in electronic records management (ERM) with the goal of identifying the prevailing research topics, gaps and issues in the field. Design/methodology/approach First, a wide search was performed on academic research databases, limited to the period between 2008–2018. Second, the search results were reviewed for relevance and duplicates. Finally, the study sources were checked against the list of journals and conferences ranked by computing research and education and JourQual. The final sample of 55 selected studies was analyzed in depth. Findings ERM has lost some research momentum due to being deeply embedded in affiliate information systems areas and the changing records management landscape. Additionally, the requirement models specified by Governmental/National Archives might have constrained technology innovation in ERM. A lack of application was identified for the social media research area. Research limitations/implications Limitations were encountered in available search tool functionality and keyword confusion leading to inflated search results. While effort has been made to obtain optimal search results, some relevant articles may have been omitted. Originality/value The last ERM state-of-the-art review was in 1997. A lot has changed since then. This paper will help researchers understand the current state of ERM research, its understudied areas and identify gaps for future studies.

scholarly journals CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts

2021 ◽  
Author(s):  
Christof Ferreira Torres ◽  
Antonio Ken Iannillo ◽  
Arthur Gervais ◽  
Radu State
Keyword(s):  
State Of The Art ◽  
Symbolic Execution ◽  
Hybrid Approach ◽  
Data Dependency ◽  
Smart Contracts ◽  
Dependency Analysis ◽  
Bug Detection ◽  
Code Coverage ◽  
Traditional Programs ◽  
Turing Complete

<div> <div> <p>Smart contracts are Turing-complete programs that are executed across a blockchain. Unlike traditional programs, once deployed, they cannot be modified. As smart contracts carry more value, they become more of an exciting target for attackers. Over the last years, they suffered from exploits costing millions of dollars due to simple programming mistakes. As a result, a variety of tools for detecting bugs have been proposed. Most of these tools rely on symbolic execution, which may yield false positives due to over-approximation. Recently, many fuzzers have been proposed to detect bugs in smart contracts. However, these tend to be more effective in finding shallow bugs and less effective in finding bugs that lie deep in the execution, therefore achieving low code coverage and many false negatives. An alternative that has proven to achieve good results in traditional programs is hybrid fuzzing, a combination of symbolic execution and fuzzing. In this work, we study hybrid fuzzing on smart contracts and present ConFuzzius, the first hybrid fuzzer for smart contracts. ConFuzzius uses evolutionary fuzzing to exercise shallow parts of a smart contract and constraint solving to generate inputs that satisfy complex conditions that prevent evolutionary fuzzing from exploring deeper parts. Moreover, ConFuzzius leverages dynamic data dependency analysis to efficiently generate sequences of transactions that are more likely to result in contract states in which bugs may be hidden. We evaluate the effectiveness of ConFuzzius by comparing it with state-of-the-art symbolic execution tools and fuzzers for smart contracts. Our evaluation on a curated dataset of 128 contracts and a dataset of 21K real-world contracts shows that our hybrid approach detects more bugs than state-of-the-art tools (up to 23%) and that it outperforms existing tools in terms of code coverage (up to 69%). We also demonstrate that data dependency analysis can boost bug detection up to 18%.</p> </div> </div>

The nanotechnology revolution in Barcelona: innovation & creativity by universities

2009 ◽  
Vol 13 ◽  
pp. 111-123 ◽  
Author(s):  
Esteve Juanola-Feliu
Keyword(s):  
Information Technology ◽  
Knowledge Management ◽  
Technology Transfer ◽  
State Of The Art ◽  
The State ◽  
Cutting Edge ◽  
Physical Sciences ◽  
New Directions ◽  
University Industry ◽  
Opening Up

Abstract This paper analyses the state of the art for nanotechnology in Barcelona, focussing on the scientific and economic challenges arising from nanotechnologies and the creative and innovative framework in Barcelona that could be used to meet them. Nanotechnology is an endless source of innovation and creativity at the intersection of medicine, biotechnology, engineering, physical sciences and information technology, and it is opening up new directions in R + D, knowledge management and technology transfer. Given the huge economic investment and cutting-edge research in the field of nanotechnology, a creatively managed and cooperation-based university industry is more in demand than ever before.

scholarly journals Gaussian Transformer: A Lightweight Approach for Natural Language Inference

2019 ◽  
Vol 33 ◽  
pp. 6489-6496 ◽  
Author(s):  
Maosheng Guo ◽  
Yu Zhang ◽  
Ting Liu
Keyword(s):  
Neural Networks ◽  
Natural Language ◽  
State Of The Art ◽  
Research Area ◽  
High Order Interaction ◽  
Training Time ◽  
Attention Networks ◽  
Local Dependency ◽  
Active Research ◽  
Active Research Area

Natural Language Inference (NLI) is an active research area, where numerous approaches based on recurrent neural networks (RNNs), convolutional neural networks (CNNs), and self-attention networks (SANs) has been proposed. Although obtaining impressive performance, previous recurrent approaches are hard to train in parallel; convolutional models tend to cost more parameters, while self-attention networks are not good at capturing local dependency of texts. To address this problem, we introduce a Gaussian prior to selfattention mechanism, for better modeling the local structure of sentences. Then we propose an efficient RNN/CNN-free architecture named Gaussian Transformer for NLI, which consists of encoding blocks modeling both local and global dependency, high-order interaction blocks collecting the evidence of multi-step inference, and a lightweight comparison block saving lots of parameters. Experiments show that our model achieves new state-of-the-art performance on both SNLI and MultiNLI benchmarks with significantly fewer parameters and considerably less training time. Besides, evaluation using the Hard NLI datasets demonstrates that our approach is less affected by the undesirable annotation artifacts.

scholarly journals An Analysis of Smart Contracts Security Threats Alongside Existing Solutions

Entropy ◽  
2020 ◽  
Vol 22 (2) ◽  
pp. 203
Author(s):  
Antonio López Vivar ◽  
Alberto Turégano Castedo ◽  
Ana Lucila Sandoval Orozco ◽  
Luis Javier García Villalba
Keyword(s):  
Economic Impact ◽  
State Of The Art ◽  
Public Domain ◽  
Third Parties ◽  
The State ◽  
Security Threats ◽  
Smart Contracts ◽  
Holistic View ◽  
Security Challenges ◽  
Very High

Smart contracts have gained a lot of popularity in recent times as they are a very powerful tool for the development of decentralised and automatic applications in many fields without the need for intermediaries or trusted third parties. However, due to the decentralised nature of the blockchain on which they are based, a series of challenges have emerged related to vulnerabilities in their programming that, given their particularities, could have (and have already had) a very high economic impact. This article provides a holistic view of security challenges associated with smart contracts, as well as the state of the art of available public domain tools.

Software Engineering Productivity

2011 ◽  
Vol 2 (1) ◽  
pp. 37-47 ◽  
Author(s):  
Adrián Hernández-López ◽  
Ricardo Colomo-Palacios ◽  
Ángel García-Crespo ◽  
Fernando Cabezas-Isla
Keyword(s):  
Software Engineering ◽  
Influencing Factors ◽  
State Of The Art ◽  
Research Area ◽  
Research Community ◽  
Productivity Analysis ◽  
Shed Light ◽  
Inputs And Outputs

Software engineering productivity has been widely studied, but there are many issues that remain unsolved. Interesting works related to new metrics and more replications of past productivity analysis have emerged, however, in order to fulfill these unsolved issues, a consensus about influencing factors and well recognized and useful sets of inputs and outputs for using in measurements must be reached. In this regard, a clear state of the art may shed light on further research in software engineering productivity, which remains a promising research area. In this paper, general concepts of software engineering productivity along with general issues and recent challenges that need further attention from the research community are presented.

Organic Synthesis

2017 ◽  
Author(s):  
Douglass F. Taber ◽  
Tristan Lambert
Keyword(s):  
Organic Synthesis ◽  
State Of The Art ◽  
Research Area ◽  
Organic Transformations ◽  
The Past ◽  
Catalytic Asymmetric Synthesis ◽  
New Methods ◽  
Recent Developments ◽  
Enantioselective Epoxidation ◽  
To Come

Organic synthesis is a vibrant and rapidly evolving field; chemists can now cyclize alkenes directly onto enones. Like the first five books in this series, Organic Synthesis: State of the Art 2013-2015 will lead readers quickly to the most important recent developments in a research area. This series offers chemists a way to stay abreast of what's new and exciting in organic synthesis. The cumulative reaction/transformation index of 2013-2015 outlines all significant new organic transformations over the past twelve years. Future volumes will continue to come out every two years. The 2013-2015 volume features the best new methods in subspecialties such as C-O, C-N and C-C ring construction, catalytic asymmetric synthesis, selective C-H functionalization, and enantioselective epoxidation. This text consolidates two years of Douglass Taber's popular weekly online column, "Organic Chemistry Highlights" as featured on the organic-chemistry.org website and also features cumulative indices of all six volumes in this series, going back twelve years.

Sign in / Sign up

Export Citation Format

Share Document