By N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra, L. M. G. Feijs (eds.)
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.
Read Online or Download Algebraic Methods II: Theory, Tools and Applications PDF
Similar computers books
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.
- State of the Art in Applied Cryptography: Course on Computer Security and Industrial Cryptography Leuven, Belgium, June 3–6, 1997 Revised Lectures
- Advances in Information and Computer Security: Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings
- Inteligencia Artificial, Un Enfoque Moderno
- People and Computers XIV — Usability or Else!: Proceedings of HCI 2000
- Computer Arts (Christmas 2003)
- Computers in Materials Technology. Proceedings of the International Conference Held at the Institute of Technology, Linköping University, Sweden, June 4–5, 1980
Additional info for Algebraic Methods II: Theory, Tools and Applications
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.
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.)