TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

AvMichel Bidoit,Max Dauchet

Häftad, Engelska, 1997

Del i serien Lecture Notes in Computer Science

1 135 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997.The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.

Produktinformation

Utgivningsdatum:1997-04-02
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:892
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540627814

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

Theoretical Computer Science and software science: The past, the present and the future (position paper).- Future trends of TAPSOFT.- New challenges for theoretical computer science.- What does the future hold for theoretical computer science?.- Automata theory on trees and partial orders.- A theory of testing for timed automata.- Conservative extensions, interpretations between theories and all that!.- Specification and proof in membership equational logic.- Formalism and method.- CoFI: The common framework initiative for algebraic specification and development.- Logicality of conditional rewrite systems.- Simulating forward-branching systems with constructor systems.- Reliable generalized and context dependent commutation relations.- Word-into-Trees Transducers with bounded difference.- Generalized quantitative temporal reasoning: An automata-theoretic approach.- The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages.- Model checking through symbolic reachability graph.- Optimal implementation of wait-free binary relations.- Relative undecidability in the termination hierarchy of single rewrite rules.- Termination proofs using gpo ordering constraints.- Automatically proving termination where simplification orderings fail.- Generating efficient, terminating logic programs.- Modal characterization of weak bisimulation for higher-order processes.- Formats of ordered SOS rules with silent actions.- A uniform syntactical method for proving coinduction principles in ?-calculi.- A labelled transition system for ??-calculus.- Set operations for recurrent term schematizations.- Inclusion constraints over non-empty sets of trees.- Grid structures and undecidable constraint theories.- Predicative functionalrecurrence and poly-space.- On the complexity of function pointer may-alias analysis.- Maximum packing for biconnected outerplanar graphs.- Synchronization of a line of identical processors at a given time.- An algorithm for the solution of tree equations.- E-unification by means of tree tuple synchronized grammars.- Linear interpolation for the higher-order matching problem.- A semantic framework for functional logic programming with algebraic polymorphic types.- Subtyping constraints for incomplete objects.- Partializing stone spaces using SFP domains.- Let-polymorphism and eager type schemes.- Semantics of architectural connectors.- Protective interface specifications.- Specifying complex and structured systems with Evolving Algebras.- A comparison of modular verification techniques.- A compositional proof of a real-time mutual exclusion protocol.- Traces of I/O-automata in Isabelle/HOLCF.- Reactive types.- A type-based approach to program security.- An applicative module calculus.- Compositional specification of embedded systems with Statecharts.- Verification of message sequence charts via template matching.- Probabilistic lossy channel systems.- A logic of object-oriented programs.- Auxiliary variables and recursive procedures.- Locality based Linda: Programming with explicit localities.- A syntactic theory of dynamic binding.- A unified framework for binding-time analysis.- A typed intermediate language for flow-directed compilation.- Action refinement as an implementation relation.- Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs.- COMPASS: A comprehensible assertion method.- Using LOTOS patterns to characterize architectural styles.- Automating formal specification-based testing.- TYPELAB: An environment for modular program development.- TAS and IsaWin: Generic interfaces for transformational program development and theorem proving.- Proving system correctness with KIV.- A new proof-manager and graphic interface for the Larch Prover.- A web-based animator for object specifications in a persistent environment.- Publishing formal specifications in Z notation on world wide web.- DOSFOP — A documentation tool for the algebraic programming language Opal.- AG: A set of maple packages for symbolic computing of automata and semigroups.

Mer från samma författare

CASL User Manual

Michel Bidoit, Peter D. Mosses

Häftad, 2004

571 kr

CASL User Manual

Peter D. Mosses, Michel Bidoit

E-bok

2003

739 kr

Algebraic System Specification and Development

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella

Häftad, 1991

554 kr

Recent Trends in Data Type Specification

Michel Bidoit, Christine Choppy

Häftad, 1993

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Post-Cold War Conflict Deterrence

Naval Studies Board, and Applications Commission on Physical Sciences, Mathematics, Division on Engineering and Physical Sciences, National Research Council

E-bok

1997

932 kr

Mobile Object Systems Towards the Programmable Internet

Jan Vitek, Christian Tschudin

Häftad, 1997

571 kr

Dog Soldiers

Robert Stone

Häftad, 1997

318 kr

Sex and Sensibility

Arlene Stein

E-bok

1997

458 kr

Buying and Selling Multimedia Services

Gerry Souter

E-bok

1997

708 kr

Enhancing Organizational Performance

