TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring to...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
915 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • TAPSOFT '95, theory and practice of software development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, proceedings, Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds, Berlin, Springer, 1995, 1 vol. (XV-810 p.), Lecture notes in computer science, 3-540-59293-8 • TAPSOFT '95: Theory and Practice of Software Development, Texte imprimé, 9783662163320 |
| LEADER | 07245nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 944885 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155205781 | ||
| 020 | |a 9783540492337 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International joint conference on theory and practice of software development |n (06 |d :1995 |c :Aarhus). | |
| 245 | 1 | 0 | |a TAPSOFT '95 : |b theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings |c [edited by] Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 915 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A decade of TAPSOFT -- Theory and practice of software development -- Rational spaces and set constraints -- Formal methods and social context in software development -- Testing can be formal, too -- Anatomy of the Pentium bug -- Rational mechanics and natural mathematics -- First-order logic on finite trees -- Decidability of equivalence for deterministic synchronized tree automata -- The equivalence problem for letter-to-letter bottom-up tree transducers is solvable -- ?I: A symmetric calculus based on internal mobility -- Complete inference systems for weak bisimulation equivalences in the ?-calculus -- Reasoning about higher-order processes -- Confluence of processes and systems of objects -- An algebraic approach to temporal logic -- On behavioural abstraction and behavioural satisfaction in higher-order logic -- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) -- Fine hierarchy of regular ?-languages -- Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time -- Semi-trace morphisms and rational transductions -- Nonfinite axiomatizability of shuffle inequalities -- On the category of Petri net computations -- High undecidability of weak bisimilarity for Petri nets -- Polynomial algorithms for the synthesis of bounded nets -- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems -- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) -- On the expressive power of algebraic graph grammars with application conditions -- Generated models and the ?-rule: The nondeterministic case -- CPO models for a class of GSOS languages -- Statecharts, transition structures and transformations -- An imperative objectcalculus -- A refinement of import/export declarations in modular logic programming and its semantics -- Strictness and totality analysis with conjunction -- Generic techniques for source-level debugging and dynamic program slicing -- Reasoning with executable specifications -- Calculating software generators from solution specifications -- Comparing flow-based binding-time analyses -- Can you trust your data -- Static and dynamic processor allocation for higher-order concurrent languages -- Mechanized inductive proof of properties of a simple code optimizer -- Describing a Signal Analyzer in the process algebra PMC A case study -- A gentle introduction to specification engineering using a case study in telecommunications -- Precise interprocedural dataflow analysis with applications to constant propagation -- Formal specification and prototyping of a program specializer -- Proving the correctness of recursion-based automatic program transformations -- Reactive system specification and refinement -- Measuring concurrency of regular distributed computations -- Non-speculative and upward invocation of continuations in a parallel language -- A model inference system for generic specification with application to code sharing -- Relations as abstract datatypes: An institution to specify relations between algebras -- Performance-oriented formal specifications the LotoTis approach -- Signal: A formal design environment for real-time systems -- The META-Frame: An environment for flexible tool management -- STeP: The Stanford Temporal Prover -- The HOL-UNITY verification system -- PLATO: A tool to assist programming as term rewriting and theorem proving -- LOFT: A tool for assisting selection of test data sets from algebraic specifications -- The SMoLCS ToolSet -- The Asf+Sdf Meta-environmentdocumentation tools for free -- The B-Toolkit demonstration -- Object Oriented Semantics Directed Compiler Generation: A prototype. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Unités arithmétiques et logiques | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Schwartzbach, Michael I. |4 pbd | |
| 700 | 1 | |a Nielsen, Mogens, |d 1949- |4 pbd | |
| 700 | 1 | |a Mosses, Peter D. |4 pbd | |
| 776 | 0 | |0 023536446 |t TAPSOFT '95 |o theory and practice of software development |o 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 |o proceedings |f Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds |c Berlin |n Springer |d 1995 |p 1 vol. (XV-810 p.) |s Lecture notes in computer science |z 3-540-59293-8 | |
| 776 | 0 | |t TAPSOFT '95: Theory and Practice of Software Development |b Texte imprimé |z 9783662163320 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-59293-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-MDXPNDW5-J |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791558X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-59293-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750928239 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-59293-8 |z Accès INSA CVL | |
| 997 | |0 944885 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||