N.Fenton, G.Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International Limited, 1993, ISBN 0-07-707431-9.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....called Extended Syntax Graph (ESG) 83] which combines concepts of data flow graphs and syntax graphs. A system is described as a directed acyclic graph describing a sequence of declarations, definitions and statements. ESG is intended for systems descriptions in C C . Flow charts [80, 81] have been used for many years in system design as an informal description of algorithms. A flow chart is an informal graphical description of an algorithm built as a directed graph. Usually four types of nodes start, stop, operation and decision are used. But, depending on the problem area, ....

N.Fenton, G.Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International Limited, 1993, ISBN 0-07-707431-9.

....thereby allowing easy transition between control flow and data flow and vice versa. It is not clear, whether there is any other mechanism, except shared variables, for communication between subsystems. ESG is intended for systems descriptions in C C . 3.2.7. Flow Chart Flow charts [Lee76] FeHi93] have been used for many years in system design as an informal description of algorithms. A flow chart is an informal graphical description of an algorithm built as a directed graph. Usually four types of nodes start, stop, operation and decision are used but depending on problem area ....

N.Fenton, G.Hill, "Systems Construction and Analysis: A Mathematical and Logical Framework", McGraw-Hill International Limited, 1993, ISBN 0-07-707431-9.

....to meet them is the most crucial stage in the whole project . The objectives of developing a process model for formalization of requirements are manifold. According to [21] there is a need for a point of reference, as a basis for understanding, evaluating and comparing different proposals . [12] states that an advantage of [a formal model] is the communications of information to all involved in the project. Also, by making specification a formal activity, control is incorporated into the new software life cycle . The authors of [22] point out that although most [interviewed ....

....questions arise: What information is necessary for developing a FS Which information is easily available Requirements Engineering. The present topic seems to be (partially) covered by at least two scientific communities : requirements engineering and formal methods. The are a number of books [12, 13] which with a focus of constructing a formal specification. Naturally, they have a stronger focus in formal methods. Unfortunately, most of them do not cover the process in great detail is for example [21] In requirements engineering, on the other hand, in formal or semi formal approaches for SRS ....

[Article contains additional citation context not shown here]

Fenton N.E., Hill G. Systems Construction and Analysis : A Mathematical and Logical Framework. McGraw-Hill, International Series in Software Engineering, 1992.

....Tube Graphs In this section, we give a mathematical formulation of well formed tube graphs based on graph grammars [2] This formulation implies a construction algorithm for generating exactly the set of all well formed tube graphs. 1 A context sensitive graph grammar CSG = N; M;P;S) [6, 3] consists of a set N of non terminal edges, a set M of terminal edges, a set P of contextsensitive productions, and the initial non terminal edge S2N . The left hand side of a context sensitive production is any graph that contains at least one non terminal edge from N , and possibly terminal ....

Fenton, N., and Hill, G. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International, 1993.

....operator nodes, thereby allowing easy transition between control flow and data flow and vice versa.It is not clear whether there is any other mechanism, except shared variables, for communication between subsystems. ESG is intended for systems descriptions in C C . 2. 7 Flow Chart Flow charts [9, 10] have been used for many years in systems design as an informal description of algorithms. A flow chart is an informal graphical description of an algorithm built as a directed graph. Usually four types of nodes start, stop, operation and decision are used but depending on problem area ....

N.Fenton, G.Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International Limited, 1993, ISBN 0-07-707431-9.

....a construction algorithm for generating exactly the set of all well formed tube graphs. 6 It differs from the logic predicate formulation in Section 4, which declaratively specifies the necessary conditions for a tube graph to be well formed. A context sensitive graph grammar CSG= N;M;P;S) [11, 6] consists of a set N of nonterminal edges, a set M of terminal edges, a set P of context sensitive productions, and the initial non terminal edge S2N . The left hand side of a context sensitive production is any graph that contains at least one non terminal edge from N , and possibly terminal ....

Fenton, N., and Hill, G. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International, 1993.

....consist of a finite number of components and interfaces. Hence the sorts, functions and predicates in our theory can all be interpreted as finite sets. Further adding the interpretation of the constants we can obtain a so called signature of ffi , denoted by S ffi . The signature ([5]) can be viewed as a set of all possible realizations of ffi . A realization provides one particular interpretation for each element in the signature. Darwin programs and configurations are related to ffi via its models. Models are realizations that obey all the axioms of the theory: Lemma 1 M ....

N. Fenton and G. Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International Series in Software Engineering, 1993.

....areas of economics, biology and the cognitive sciences, as well as in engineering, may be defined and expressed. The configuration of complex engineering and software systems was first presented within a mathematical workspace in [2] and a logical framework for systems construction was given in [1]. In this paper we identify the possible relationships between the component parts of systems and explain our choice of the high level combinators that are applied to the recursively defined configured objects of sorts in the set fspecification, moduleg. Each configured object is a theory ....

N. Fenton and G. Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International (UK), 1993.

....in a categorial framework in [12] These ideas are now extended to provide a mathematical workspace within which system components can be both structured and implemented to configure the architecture of a final executable system. We have presented a logical framework for systems construction in [7] and defined the mathematical workspace over first order logic in [10] Our configuration language, designed in [11] is at a meta level to a specification language and describes the operations of combinators on the objects that represent the parts of a system. We believe that the problem of ....

N. Fenton and G. Hill. Systems Construction and Analysis: A Mathematical and Logical Framework. McGraw-Hill International (UK), 1993.

No context found.

Fenton, N., & Hill. G. Systems Construction and Analysis: A mathematical and logical framework. McGraw-Hill, 1992.

No context found.

Fenton N, Hill G, `Systems Construction and Analysis: A Mathematical and Logical Framework', McGraw-Hill, 1993

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC