verification mechanism for lightweight componenent-based environment based on ioc container

verification mechanism for lightweight componenent-based environment based on ioc container

;Rafal Leszko;Kamil Pietak
journal of infection 2013 Vol. 14 pp. 577-
239
leszko2013computerverification

Abstract

The paper presents a concept of component verification framework dedicated to a particular lightweight component  environment. A starting point of the paper constitutes a discussion about significance of  verification process of syntax inconsistencies in the software development. Next, the need of verification in service-oriented and component-based  systems are presented and various approaches of verification in existing component environments are explained. The  main part of the paper introduces a concept of a functional integrity of component-based systems that utilize  verification mechanisms checking components consistency. The proposed solution is built on fine-grained component environment  (close to classes similarly to the Spring Framework) realized in AgE platform. Selected technical aspects of the framework design  illustrate the considerations of the paper.

Citation

ID: 136102
Ref Key: leszko2013computerverification
Use this key to autocite in SciMatic or Thesis Manager

References

Blockchain Verification

Account:
NFT Contract Address:
0x95644003c57E6F55A65596E3D9Eac6813e3566dA
Article ID:
136102
Unique Identifier:
10.7494/csci.2013.14.4.577
Network:
Scimatic Chain (ID: 481)
Loading...
Blockchain Readiness Checklist
Authors
Abstract
Journal Name
Year
Title
5/5
Creates 1,000,000 NFT tokens for this article
Token Features:
  • ERC-1155 Standard NFT
  • 1 Million Supply per Article
  • Transferable via MetaMask
  • Permanent Blockchain Record
Blockchain QR Code
Scan with Saymatik Web3.0 Wallet

Saymatik Web3.0 Wallet