Algebraic Methods II: Theory, Tools and Applications - download pdf or read online

By N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.)

ISBN-10: 0387539123

ISBN-13: 9780387539126

ISBN-10: 3540539123

ISBN-13: 9783540539124

The right therapy and selection of the elemental information buildings is a crucial and complicated half within the means of application development. Algebraic tools supply thoughts for info abstraction and the dependent specification, validation and research of information constructions. This quantity originates from a workshop geared up inside of ESPRIT venture 432 METEOR, An built-in Formal method of business software program improvement, held in Mierlo, The Netherlands, September 1989. the quantity comprises 5 invited contributions according to workshop talks given via A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten additional papers by means of participants of the METEOR group are in response to talks given on the workshop. The workshop used to be a successor to an previous one held in Passau, Germany, June 1987, the court cases of that have been released as Lecture Notes in machine technology, Vol. 394.

Show description

Read Online or Download Algebraic Methods II: Theory, Tools and Applications PDF

Similar computers books

Read e-book online Computers and Education: E-Learning, From Theory to Practice PDF

This publication incorporates a choice of contributions featuring the newest examine within the box of desktops in schooling and, extra in particular, in E-Learning. the subjects lined diversity from proposals in regards to the latest "de facto" criteria in E-Learning - corresponding to IMS studying layout - to the simpler facets of the layout, i.

Additional info for Algebraic Methods II: Theory, Tools and Applications

Example text

Hagelstein, J. (1989); Formal Frameworks for Understanding Information System Requirements Engineering: a research agenda; [To appear] Nijssen, S. (Eds) IFIP CRIS Review Workshop; North-Holland. 54 Finkelstein, A. & Potts, C. (1987); Building Formal Specifications Using "Structured Common Sense"; Proc. 4th International Workshop on Software Specification & Design; IEEE CS Press. , Schippers H. (1989); The I]-Language Reference Manual, Research Report No 295 1989, Department of Computer Science, University of Dortmund.

Methods, in the strict sense of the term the collection and packaging of software development knowledge, have commonly been overlooked in current computer science in favour of representation techniques or development processes and paradigms. Methods crudely attempt to combine software process with software structure by breaking 43 down a "work plan" into steps and stages and associating these with elements in a (generally functional) decomposition. Methods aim at providing systematic coverage of software development activities.

3 Characterisation A more detailed description of ViewPoints can be divided into two parts: the static structure of ViewPoints - the knowledge they encapsulate and the structure of ViewPoint "configurations"; the dynamic structure of ViewPoints - how they evolve and relate to each other. The static and dynamic structure are, to a certain extent, interdependent and it may be necessary in describing one to refer to the other. In this paper we will concentrate on the static structure. A ViewPoint (we use the distinctive capitals to denote our interpretation) consists of the following parts: a style, the representation scheme in which the ViewPoint expresses what it can see (examples of styles are data flow analysis, entity-relationship-attribute modelling, Petri nets, equational logic, and so on); a domain defines which part of the "world" delineated in the style (given that the style defines a structured representation) can be seen by the ViewPoint (for example, a lift-control system would include domains such as user, lift and controller); a specification, the statements expressed in the ViewPoint's style describing particular domains; a work plan, how and in what circumstances the contents of the specification can be changed; a work record, an account of the current state of the development.

Download PDF sample

Algebraic Methods II: Theory, Tools and Applications by N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.)

by Paul

Rated 4.13 of 5 – based on 47 votes