cerkalo
» » Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... (Lecture Notes in Computer Science)

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... (Lecture Notes in Computer Science) download ebook

by Helene Kirchner,Christophe Ringeissen

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... (Lecture Notes in Computer Science) download ebook
ISBN:
3540441441
ISBN13:
978-3540441441
Author:
Helene Kirchner,Christophe Ringeissen
Publisher:
Springer; 2002 edition (October 3, 2002)
Language:
Pages:
508 pages
ePUB:
1504 kb
Fb2:
1251 kb
Other formats:
txt rtf lrf azw
Category:
Computer Science
Subcategory:
Rating:
4.8

Lecture Notes in Computer Science. This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in ns, R´eunion Island, France.

Lecture Notes in Computer Science. Algebraic Methodology and Software Technology. This goal is achieved through a large international cooperation with contributions from both academia and industry.

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in ns, Reunion Island.

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in ns, Reunion Island, France in September 2002.

Lecture Notes in Computer Science) as Want to Read .

Lecture Notes in Computer Science) as Want to Read: Want to Read savin. ant to Read. This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in ns, Reunion Island, France in September 2002.

Request PDF On Jan 1, 2002, Hélène Kirchner and others published Algebraic Methodology and Software Technology, 9th . Berlin u. a. : Springer, 2002. (Lecture notes in computer science ; 2422).

Berlin u.

Showing all works by author. Would you like to see only ebooks? Algebraic methodology and software technology.

book by Hélène Kirchner

book by Hélène Kirchner. This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in ns, R eunion Island, France.

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in ns, R´eunion Island, France.

Lecture Notes in Computer Science, Volume 2422. 9th International Conference, AMAST 2002, ns, Reunion Island, France, 0. 9. Amsterdam: Springer, pp. 254-270. 1007/3-540-45719-4 18. Abstract We propose a methodology for the analysis of open systems based on process calculi and bisimilarity. Open systems are seen as coordinators (. terms with place-holders), that evolve when suitable components (. closed terms) fill in their place-holders.

Ninth International Conference on Algebraic Methodology And Software Technology (AMAST 2002), Saint-Gilles . H Kirchner, C Ringeissen.

Ninth International Conference on Algebraic Methodology And Software Technology (AMAST 2002), Saint-Gilles, Reunion Island, France, 9-13 September 2002. Bulletin-european association for theoretical computer science 79, 250-251, 2003. O Fissore, I Gnaedig, H Kirchner International ACM SIGPLAN Conference on Principles an. 2003.

Helene Kirchner, Christophe Ringeissen. This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in ns, Reunion Island,. This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in ns, Reunion Island, France.

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R´eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a ?rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i. e. , independent of computing platforms and language generations, (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. All previous AMAST conferences, which were held in Iowa City (1989, 1991), Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Iowa City (2000), made contributions to the AMAST goals by reporting and disseminating academic and industrial achievements within the AMAST area of interest. During these meetings, AMAST attracted an international following among researchers and practitioners interested in software technology, progr- ming methodology, and their algebraic, and logical foundations.
Related to Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September ... (Lecture Notes in Computer Science)