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.)

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.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
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.)
Instantiates
Publication
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.)
Publication
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

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...