Formalizing style to understand descriptions of software architecture

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Application of Dependence Analysis to Software Architecture Descriptions

As the focus of software design shifts increasingly toward the architectural level, so too are its analysis techniques. Dependence analysis is one such technique that shows promise at this level. In this paper we briefly describe and illustrate the application of dependence analysis to architectural descriptions of software systems.

متن کامل

Availability evaluation of Software architecture of object oriented Style using coloured Petri nets

Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...

متن کامل

Formalizing abstract characteristics of style

Abstract: This paper claims that style, in addition to being identified by common visible physical characteristics of form, can be thought of in terms of a set of common abstract characteristics. A prototype computational design support tool is described that explores this idea in the domain of architecture: The Architect's Collaborator (TAC) supports articulation and evaluation of abstract cha...

متن کامل

Towards Formalizing Network Architectural Descriptions

Despite the rich literature on network architecture and communication system design, the current practice of describing architectures remains informal and idiosyncratic. Such practice has evolved based on idiomatic terminology and hence, it is failing to provide a formal framework for representing and for reasoning about network architectures. This state of affairs has led to the overloading of...

متن کامل

Analyzing Software Architecture Descriptions to Generate System-level Tests

Generate System-level Tests Aynur Abdurazik, Zhenyi Jin, A. Je erson O utt, and Elizabeth L. White ISE Department ITT Industries CS Department Software Engineering Research Lab Advanced Engineering and Sciences Software Engineering Research Lab George Mason University 1761 Business Center Drive George Mason University Fairfax, VA 22030-4444 USA Reston, VA 22090 Fairfax, VA 22030-4444 USA +1-703...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Software Engineering and Methodology

سال: 1995

ISSN: 1049-331X,1557-7392

DOI: 10.1145/226241.226244