Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008584252/catalog> ?p ?o. }

• catalog abstract "The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci?cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT’99) took place at the Chat ˆ eau de Bonas, near Toulouse, September 15–18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: – algebraic speci?cation – other approaches to formal speci?cation – speci?cation languages and methods – term rewriting and proof systems – speci?cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci?cations and other speci?cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re?nement, institutions and categories, ASM speci?cations. There were also sessions re?ecting - going research achieved in the Common Framework Initiative (CoFI, see http://www.brics.dk/Projects/CoFI/), within its di?erent task groups: CASL (Common Algebraic Speci?cation Language), CASL semantics, CASL tools, methodology, and reactive systems.".
• catalog contributor b12014266.
• catalog contributor b12014267.
• catalog contributor b12014268.
• catalog contributor b12014269.
• catalog created "c2000.".
• catalog date "2000".
• catalog date "c2000.".
• catalog dateCopyrighted "c2000.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Invited Topics -- A Type-Theoretic Memory Model for Verification of Sequential Java Programs -- From States to Histories -- Principles and Pragmatics of Subtyping in PVS -- Casl: Language, Methodology and Tools -- Extending Casl by Late Binding -- Towards an Evolutionary Formal Software-Development Using CASL -- Development of Parsing Tools for CASL Using Generic Language Technology -- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach -- Subsorted Partial Higher-Order Logic as an Extension of CASL -- Specifying Real Numbers in CASL -- Foundations -- Specification Refinement with System F – The Higher-Order Case -- Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There -- A General Completeness Result in Refinement -- An Institution of Hybrid Systems -- Realization of Probabilistic Automata: Categorical Approach -- Specifications in an Arbitrary Institution with Symbols -- A General Algebraic Framework for Studying Modular Systems -- Specification of Processes and Interactions -- History Preserving Bisimulation for Contextual Nets -- A Model for Interaction of Agents and Environments -- Algebra-Coalgebra Structures and Bialgebras -- A Uniform Model Theory for the Specification of Data and Process Types -- Other Topics -- Relating Abstract Datatypes and Z-Schemata -- Algebraic Specification of Operator-Based Multimedia Scenarios -- Higher-Order Logic and Theorem Proving for Structured Specifications -- Extraction of Structured Programs from Specification Proofs -- Towards a Verification Logic for Rewriting Logic -- The Rôle of Normalisation in Testing from Structured Algebraic Specifications.".
• catalog description "The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci?cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT’99) took place at the Chat ˆ eau de Bonas, near Toulouse, September 15–18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: – algebraic speci?cation – other approaches to formal speci?cation – speci?cation languages and methods – term rewriting and proof systems – speci?cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci?cations and other speci?cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re?nement, institutions and categories, ASM speci?cations. There were also sessions re?ecting - going research achieved in the Common Framework Initiative (CoFI, see http://www.brics.dk/Projects/CoFI/), within its di?erent task groups: CASL (Common Algebraic Speci?cation Language), CASL semantics, CASL tools, methodology, and reactive systems.".
• catalog extent "x, 476 p. ;".
• catalog identifier "3540678980 (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1827.".
• catalog issued "2000".
• catalog issued "c2000.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1 21".
• catalog subject "Abstract data types (Computer science) Congresses.".
• catalog subject "Computer science Mathematics Congresses.".
• catalog subject "Computer science.".
• catalog subject "Computer software Development Congresses.".
• catalog subject "Logic design.".
• catalog subject "QA76.76.D47 W33 1999".
• catalog subject "Software engineering.".
• catalog tableOfContents "Invited Topics -- A Type-Theoretic Memory Model for Verification of Sequential Java Programs -- From States to Histories -- Principles and Pragmatics of Subtyping in PVS -- Casl: Language, Methodology and Tools -- Extending Casl by Late Binding -- Towards an Evolutionary Formal Software-Development Using CASL -- Development of Parsing Tools for CASL Using Generic Language Technology -- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach -- Subsorted Partial Higher-Order Logic as an Extension of CASL -- Specifying Real Numbers in CASL -- Foundations -- Specification Refinement with System F – The Higher-Order Case -- Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There -- A General Completeness Result in Refinement -- An Institution of Hybrid Systems -- Realization of Probabilistic Automata: Categorical Approach -- Specifications in an Arbitrary Institution with Symbols -- A General Algebraic Framework for Studying Modular Systems -- Specification of Processes and Interactions -- History Preserving Bisimulation for Contextual Nets -- A Model for Interaction of Agents and Environments -- Algebra-Coalgebra Structures and Bialgebras -- A Uniform Model Theory for the Specification of Data and Process Types -- Other Topics -- Relating Abstract Datatypes and Z-Schemata -- Algebraic Specification of Operator-Based Multimedia Scenarios -- Higher-Order Logic and Theorem Proving for Structured Specifications -- Extraction of Structured Programs from Specification Proofs -- Towards a Verification Logic for Rewriting Logic -- The Rôle of Normalisation in Testing from Structured Algebraic Specifications.".
• catalog title "Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".