A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
From MaRDI portal
(Redirected from Publication:5096723)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Recommendations
- scientific article; zbMATH DE number 1860656
- TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings
- Software evolution-background, theory, practice
- Theory and practice of software development. Stages in a debate
- TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27. 1987. Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebr
Cites work
- A calculus of communicating systems
- Algebraic approach to single-pushout graph transformation
- Algebraic high-level net transformation systems
- Algebraic specification of modules and their basic interconnections
- Algebraic system specification and development. A survey and annotated bibliography
- An event structure semantics for graph grammars with parallel productions
- An overview of LP, the Larch Prover
- Applications of type theory
- Can programming be liberated from the von Neumann style?
- Characterizing specification languages which admit initial semantics
- Communicating sequential processes
- Functorial theory of parameterized specifications in a general specification framework
- Gaussian elimination is not optimal
- scientific article; zbMATH DE number 4018380 (Why is no real title available?)
- scientific article; zbMATH DE number 4180819 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 3821076 (Why is no real title available?)
- scientific article; zbMATH DE number 4030998 (Why is no real title available?)
- scientific article; zbMATH DE number 4078770 (Why is no real title available?)
- scientific article; zbMATH DE number 4092748 (Why is no real title available?)
- scientific article; zbMATH DE number 3664336 (Why is no real title available?)
- scientific article; zbMATH DE number 3754008 (Why is no real title available?)
- scientific article; zbMATH DE number 44486 (Why is no real title available?)
- scientific article; zbMATH DE number 44668 (Why is no real title available?)
- scientific article; zbMATH DE number 177439 (Why is no real title available?)
- scientific article; zbMATH DE number 3633737 (Why is no real title available?)
- scientific article; zbMATH DE number 604886 (Why is no real title available?)
- scientific article; zbMATH DE number 1995123 (Why is no real title available?)
- scientific article; zbMATH DE number 753781 (Why is no real title available?)
- scientific article; zbMATH DE number 3995031 (Why is no real title available?)
- scientific article; zbMATH DE number 3995042 (Why is no real title available?)
- scientific article; zbMATH DE number 3999262 (Why is no real title available?)
- scientific article; zbMATH DE number 807132 (Why is no real title available?)
- scientific article; zbMATH DE number 1418813 (Why is no real title available?)
- On ``On graph rewritings
- On graph rewritings
- Partial abstract types
- Petri nets and algebraic specifications
- Proof of correctness of data representations
- SIMULA: an ALGOL-based simulation language
- The complexity of theorem-proving procedures
Cited in
(8)- On what exactly goes on when software is developed step-by-step. II: The sequel
- TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software development, Brighton, GB, April 8-12, 1991. Vol. 2: Advances in distributed computing (ADC) and Colloquium on combining paradigms for software development (CCPSD)
- Selected papers of TAPSOFT '95: Theory and practice of software development. Aarhus, Denmark, May 1995
- TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings
- Formalism and method
- scientific article; zbMATH DE number 5353276 (Why is no real title available?)
- scientific article; zbMATH DE number 1860656 (Why is no real title available?)
- Theory and practice of software development. Stages in a debate
This page was built for publication: A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096723)
