Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development

2012 ◽  
Author(s):  
Luxi Chen ◽  
Linpeng Huang ◽  
Chen Li
Keyword(s):  
Behavior Consistency ◽  
Consistency Verification

Behavior Consistency Verification for Evolution of Aspectual Component-Based Software

2013 ◽  
Vol 765-767 ◽  
pp. 1231-1235
Author(s):  
Xue Yao Zhou ◽  
Ning Jiang Chen ◽  
Dan Dan Hu
Keyword(s):  
Software Architecture ◽  
Dynamic Evolution ◽  
Semantic Model ◽  
Verification Methods ◽  
Pi Calculus ◽  
Behavior Consistency ◽  
Behavior Description ◽  
High Level ◽  
Consistency Verification

Aspect-Oriented Software Architecture (AOA) is a high-level abstraction and integration blueprint of aspectual component-based software. A semantic model of aspectual component-based software is proposed to provide behavior description and semantic foundation for the consistency verification of software architecture dynamic evolution. By using the semantic model of Pi-calculus, a set of the consistency verification methods of dynamic evolution from multiple aspects are introduced. Finally, a case study shows the effect of these methods.

The Effect of Attitude Representation Complexity on Attitude-Behavior Consistency

2010 ◽  
Author(s):  
Keith M. Welker ◽  
David E. Oberleitner ◽  
Rusty B. McIntyre
Keyword(s):  
Behavior Consistency ◽  
Attitude Behavior

TIMING OF REASONS ANALYSIS AND ATTITUDE-BEHAVIOR CONSISTENCY

1991 ◽  
Vol 69 (6) ◽  
pp. 603 ◽  
Author(s):  
RONALD W. JOHNSON
Keyword(s):  
Behavior Consistency ◽  
Attitude Behavior

Unified approach to spatial description of objects terrain departmental registries / cadastres as a perspective basis of the state system territory mapping

2019 ◽  
Vol 942 (12) ◽  
pp. 41-49
Author(s):  
A.M. Portnov
Keyword(s):  
Spatial Data ◽  
Spatial Description ◽  
Unified Approach ◽  
Technological Basis ◽  
The Public ◽  
Wide Range ◽  
The Russian Federation ◽  
Map Data ◽  
Consistency Verification ◽  
Thematic Data

Using unified principles of formation and maintenance of register/cadaster with information about spatial data of landscape objects as the informational and technological basis for updating the public topographic maps and modernization of state cartographic system is proposed. The problems of informational relevancy of unified electronical cartographic basis and capacity of its renovation in case of public cadaster map data. The need to modernize the system of classification and coding of cartographic information, the use of unified standards for the coordinate description of register objects for their topological consistency, verification and updating is emphasized. Implementing such solutions is determined by economical expediency as well as necessity of providing a variety of real thematic data for wide range of consumers in the field of urban planning, territories development and completing the tasks of Governmental program “Digital economy of the Russian Federation”.

scholarly journals Fast and Generalized Polynomial Time Memory Consistency Verification

2006 ◽  
pp. 503-516 ◽  
Author(s):  
Amitabha Roy ◽  
Stephan Zeisset ◽  
Charles J. Fleckenstein ◽  
John C. Huang
Keyword(s):  
Polynomial Time ◽  
Memory Consistency ◽  
Generalized Polynomial ◽  
Consistency Verification

Fast complete memory consistency verification

2009 ◽  
Author(s):  
Yunji Chen ◽  
Yi Lv ◽  
Weiwu Hu ◽  
Tianshi Chen ◽  
Haihua Shen ◽  
...  
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

A Comment on "Attitude-Behavior Consistency..."

1974 ◽  
Vol 39 (5) ◽  
pp. 761
Author(s):  
Stephen Magura
Keyword(s):  
Behavior Consistency ◽  
Attitude Behavior

scholarly journals Attitude–behavior consistency in tax compliance: A cross-national comparison

2018 ◽  
Vol 156 ◽  
pp. 184-205 ◽  
Author(s):  
Alice Guerra ◽  
Brooke Harrington
Keyword(s):  
Tax Compliance ◽  
National Comparison ◽  
Behavior Consistency ◽  
Attitude Behavior ◽  
Cross National
Sign in / Sign up

Export Citation Format

Share Document