Text

Formalisms for Reuse and Systems Integration

---

Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.

---

Availability

No copy data

Detail Information

Series Title

Advances in Intelligent Systems and Computing

Call Number

-

Publisher

Cham : Springer., 2015

Collation

X, 295 pages

Language

English

ISBN/ISSN

978-3-319-16577-6

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

-

Edition

-

Subject(s)

Computational Intelligence

Specific Detail Info

-

Statement of Responsibility

Thouraya Bouabana-Tebibel, Stuart H. Rubin

Other Information

Cataloger

Jemadi

Source

-

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment