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 : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.)
Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.)
Resource Information
The item Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.) 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 : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.) 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.
- Language
- eng
- Extent
- xi, 544 pages
- Contents
-
- A Software Engineering Program of Lasting Value / David L. Parnas
- Weaving Formal Methods into the Undergraduate Computer Science Curriculum / Jeannette M. Wing
- Making Mathematical Methods More Practical for the Software Developers / David L. Parnas
- Step by Step to Histories / Max Breitling and Jan Philipps
- Distance Functions for Defaults in Reactive Systems / Sofia Guerra
- Generalizing the Modal and Temporal Logic of Linear Time / Bernhard Heinemann
- Process Algebra versus Axiomatic Specification of a Real-Time Protocol / Antonio Cerone
- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software / Mark Lawford, Jeff McDougall and Peter Froebel / [et al.]
- Algebraic State Machines / Manfred Broy and Martin Wirsing
- Meta Languages in Algebraic Compilers / Eric Van Wyk
- Random Access to Abstract Data Types / Martin Erwig
- A Monad for Basic Java Semantics / Bart Jacobs and Erik Poll
- A Global Semantics for Views / Christine Choppy, Pascal Poizat and Jean-Claude Royer
- Analysis of Downward Closed Properties of Logic Programs / Patricia M. Hill and Fausto Spoto
- ASM Formalware in the Software Engineering Cycle / Yuri Gurevich
- Process Calculi for Coordination: From Linda to JavaSpaces / Nadia Busi, Roberto Gorrieri and Gianluigi Zavattaro
- The Algebra of Multi-tasking / Colin J. Fidge
- A Causal Semantics for Timed Default Concurrent Constraint Programming / Simone Tini and Andrea Maggiolo-Schettini
- CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL / Gianna Reggio and Lorenzo Repetto
- Message Authentication through Non Interference / Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli
- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML / Epidio Astesiano, Maura Cerioli and Gianna Reggio
- An ASM Semantics for UML Activity Diagrams / Egon Borger, Alessandra Cavarra and Elvinia Riccobene
- Approximate Bisimilarity / Mingsheng Ying and Martin Wirsing
- Time and Probability in Process Algebra / Suzana Andova
- A Modal Logic for KLAIM / Rocco De Nicola and Michele Loreti
- Kleene under a Demonic Star / Jules Desharnais, Bernhard Moller and Fairouz Tchier
- Pointwise Relational Programming / Oege de Moor and Jeremy Gibbons
- Towards a Toolkit for Actor System Specification / Carolyn L. Talcott
- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic / Christiano de O. Braga, E. Hermann Haeusler and Jose Meseguer / [et al.]
- The Extensibility of Maude's Module Algebra / Francisco Duran
- A Reuse-Oriented Framework for Hierarchical Specifications / Sophie Coudert and Pascale Le Gall
- MIX(FL): A Kernel Language of Mixin Modules / Davide Ancona
- Behavioural Subtyping Relations for Object-Oriented Formalisms / Clemens Fischer and Heike Wehrheim
- Applying Category Theory to Derive Engineering Software from Encoded Knowledge / Michael Healy and Keith Williamson
- A New Logic for Electronic Commerce Protocols / Kamel Adi, Mourad Debbabi and Mohamed Mejri
- Extended Institutions for Testing / Marielle Doche and Virginie Wiels
- Testing from Structured Algebraic Specifications / Patricia D. L. Machado
- Isbn
- 9783540675303
- Label
- Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
- Title
- Algebraic methodology and software technology
- Title remainder
- 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
- Statement of responsibility
- Teodor Rus (ed.)
- Subject
-
- Abstract data types (Computer science) -- Congresses
- Algebraische Methode
- Conference papers and proceedings
- Fundamentele informatica
- Génie logiciel -- Congrès
- Génie logiciel -- Congrès
- Iowa City (Iowa, 2000)
- Iowa City <Iowa, 2000>
- Software engineering
- Software engineering -- Congresses
- Softwareentwicklung
- Types abstraits de données (Informatique) -- Congrès
- Types abstraits de données (informatique) -- Congrès
- conception logiciel
- développement logiciel
- logiciel mathématique
- machine abstraite
- méthode algébrique
- méthode formelle
- processus algébrique
- sémantique programme
- Abstract data types (Computer science)
- Language
- eng
- Cataloging source
- DLC
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.758
- LC item number
- .I5713 2000
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2000
- http://bibfra.me/vocab/lite/meetingName
- International Conference on Algebraic Methodology and Software Technology
- Nature of contents
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
- Rus, Teodor
- http://library.link/vocab/subjectName
-
- Software engineering
- Abstract data types (Computer science)
- processus algébrique
- sémantique programme
- logiciel mathématique
- développement logiciel
- conception logiciel
- machine abstraite
- méthode algébrique
- méthode formelle
- Génie logiciel
- Types abstraits de données (Informatique)
- Abstract data types (Computer science)
- Software engineering
- Fundamentele informatica
- Génie logiciel
- Types abstraits de données (informatique)
- Softwareentwicklung
- Algebraische Methode
- Iowa City <Iowa, 2000>
- Label
- Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- A Software Engineering Program of Lasting Value / David L. Parnas -- Weaving Formal Methods into the Undergraduate Computer Science Curriculum / Jeannette M. Wing -- Making Mathematical Methods More Practical for the Software Developers / David L. Parnas -- Step by Step to Histories / Max Breitling and Jan Philipps -- Distance Functions for Defaults in Reactive Systems / Sofia Guerra -- Generalizing the Modal and Temporal Logic of Linear Time / Bernhard Heinemann -- Process Algebra versus Axiomatic Specification of a Real-Time Protocol / Antonio Cerone -- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software / Mark Lawford, Jeff McDougall and Peter Froebel / [et al.] -- Algebraic State Machines / Manfred Broy and Martin Wirsing -- Meta Languages in Algebraic Compilers / Eric Van Wyk -- Random Access to Abstract Data Types / Martin Erwig -- A Monad for Basic Java Semantics / Bart Jacobs and Erik Poll -- A Global Semantics for Views / Christine Choppy, Pascal Poizat and Jean-Claude Royer -- Analysis of Downward Closed Properties of Logic Programs / Patricia M. Hill and Fausto Spoto -- ASM Formalware in the Software Engineering Cycle / Yuri Gurevich -- Process Calculi for Coordination: From Linda to JavaSpaces / Nadia Busi, Roberto Gorrieri and Gianluigi Zavattaro -- The Algebra of Multi-tasking / Colin J. Fidge -- A Causal Semantics for Timed Default Concurrent Constraint Programming / Simone Tini and Andrea Maggiolo-Schettini -- CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL / Gianna Reggio and Lorenzo Repetto -- Message Authentication through Non Interference / Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli -- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML / Epidio Astesiano, Maura Cerioli and Gianna Reggio -- An ASM Semantics for UML Activity Diagrams / Egon Borger, Alessandra Cavarra and Elvinia Riccobene -- Approximate Bisimilarity / Mingsheng Ying and Martin Wirsing -- Time and Probability in Process Algebra / Suzana Andova -- A Modal Logic for KLAIM / Rocco De Nicola and Michele Loreti -- Kleene under a Demonic Star / Jules Desharnais, Bernhard Moller and Fairouz Tchier -- Pointwise Relational Programming / Oege de Moor and Jeremy Gibbons -- Towards a Toolkit for Actor System Specification / Carolyn L. Talcott -- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic / Christiano de O. Braga, E. Hermann Haeusler and Jose Meseguer / [et al.] -- The Extensibility of Maude's Module Algebra / Francisco Duran -- A Reuse-Oriented Framework for Hierarchical Specifications / Sophie Coudert and Pascale Le Gall -- MIX(FL): A Kernel Language of Mixin Modules / Davide Ancona -- Behavioural Subtyping Relations for Object-Oriented Formalisms / Clemens Fischer and Heike Wehrheim -- Applying Category Theory to Derive Engineering Software from Encoded Knowledge / Michael Healy and Keith Williamson -- A New Logic for Electronic Commerce Protocols / Kamel Adi, Mourad Debbabi and Mohamed Mejri -- Extended Institutions for Testing / Marielle Doche and Virginie Wiels -- Testing from Structured Algebraic Specifications / Patricia D. L. Machado
- Dimensions
- 23 cm.
- Dimensions
- unknown
- Extent
- xi, 544 pages
- Isbn
- 9783540675303
- Lccn
- 00032203
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- Specific material designation
- remote
- System control number
-
- (OCoLC)44045563
- (OCoLC)ocm44045563
- Label
- Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- A Software Engineering Program of Lasting Value / David L. Parnas -- Weaving Formal Methods into the Undergraduate Computer Science Curriculum / Jeannette M. Wing -- Making Mathematical Methods More Practical for the Software Developers / David L. Parnas -- Step by Step to Histories / Max Breitling and Jan Philipps -- Distance Functions for Defaults in Reactive Systems / Sofia Guerra -- Generalizing the Modal and Temporal Logic of Linear Time / Bernhard Heinemann -- Process Algebra versus Axiomatic Specification of a Real-Time Protocol / Antonio Cerone -- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software / Mark Lawford, Jeff McDougall and Peter Froebel / [et al.] -- Algebraic State Machines / Manfred Broy and Martin Wirsing -- Meta Languages in Algebraic Compilers / Eric Van Wyk -- Random Access to Abstract Data Types / Martin Erwig -- A Monad for Basic Java Semantics / Bart Jacobs and Erik Poll -- A Global Semantics for Views / Christine Choppy, Pascal Poizat and Jean-Claude Royer -- Analysis of Downward Closed Properties of Logic Programs / Patricia M. Hill and Fausto Spoto -- ASM Formalware in the Software Engineering Cycle / Yuri Gurevich -- Process Calculi for Coordination: From Linda to JavaSpaces / Nadia Busi, Roberto Gorrieri and Gianluigi Zavattaro -- The Algebra of Multi-tasking / Colin J. Fidge -- A Causal Semantics for Timed Default Concurrent Constraint Programming / Simone Tini and Andrea Maggiolo-Schettini -- CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL / Gianna Reggio and Lorenzo Repetto -- Message Authentication through Non Interference / Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli -- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML / Epidio Astesiano, Maura Cerioli and Gianna Reggio -- An ASM Semantics for UML Activity Diagrams / Egon Borger, Alessandra Cavarra and Elvinia Riccobene -- Approximate Bisimilarity / Mingsheng Ying and Martin Wirsing -- Time and Probability in Process Algebra / Suzana Andova -- A Modal Logic for KLAIM / Rocco De Nicola and Michele Loreti -- Kleene under a Demonic Star / Jules Desharnais, Bernhard Moller and Fairouz Tchier -- Pointwise Relational Programming / Oege de Moor and Jeremy Gibbons -- Towards a Toolkit for Actor System Specification / Carolyn L. Talcott -- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic / Christiano de O. Braga, E. Hermann Haeusler and Jose Meseguer / [et al.] -- The Extensibility of Maude's Module Algebra / Francisco Duran -- A Reuse-Oriented Framework for Hierarchical Specifications / Sophie Coudert and Pascale Le Gall -- MIX(FL): A Kernel Language of Mixin Modules / Davide Ancona -- Behavioural Subtyping Relations for Object-Oriented Formalisms / Clemens Fischer and Heike Wehrheim -- Applying Category Theory to Derive Engineering Software from Encoded Knowledge / Michael Healy and Keith Williamson -- A New Logic for Electronic Commerce Protocols / Kamel Adi, Mourad Debbabi and Mohamed Mejri -- Extended Institutions for Testing / Marielle Doche and Virginie Wiels -- Testing from Structured Algebraic Specifications / Patricia D. L. Machado
- Dimensions
- 23 cm.
- Dimensions
- unknown
- Extent
- xi, 544 pages
- Isbn
- 9783540675303
- Lccn
- 00032203
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- Specific material designation
- remote
- System control number
-
- (OCoLC)44045563
- (OCoLC)ocm44045563
Subject
- Abstract data types (Computer science) -- Congresses
- Algebraische Methode
- Conference papers and proceedings
- Fundamentele informatica
- Génie logiciel -- Congrès
- Génie logiciel -- Congrès
- Iowa City (Iowa, 2000)
- Iowa City <Iowa, 2000>
- Software engineering
- Software engineering -- Congresses
- Softwareentwicklung
- Types abstraits de données (Informatique) -- Congrès
- Types abstraits de données (informatique) -- Congrès
- conception logiciel
- développement logiciel
- logiciel mathématique
- machine abstraite
- méthode algébrique
- méthode formelle
- processus algébrique
- sémantique programme
- Abstract data types (Computer science)
Genre
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
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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Algebraic-methodology-and-software-technology-/g3ZHlR_nfb4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Algebraic-methodology-and-software-technology-/g3ZHlR_nfb4/">Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.)</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 : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Algebraic-methodology-and-software-technology-/g3ZHlR_nfb4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Algebraic-methodology-and-software-technology-/g3ZHlR_nfb4/">Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings, Teodor Rus (ed.)</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>