Brigitte Fröhlich, Peter Gorm Larsen  Home/Search
Context Related
| ist.tugraz.ac.at/...STPUB9601.ps.gz ist.tugraz.ac.at/...STTEC9601.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ist.tugraz.ac.at/Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Experience shows that it is not economically feasible to formally specify all parts of a system in an industrial application. Either one already has a number of existing components which are trusted and therefore desirable for reuse, or components are so simple that there is no gain in formally specifying their behaviour. In both cases it may be felt that it is not worth spending time on developing a detailed formal specification of the entire system. This raises the questions what tools... (Update)
Context of citations to this paper: More
...C C and works are being carried on for a code generator VDM to Java. It is also possible to dynamically link the Toolbox to C code [5]. We propose another approach in this paper, no code is generated, but the specification is executed directly using the interpreter of...
.... link module facility of the VDMTools; this is a convenient way, using the toolbox, for combining VDM SL specification with C code (see [33]) It had been used for validating the VDM SL specification of the SAFER 1 . The idea of this method is to call C methods from VDM SL...
Cited by: More
Dynamic User Management System for web sites - Christian (2000) (Correct)
Reanimating SAFER in VDM-SL Using CORBA - Fenkam (2000) (Correct)
Active bibliography (related documents): More All
2.3: Combining VDM-SL Specifications with C++ Code - Fröhlich, Larsen (1996) (Correct)
0.7: The VDM Bibliography - Larsen (1995) (Correct)
0.3: User Manual for the IPTES SA/RT Logical Model Toolset - Lee, Orr (1993) (Correct)
Similar documents based on text: More All
0.3: Towards Proof Rules for Looseness in Explicit Definitions from.. - Larsen (1993) (Correct)
0.2: A Formal Semantics of Data Flow Diagrams - Larsen, Plat, Toetenel (1993) (Correct)
0.2: Response to "The Formal Specification of Safety Requirements for.. - Larsen (1994) (Correct)
Related documents from co-citation: More All
3: Available from http://www (context) - Microsystems, NEO et al. - 1997
2: Modeling and validating safer in vdm-sl - Agerholm, Larsen - 1997
2: The VDM Toolbox API Users Guide (context) - Strom, EP - 1998
BibTeX entry: (Update)
Brigitte Frohlich and Peter Grom Larsen. Combining VDM-SL Specifications with C++ Code. In James Woodcock Marie Claude Glaudel, editor, FME'96:Industrial benefit and Advances in Formal Methods, pages 179--194. SpringerVerlag, March 1996. Available from http://www.ist.tu-graz.ac.at/Publications/. http://citeseer.ist.psu.edu/frohlich96combining.html More
@inproceedings{ frohlich96combining,
author = "Brigitte Frohlich and Peter Gorm Larsen",
title = "Combining {VDM}-{SL} Specifications with C++ Code",
booktitle = "{FME}",
pages = "179-194",
year = "1996",
url = "citeseer.ist.psu.edu/frohlich96combining.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 1991
689 Systematic Software Development Using VDM - Jones - 1990
334 Operating System Concepts (context) - Silberschatz, Peterson et al. - 1991
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
105 Technical report - Tool, vdm et al. - 1995
67 O'Reilly and Associates (context) - Wall, Schwartz - 1992
66 ACM Transactions on Software Engineering and Methology (context) - Zave, Jackson et al. - 1993
46 The VDM-SL Reference Guide (context) - Dawes - 1991
40 Applications of Formal Methods (context) - Hinchey, Bowen - 1995
31 CICS Project Report: Experiences and Results from the use of.. (context) - Houston, King - 1991
27 A Compositional Approach to Multiparadigm Programming (context) - Zave - 1989
26 The IFAD VDM-SL Toolbox: A Practical Approach to Formal Spec.. - Elmstrom, Larsen et al. - 1994
25 VCR: A VDM-based software component retrieval tool - Fischer, Kievernagel et al. - 1994
22 Computer-aided Validation of Formal Specifications (context) - Mukherjee - 1995
15 An Executable Subset of MetaIV with Loose Specification - Larsen, Lassen - 1991
13 their environments and system software interfaces --- Vienna.. (context) - Andrews, Bruun et al. - 1995
11 Prentice-Hall International (context) - Bjoner, Jones et al. - 1982
6 Digital Systems Research Center (context) - Horning, Guttag et al. - 1985
6 The ifad vdm-sl language (context) - Tool - 1994
6 Towards an Interpreter for Full VDM-SL (context) - de Bruin - 1993
3 Run-Time Adaptation System -- Target Code Procedures Activat.. (context) - Zakhama - 1993
2 Lessons Learned from Applying Formal Specification in Indust.. - Larsen, Fitzgerald et al. - 1995
Documents on the same site (http://www.ist.tu-graz.ac.at/Publications): More
Increasing Confidence in Implicit Function Definition - Droschl (1998) (Correct)
Teaching Programming to the Uninitiated using Mathematica - Aichernig (1998) (Correct)
A Telephone Exchange Specification in VDM-SL - Aichernig (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC