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 fundamental information constructions is a vital and complicated half within the means of application development. Algebraic tools offer options for info abstraction and the dependent specification, validation and research of information buildings. This quantity originates from a workshop equipped inside of ESPRIT venture 432 METEOR, An built-in Formal method of commercial software program improvement, held in Mierlo, The Netherlands, September 1989. the quantity comprises 5 invited contributions in accordance with workshop talks given via A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten extra papers through individuals of the METEOR workforce are according 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 laptop technology, Vol. 394.

Show description

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

Best computers books

Susan J. Slaughter, Lora D. Delwiche's The Little SAS Book for Enterprise Guide 4.1 PDF

Studying to take advantage of SAS firm advisor hasn't ever been more straightforward! With The Little SAS e-book for company consultant four. 1, Susan Slaughter and Lora Delwiche assist you quick get to grips with the SAS firm consultant point-and-click surroundings. a chain of conscientiously designed tutorials assist you grasp the fundamentals of the projects you should do most often.

Read e-book online Cloud Computing: First International Conference, CloudComp PDF

This e-book exhibits the convention lawsuits of CloudComp 2009 held in Munich, Germany, in October 2009.

Download e-book for kindle: Algebraic Methods II: Theory, Tools and Applications by N. W. P. van Diepen, H. A. Partsch (auth.), J. A. Bergstra,

The right kind remedy and selection of the elemental information buildings is a vital and complicated half within the technique of application building. Algebraic equipment offer suggestions for information abstraction and the based specification, validation and research of information buildings. This quantity originates from a workshop geared up inside ESPRIT venture 432 METEOR, An built-in Formal method of commercial software program improvement, held in Mierlo, The Netherlands, September 1989.

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

Sample text

University of California at Los Angeles, Computer Science Department, 1977. : OBJ-1, a study in executable algebraic formal specifications. SttI International Technical Report, 1981. : The science of programming. Berlin: Springer, 1981. : Preliminary Report on the LARCH shared language. Technical Report CSL 83-6, Xerox, Palo Alto, 1983. [Hehner et al. : Predicative Methodology. In: Acta Informatica 23, pp. 487-505, 1986. : Functional programming: application and implementation. : Prentice-Hall, 1980.

1985); Dynamic Configuration for Distributed Systems; IEEE Trans. Software Engineering; SE-11,4, pp 424-436. , Potts C. & Whitehead K. (1987);"Tool Assisted Requirements Analysis: TARA final report"; Imperial College, Dept. of Computing, Technical Report 87/18. Mackenzie, J. (1981); The Dialectics of Logic; Logique et Analyse, V24, pp 159-177. Mullery, G. (1985); Acquisition - Environment; (In) Paul, M. & Siegert, H. "Distributed Systems: Methods and Tools for Specification"; Springer Verlag LNCS 190.

Requirements analysis - - a management perspective. In: Proc. COMPSAC '82, pp. 410-416, November 1982. : Specifying software requirements. In: Proc. IEEE 68:9, pp. 1077-1085, 1980. ViewPoint Oriented Software Development: Methods and Viewpoints in Requirements Engineering Anthony Finkelstein Michael Goedicke Jeff Kramer Celso Niskier Imperial College of Science, Technology & Medidne (University of London) Abstract This paper outlines progress on: developing methods to support requirements formalisation; incremental development of formal specifications; tool support for requirements expression; modelling requirements elicltation.

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 Richard
4.2

Rated 4.73 of 5 – based on 23 votes