default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlgebraic Methods 1989: Mierlo, The Netherlands
- Jan A. Bergstra, Loe M. G. Feijs:
Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]. Lecture Notes in Computer Science 490, Springer 1991, ISBN 3-540-53912-3
Part I: Invited Contributions
- N. W. P. van Diepen, Helmuth Partsch:
Formalizing Informal Reuqirments. Some Aspects. 7-27 - Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier:
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. 29-54 - Ernst-Rüdiger Olderog, Krzysztof R. Apt:
Using Transformation to Verify Parallel Programs. 55-81 - Cornelis A. Middelburg
:
Experiences with Combining Formalisms in VVSL. 83-103 - Paul Klint:
A Meta-Environment for Generating Programming Environments. 105-124
Part II: Requirements and Design
- Jacques Hagelstein, Frank Ponsaert:
Introducing Formal Requirements into Industry. 129-141 - Rainer Weber:
Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems. 143-166 - Loe M. G. Feijs:
Transformations of Designs. 167-199
Part III: COLD
- Loe M. G. Feijs:
Norman's Database Modularised in COLD-K. 205-231 - R. D. van den Bos, Loe M. G. Feijs, Rob C. van Ommering:
POLAR: A Picture-Oriented Language for Abstract Representations. 233-276 - H. B. M. Jonkers:
Inheritance in COLD. 277-301 - Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink:
A Process Specification Formalism Based on Static COLD. 303-335
Part IV: Algebraic Specification
- Sjouke Mauw, Freek Wiedijk:
Specification of the Transit Node in PSFd. 341-361 - Jos C. M. Baeten, Jan A. Bergstra:
Design of a Specification Language by Abstract Syntax Engineering. 363-394 - Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein:
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. 395-431
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 2024-11-11 21:35 CET 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:
