default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. TAPSOFT 1985: Berlin, Germany
- Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher:
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE). Lecture Notes in Computer Science 186, Springer 1985, ISBN 3-540-15199-0
Introduction
- Christiane Floyd:
On the Relevance of Formal Methods to Software Development. 1-11
Advanced Seminar on the Role of Semantics in Software Development
- James J. Horning:
Combining Algebraic and Predicative Specifications in Larch. 12-26 - Cliff B. Jones
:
The Role of Proof Obligations in Software Design. 27-41 - John D. Gannon, Richard G. Hamlet, Harlan D. Mills:
Functional Semantics of Modules. 42-59 - Peter Naur:
Intuition in Software Development. 60-79 - David Lorge Parnas, Paul C. Clements:
A Rational Design Process: How and Why to Fake It. 80-100
Colloquium on Software Engineering
Concepts and Methods in Software Development
- Lars Mathiassen, Andreas Munk-Madsen:
Formalization in Systems Development. 101-116 - Daniel M. Berry, Jeannette M. Wing:
Specification and Prototyping: Some Thoughts on Why They Are Successful. 117-128 - Lynn S. Marshall:
A Formal Specification of Line Representations on Graphics Devices. 129-147
Tools and Environments
- Gregor Snelting:
Experiences with the PSG - Programming System Generator. 148-162 - Nazim H. Madhavji, Nikos Leoutsarakos, Dimitri Vouliouris:
Software Construction Using Typed Fragments. 163-178 - Gregor Engels, Wilhelm Schäfer:
Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment. 179-193 - Doug Kimelman:
Multidimensional Tree-Structured File Spaces. 194-213
Rigorous Approaches to Programming
- T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler:
A Theory of Abstract Data Types for Program Development: Bridging the Gap? 214-230 - Giovanna Petrone, Luigi Petrone:
Program Development and Documentation by Informal Transformations and Derivations. 231-245 - Michel Bidoit, Christine Choppy:
ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. 246-260
Abstract Data Types in Software Development
- Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel:
Application of Prolog to Test Sets Generation from Algebraic Specifications. 261-275 - Jieh Hsiang, Mandayam K. Srivas:
A PROLOG Environment for Developing and Reasoning about Data Types. 276-293 - Brigitte Biebow, Jacques Hagelstein:
Algebraic Specification of Synchronisation and Errors: A Telephonic Example. 294-308
Views of Concurrency
- Rainer Isle, Klaus-Peter Löhr:
Modelling Concurrent Modules. 309-324 - E. Pascal Gribomont:
Synthesis of Parallel Programs Invariants. 325-338 - Nancy G. Leveson, Janice L. Stolzy:
Analyzing Safety and Fault Tolerance Using Time Petri Nets. 339-355 - Mathai Joseph, Abha Moitra:
Algebraic Specification Of A Communication Scheduler. 356-370
Industrial Experience
- G. Casaglia, F. Pisani:
The Integration and Distribution Phase in the Software Life Cycle. 371-384 - Otthein Herzog:
Formalized Software Development in an Industrial Environment. 385-394 - Akinori Yonezawa, Yoshihiro Matsumoto:
Object Oriented Concurrent Programming and Industrial Software Production. 395-409 - M. I. Jackson, B. Tim Denvir, Roger C. Shaw:
Experience of Introducing the Vienna Development Method into an Industrial Organization. 410-422 - Avi Rushinek, Sara F. Rushinek:
EDP System Development Methodology: Auditability and Control. 423-434 - Karl-Heinz Alws, Ingrid Glasner-Schapeler:
Experiences with Object Oriented Programming. 435-452
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-30 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
