Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2422/2002
DOI10.1007/3-540-45719-4
Copyright2002
ISBN978-3-540-44144-1
Subject CollectionComputer Science
SpringerLink DateSaturday, August 02, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
34 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-34 | Next
Front Matter

Front MatterPDF (145.5 KB)

  
Chapter
From Specifications to Code in Casl
David Aspinall and Donald Sannella
DOI: 10.1007/3-540-45719-4_1
Full TextPDF (223.2 KB)
 11-40
Chapter
Automata and Games for Synthesis
Igor Walukiewicz
DOI: 10.1007/3-540-45719-4_2
Full TextPDF (170.2 KB)
 203-206
Chapter
Pragmatics of Modular SOS
Peter D. Mosses
DOI: 10.1007/3-540-45719-4_3
Full TextPDF (347.8 KB)
 49-72
Chapter
Tool-Assisted Specification and Verification of the JavaCard Platform
Gilles Barthe, Pierre Courtieu, Guillaume Dufay and Simão Melo de Sousa
DOI: 10.1007/3-540-45719-4_4
Full TextPDF (381.8 KB)
 181-202
Chapter
Higher-Order Quantification and Proof Search*
Dale Miller
DOI: 10.1007/3-540-45719-4_5
Full TextPDF (360.3 KB)
 77-86
Chapter
Algebraic Support for Service-Oriented Architecture
Extended Abstract
José Luiz Fiadeiro
DOI: 10.1007/3-540-45719-4_6
Full TextPDF (1.2 MB)
 215-230
Chapter
Fully Automatic Adaptation of Software Components Based on Semantic Specifications*
Christian Haack, Brian Howard, Allen Stoughton and Joe B. Wells
DOI: 10.1007/3-540-45719-4_7
Full TextPDF (249.2 KB)
 231-239
Chapter
HasCasl: Towards Integrated Specification and Development of Functional Programs
Lutz Schröder and Till Mossakowski
DOI: 10.1007/3-540-45719-4_8
Full TextPDF (359.0 KB)
 153-180
Chapter
Removing Redundant Arguments of Functions*
María Alpuente, Santiago Escobar and Salvador Lucas
DOI: 10.1007/3-540-45719-4_9
Full TextPDF (420.0 KB)
 241-242
Chapter
A Class of Decidable Parametric Hybrid Systems
Michaël Adélaïde and Olivier Roux
DOI: 10.1007/3-540-45719-4_10
Full TextPDF (425.1 KB)
 97-108
Back Matter

Back MatterPDF (30.8 KB)

  
34 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-34 | Next
more options
Find


Starts With
34 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.105 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)