Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource)
Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource)
Resource Information
The item Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This book constitutes the refereed proceedings of the 7th International Conference on Algebraic Methodology and Software Technology, AMAST'98, held in Amazonia, Brazil in January 1999. The 29 revised full papers presented were carefully selected from a total of 80 submissions. Also included are extended abstracts of six invited survey talks and three system descriptions. The papers span the whole range of algebraic methods in software engineering. Among the topics addressed are algebraic semantics, algebraic specification, model checking, logics for realtime and reactive systems, modal logics, term rewriting, formal verification, process algebras, type systems, etc
 Language
 eng
 Extent
 XII, 540 p.
 Contents

 Invited Talks (Extended Abstracts)
 Duration Calculus, a Logical Approach to RealTime Systems
 Abstract Algebraic Logic
 Systematising Reactive System Design
 Systematic Design of CallCoverage Features
 Visual Abstractions for Temporal Verification
 A Linear Metalanguage for Concurrency
 Presentations
 Verification of Bounded Delay Asynchronous Circuits with Timed Traces
 Verification of Temporal Properties of Processes in a Setting with Data
 A Logic for RealTime Systems Specification Its Algebraic Semantics and Equational Calculus
 Effective Recognizability and Model Checking of Reactive Fiffo Automata
 Combining Methods for the Livelock Analysis of a FaultTolerant System
 Presentations
 Separating Sets by Modal Formulas
 Interpolation in Modal Logic
 Building Models of Linear Logic
 Term Rewriting in a Logic of Special Relations
 Abstraction Barriers in Equational Proof
 Presentations
 A Synergy Between ModelChecking and Type Inference for the Verification of ValuePassing HigherOrder Processes
 A TraceBased Refinement Calculus for SharedVariable Parallel Programs
 Consistency of Partial Process Specifications
 Observational Logic
 Scheduling Algebra
 Presentations
 Algebraic Semantics of Coordination or What Is in a Signature
 An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment
 An Algebraic View of Program Composition
 Architectural Specifications in CASL
 PiCongruences as CCS Equivalences
 Presentations
 Algebraic Specifications, HigherOrder Types and SetTheoretic Models
 Type Analysis for CHIP
 Categorical Programming with Abstract Data Types
 Condensing Lemmas for Pure Type Systems with Universes
 Improving Computations in a Typed Functional Logic Language
 Presentations
 Abstract Interpretation of Prolog Programs
 Factorizing Equivalent Variable Pairs in ROBDDBased Implementations of Pos
 A Single Perspective on Arrows between Institutions
 On Oracles for Interpreting Test Results against Algebraic Specifications
 Systems and Tool Demonstrations
 Recopla: An Extendible Graphic MetaEditor
 The State of PEP
 The Abaco System — An Algebraic Based Action COmpiler
 Isbn
 9783540492535
 Label
 Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
 Title
 Algebraic Methodology and Software Technology
 Title remainder
 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
 Statement of responsibility
 edited by Armando M. Haeberer
 Subject

 Software Engineering
 Algebra  Data processing
 Software engineering
 Software Engineering
 Logic design
 Computer science
 Computer science
 Software Engineering
 Logic design
 Mathematical Logic and Formal Languages
 Artificial intelligence
 Computer Science
 Computer Science
 Electronic resources
 Algebra  Data processing
 Logic design
 Software engineering
 Artificial intelligence
 Artificial intelligence
 Logics and Meanings of Programs
 Algebra  Data processing
 Computer Science
 Computer science
 Software engineering
 Artificial Intelligence (incl. Robotics)
 Symbolic and Algebraic Manipulation
 Language
 eng
 Summary
 This book constitutes the refereed proceedings of the 7th International Conference on Algebraic Methodology and Software Technology, AMAST'98, held in Amazonia, Brazil in January 1999. The 29 revised full papers presented were carefully selected from a total of 80 submissions. Also included are extended abstracts of six invited survey talks and three system descriptions. The papers span the whole range of algebraic methods in software engineering. Among the topics addressed are algebraic semantics, algebraic specification, model checking, logics for realtime and reactive systems, modal logics, term rewriting, formal verification, process algebras, type systems, etc
 http://library.link/vocab/creatorName
 Haeberer, Armando M
 Image bit depth
 0
 LC call number

 QA76.9.L63
 QA76.5913
 QA76.63
 Literary form
 non fiction
 http://library.link/vocab/relatedWorkOrContributorName
 SpringerLink
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 1548
 http://library.link/vocab/subjectName

 Computer science
 Software engineering
 Logic design
 Algebra
 Artificial intelligence
 Computer Science
 Logics and Meanings of Programs
 Software Engineering
 Mathematical Logic and Formal Languages
 Artificial Intelligence (incl. Robotics)
 Symbolic and Algebraic Manipulation
 Label
 Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Invited Talks (Extended Abstracts)  Duration Calculus, a Logical Approach to RealTime Systems  Abstract Algebraic Logic  Systematising Reactive System Design  Systematic Design of CallCoverage Features  Visual Abstractions for Temporal Verification  A Linear Metalanguage for Concurrency  Presentations  Verification of Bounded Delay Asynchronous Circuits with Timed Traces  Verification of Temporal Properties of Processes in a Setting with Data  A Logic for RealTime Systems Specification Its Algebraic Semantics and Equational Calculus  Effective Recognizability and Model Checking of Reactive Fiffo Automata  Combining Methods for the Livelock Analysis of a FaultTolerant System  Presentations  Separating Sets by Modal Formulas  Interpolation in Modal Logic  Building Models of Linear Logic  Term Rewriting in a Logic of Special Relations  Abstraction Barriers in Equational Proof  Presentations  A Synergy Between ModelChecking and Type Inference for the Verification of ValuePassing HigherOrder Processes  A TraceBased Refinement Calculus for SharedVariable Parallel Programs  Consistency of Partial Process Specifications  Observational Logic  Scheduling Algebra  Presentations  Algebraic Semantics of Coordination or What Is in a Signature  An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment  An Algebraic View of Program Composition  Architectural Specifications in CASL  PiCongruences as CCS Equivalences  Presentations  Algebraic Specifications, HigherOrder Types and SetTheoretic Models  Type Analysis for CHIP  Categorical Programming with Abstract Data Types  Condensing Lemmas for Pure Type Systems with Universes  Improving Computations in a Typed Functional Logic Language  Presentations  Abstract Interpretation of Prolog Programs  Factorizing Equivalent Variable Pairs in ROBDDBased Implementations of Pos  A Single Perspective on Arrows between Institutions  On Oracles for Interpreting Test Results against Algebraic Specifications  Systems and Tool Demonstrations  Recopla: An Extendible Graphic MetaEditor  The State of PEP  The Abaco System — An Algebraic Based Action COmpiler
 Dimensions
 unknown
 Extent
 XII, 540 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540492535
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540492534
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540492535
 Label
 Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource)
 Antecedent source
 mixed
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Invited Talks (Extended Abstracts)  Duration Calculus, a Logical Approach to RealTime Systems  Abstract Algebraic Logic  Systematising Reactive System Design  Systematic Design of CallCoverage Features  Visual Abstractions for Temporal Verification  A Linear Metalanguage for Concurrency  Presentations  Verification of Bounded Delay Asynchronous Circuits with Timed Traces  Verification of Temporal Properties of Processes in a Setting with Data  A Logic for RealTime Systems Specification Its Algebraic Semantics and Equational Calculus  Effective Recognizability and Model Checking of Reactive Fiffo Automata  Combining Methods for the Livelock Analysis of a FaultTolerant System  Presentations  Separating Sets by Modal Formulas  Interpolation in Modal Logic  Building Models of Linear Logic  Term Rewriting in a Logic of Special Relations  Abstraction Barriers in Equational Proof  Presentations  A Synergy Between ModelChecking and Type Inference for the Verification of ValuePassing HigherOrder Processes  A TraceBased Refinement Calculus for SharedVariable Parallel Programs  Consistency of Partial Process Specifications  Observational Logic  Scheduling Algebra  Presentations  Algebraic Semantics of Coordination or What Is in a Signature  An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment  An Algebraic View of Program Composition  Architectural Specifications in CASL  PiCongruences as CCS Equivalences  Presentations  Algebraic Specifications, HigherOrder Types and SetTheoretic Models  Type Analysis for CHIP  Categorical Programming with Abstract Data Types  Condensing Lemmas for Pure Type Systems with Universes  Improving Computations in a Typed Functional Logic Language  Presentations  Abstract Interpretation of Prolog Programs  Factorizing Equivalent Variable Pairs in ROBDDBased Implementations of Pos  A Single Perspective on Arrows between Institutions  On Oracles for Interpreting Test Results against Algebraic Specifications  Systems and Tool Demonstrations  Recopla: An Extendible Graphic MetaEditor  The State of PEP  The Abaco System — An Algebraic Based Action COmpiler
 Dimensions
 unknown
 Extent
 XII, 540 p.
 File format
 multiple file formats
 Form of item
 electronic
 Isbn
 9783540492535
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/3540492534
 Other physical details
 online resource.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number
 (DEHe213)9783540492535
Subject
 Algebra  Data processing
 Algebra  Data processing
 Algebra  Data processing
 Artificial Intelligence (incl. Robotics)
 Artificial intelligence
 Artificial intelligence
 Artificial intelligence
 Computer Science
 Computer Science
 Computer Science
 Computer science
 Computer science
 Computer science
 Electronic resources
 Logic design
 Logic design
 Logic design
 Logics and Meanings of Programs
 Mathematical Logic and Formal Languages
 Software Engineering
 Software Engineering
 Software Engineering
 Software engineering
 Software engineering
 Software engineering
 Symbolic and Algebraic Manipulation
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/AlgebraicMethodologyandSoftwareTechnology/E1C7pQnON3M/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AlgebraicMethodologyandSoftwareTechnology/E1C7pQnON3M/">Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/AlgebraicMethodologyandSoftwareTechnology/E1C7pQnON3M/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/AlgebraicMethodologyandSoftwareTechnology/E1C7pQnON3M/">Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings, edited by Armando M. Haeberer, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>