Articoli correlati a Algebraic Methodology and Software Technology: 10th...
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings: 3116 - Brossura
Sinossi
committee selected 35 papers to be presented.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Invited Speakers.- Algebraic Approaches to Problem Generalisation.- A Science of Software Design.- Glass Box and Black Box Views of State-Based System Specifications.- Abstraction for Safety, Induction for Liveness.- Counting Votes with Formal Methods.- Agent-Oriented Programming: Where Do We Stand?.- Contributed Talks.- On Guard: Producing Run-Time Checks from Integrity Constraints.- Behavioural Types and Component Adaptation.- Towards Correspondence Carrying Specifications.- Formalizing and Proving Semantic Relations between Specifications by Reflection.- Model-Checking Systems with Unbounded Variables without Abstraction.- A Generic Software Safety Document Generator.- Linear Temporal Logic and Z Refinement.- Formal JVM Code Analysis in JavaFAN.- Verifying a Sliding Window Protocol in ?CRL.- State Space Reduction for Process Algebra Specifications.- A Hybrid Logic of Knowledge Supporting Topological Reasoning.- A Language for Configuring Multi-level Specifications.- Flexible Proof Reuse for Software Verification.- Deductive Verification of Distributed Groupware Systems.- Formal Verification of a Commercial Smart Card Applet with Multiple Tools.- Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.- Refining Mobile UML State Machines.- Verifying Invariants of Component-Based Systems through Refinement.- Modelling Concurrent Interactions.- Proof Support for RAISE by a Reuse Approach Based on Institutions.- Separate Compositional Analysis of Class-Based Object-Oriented Languages.- Abstract Domains for Property Checking Driven Analysis of Temporal Properties.- Modular Rewriting Semantics of Programming Languages.- Modal Kleene Algebra and Partial Correctness.- Modularity and the Rule of Adaptation.- Modal Abstractions in ?CRL.- Semantics of Plan Revision in Intelligent Agents.- Generic Exception Handling and the Java Monad.- Expressing Iterative Properties Logically in a Symbolic Setting.- Extending Separation Logic with Fixpoints and Postponed Substitution.- A Formally Verified Calculus for Full Java Card.- On Refinement of Generic State-Based Software Components.- Techniques for Executing and Reasoning about Specification Diagrams.- Formalising Graphical Behaviour Descriptions.- Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions.
Product Description
Algebraic Methodology And Software Technology: 10Th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, ProceedingsbyCharles Rattray, Carron Shankland, Savitri Maharaj, 9783540223818, Springer, Paperback, Paperback
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540223819
- ISBN 13 9783540223818
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine584
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Algebraic Methodology and Software Technology: 10th...
Immagini fornite dal venditore
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings: 3116 (Lecture Notes in Computer Science, 3116)
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Codice articolo wbb0024384974
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116)
Da: Studibuch, Stuttgart, Germania
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Gut. 584 Seiten; 9783540223818.3 Gewicht in Gramm: 2. Codice articolo 880138
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Methodology and Software Technology
Editore:
Springer Berlin Heidelberg, 2004
ISBN 10: 3540223819
ISBN 13: 9783540223818
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Speakers.- Algebraic Approaches to Problem Generalisation.- A Science of Software Design.- Glass Box and Black Box Views of State-Based System Specifications.- Abstraction for Safety, Induction for Liveness.- Counting Votes with Formal Methods.- Age. Codice articolo 4885533
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 Proceedings
Editore:
Springer Verlag, New York, 2004
ISBN 10: 3540223819
ISBN 13: 9783540223818
Antico o usato
Rilegato
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3116. [xi, 569 p. : ill. ; 24 cm]. Codice articolo 011866
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Methodology and Software Technology
Editore:
Springer Berlin Heidelberg Jun 2004, 2004
ISBN 10: 3540223819
ISBN 13: 9783540223818
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12 16,2004,in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software techn- ogy on a rm, mathematical basis. This goal is achieved by a large international cooperationwith contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned asbeing capableofprovidingsoftwarethatis(a)correct,andthecorrectnesscan be provedmathematically, (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, and (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. PreviousAMASTmeetingswereheldinIowaCity(1989,1991,2000),Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Reunion Island (2002), and contributed 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 researchersand practitioners interested in software technology, progr- ming methodology and their algebraic and logical foundations. For AMAST 2004therewere63 submissionsof overallhigh quality, authored by researchers from Australia, Canada, China, the Czech Republic, Denmark, France, Germany, India, Iran, Israel, Italy, Korea, Portugal,Spain, Taiwan, The Netherlands, Turkey, the UK, and the USA. All submissions were thoroughly evaluated, and an electronic programcommittee meeting was held to discuss the reviewers reports. The program committee selected 35 papers to be presented. 588 pp. Englisch. Codice articolo 9783540223818
Quantità: 2 disponibili
Immagini fornite dal venditore
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Editore:
Springer Berlin Heidelberg, 2004
ISBN 10: 3540223819
ISBN 13: 9783540223818
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12 16,2004,in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software techn- ogy on a rm, mathematical basis. This goal is achieved by a large international cooperationwith contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned asbeing capableofprovidingsoftwarethatis(a)correct,andthecorrectnesscan be provedmathematically, (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, and (d) evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. PreviousAMASTmeetingswereheldinIowaCity(1989,1991,2000),Twente (1993), Montreal (1995), Munich (1996), Sydney (1997), Manaus (1999), and Reunion Island (2002), and contributed 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 researchersand practitioners interested in software technology, progr- ming methodology and their algebraic and logical foundations. For AMAST 2004therewere63 submissionsof overallhigh quality, authored by researchers from Australia, Canada, China, the Czech Republic, Denmark, France, Germany, India, Iran, Israel, Italy, Korea, Portugal,Spain, Taiwan, The Netherlands, Turkey, the UK, and the USA. All submissions were thoroughly evaluated, and an electronic programcommittee meeting was held to discuss the reviewers reports. The program committee selected 35 papers to be presented. Codice articolo 9783540223818
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Methodology and Software Technology
ISBN 10: 3540223819
ISBN 13: 9783540223818
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -committee selected 35 papers to be presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch. Codice articolo 9783540223818
Quantità: 2 disponibili
Foto dell'editore
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540223818_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Methodology and Software Technology : 10th International Conference, Amast 2004, Stirling, Scotland, Uk, July 12-16, 2004, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3462753-n
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783540223818
Quantità: Più di 20 disponibili