Cover Image

Program design calculi /

Show other versions (1)

The development of information processing systems requires models, calculi, and theories for the analysis of computations. Complex software systems are best constructed in a careful, systematic, and disciplined structuring of the development process. Starting from basic requirement specifications in...

Full description

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Program Design Calculi
Other Authors:	Broy, M., 1949-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1993]
Series:	NATO ASI series. Computer and systems sciences ; no. 118.
Subjects:	System design > Congresses. calcul conception. conception logiciel. programmation fonctionnelle. calcul formel. raffinement. Programmatuurtechniek. Ordinateurs > Programmation > Congrès. System design. Computers > Design Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /
Published: (1996)

Algebraic system specification and development : a survey and annotated bibliography /
Published: (1991)

System design through MATLAB, Control Toolbox and SIMULINK /
by: Singh, Krishna Kumari, 1969-
Published: (2001)

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers /
Published: (1995)

Hardware/software co-design /
Published: (1996)

Correct system design : recent insights and advances /
Published: (1999)

Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings /
Published: (2001)

Advances in exception handling techniques /
Published: (2001)

Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Published: (1980)

Conceptual modeling : current issues and future directions /
Published: (1999)

Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings /
Published: (2002)

Calculator programs for pipe stress engineering /
by: Morgan, Kenneth Scott, 1952-
Published: (1986)

Advanced systems design with Java, UML, and MDA /
by: Lano, K.
Published: (2005)

Handheld calculator programs for engineering design /
by: Marter, Melvin L.
Published: (1983)

Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
Published: (1996)

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
Published: (1983)

Computer-aided design techniques
by: Wolfendale, E.
Published: (1970)

Nondeterminism in algebraic specifications and algebraic programs /
by: Hussmann, Heinrich, 1959-
Published: (1993)

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
Published: (2000)

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Published: (2002)

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
Published: (2003)

Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

Microwave circuit design using programmable calculators /
by: Allen, J. L. (James Lemar), 1936-
Published: (1980)

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text /
Published: (1995)

Computer aided design of multivariable technological systems : proceedings of the second IFAC symposium, West Lafayette, Indiana, USA, 15-17 September 1982 /
Published: (1983)

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /
Published: (1996)

Programming the TI-59 & the HP-41 calculators /
by: Garrison, Paul
Published: (1982)

Programmable pocket calculators /
by: Mullish, Henry
Published: (1980)

REDUCE : software for algebraic computation /
by: Rayna, Gerhard
Published: (1987)

Programming programmable calculators /
by: Engelsohn, Harold S.
Published: (1978)

HP-41 synthetic programming made easy /
by: Jarett, Keith
Published: (1982)

Handheld calculator programs for rotating equipment gn /
by: Fielding, Leslie
Published: (1983)

Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers /
Published: (2000)

Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings /
Published: (2001)

How to program your programmable calculator /
by: Snover, Stephen L.
Published: (1979)

Program design calculi /
Published: (1993)

Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)

Building systems design with programmable calculators /
by: Daryanani, Sital
Published: (1980)

Active filter design handbook : for use with programmable pocket calculators and mini computers /
by: Moschytz, George S.
Published: (1981)

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
Published: (1997)