Committee on Techniques for the Enhancement of Human Performance, Commission on Behavioral and Social Sciences and Education, Division of Behavioral and Social Sciences and Education, National Research Council, Daniel Druckman, Jerome E. Singer, Harold Van Cott

E-bok

1997

526 kr

Nijinsky: Death of a Faun

David Pownall

Häftad, 1997

200 kr

Buying and Selling Multimedia Services

Gerry Souter

Häftad, 1997

611 kr

Olive-Tree Bed and Other Quests

M. Owen Lee

E-bok

1997

1 064 kr

TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

AvMichel Bidoit,Max Dauchet

Häftad, Engelska, 1997

Del i serien Lecture Notes in Computer Science

1 135 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1997-04-02
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:892
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540627814

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

Theoretical Computer Science and software science: The past, the present and the future (position paper).- Future trends of TAPSOFT.- New challenges for theoretical computer science.- What does the future hold for theoretical computer science?.- Automata theory on trees and partial orders.- A theory of testing for timed automata.- Conservative extensions, interpretations between theories and all that!.- Specification and proof in membership equational logic.- Formalism and method.- CoFI: The common framework initiative for algebraic specification and development.- Logicality of conditional rewrite systems.- Simulating forward-branching systems with constructor systems.- Reliable generalized and context dependent commutation relations.- Word-into-Trees Transducers with bounded difference.- Generalized quantitative temporal reasoning: An automata-theoretic approach.- The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages.- Model checking through symbolic reachability graph.- Optimal implementation of wait-free binary relations.- Relative undecidability in the termination hierarchy of single rewrite rules.- Termination proofs using gpo ordering constraints.- Automatically proving termination where simplification orderings fail.- Generating efficient, terminating logic programs.- Modal characterization of weak bisimulation for higher-order processes.- Formats of ordered SOS rules with silent actions.- A uniform syntactical method for proving coinduction principles in ?-calculi.- A labelled transition system for ??-calculus.- Set operations for recurrent term schematizations.- Inclusion constraints over non-empty sets of trees.- Grid structures and undecidable constraint theories.- Predicative functionalrecurrence and poly-space.- On the complexity of function pointer may-alias analysis.- Maximum packing for biconnected outerplanar graphs.- Synchronization of a line of identical processors at a given time.- An algorithm for the solution of tree equations.- E-unification by means of tree tuple synchronized grammars.- Linear interpolation for the higher-order matching problem.- A semantic framework for functional logic programming with algebraic polymorphic types.- Subtyping constraints for incomplete objects.- Partializing stone spaces using SFP domains.- Let-polymorphism and eager type schemes.- Semantics of architectural connectors.- Protective interface specifications.- Specifying complex and structured systems with Evolving Algebras.- A comparison of modular verification techniques.- A compositional proof of a real-time mutual exclusion protocol.- Traces of I/O-automata in Isabelle/HOLCF.- Reactive types.- A type-based approach to program security.- An applicative module calculus.- Compositional specification of embedded systems with Statecharts.- Verification of message sequence charts via template matching.- Probabilistic lossy channel systems.- A logic of object-oriented programs.- Auxiliary variables and recursive procedures.- Locality based Linda: Programming with explicit localities.- A syntactic theory of dynamic binding.- A unified framework for binding-time analysis.- A typed intermediate language for flow-directed compilation.- Action refinement as an implementation relation.- Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs.- COMPASS: A comprehensible assertion method.- Using LOTOS patterns to characterize architectural styles.- Automating formal specification-based testing.- TYPELAB: An environment for modular program development.- TAS and IsaWin: Generic interfaces for transformational program development and theorem proving.- Proving system correctness with KIV.- A new proof-manager and graphic interface for the Larch Prover.- A web-based animator for object specifications in a persistent environment.- Publishing formal specifications in Z notation on world wide web.- DOSFOP — A documentation tool for the algebraic programming language Opal.- AG: A set of maple packages for symbolic computing of automata and semigroups.

Mer från samma författare

CASL User Manual

Michel Bidoit, Peter D. Mosses

Häftad, 2004

571 kr

CASL User Manual

Peter D. Mosses, Michel Bidoit

E-bok

2003

739 kr

Algebraic System Specification and Development

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella

Häftad, 1991

554 kr

Recent Trends in Data Type Specification

Michel Bidoit, Christine Choppy

Häftad, 1993

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Post-Cold War Conflict Deterrence

Naval Studies Board, and Applications Commission on Physical Sciences, Mathematics, Division on Engineering and Physical Sciences, National Research Council