Academia.eduAcademia.edu

Modular Formal Specification of Data and Behaviour

Profile image of Jozef HoomanJozef Hooman

1999, IFM’99

Abstract
sparkles

AI

Modular formal specification provides a structured approach for defining both data and behavior in systems. By utilizing modules, it enhances clarity and maintainability of specifications, making them easier to understand and modify. The implications of this approach are significant for software development, enabling more robust validation and verification processes.

Related papers

Representing the unknown in specification languages
Michael Whalen
View PDFchevron_right
Formal Compiler Implementation in a Logical Framework
Jason Hickey
View PDFchevron_right
Semantics, modularity, and rewriting logic
Peter Mosses

Electronic Notes in Theoretical Computer Science, 1998

View PDFchevron_right
On the Specification of Higher Dimensional Automata
Johnson Dominic

Electronic Notes in Theoretical Computer Science, 2002

View PDFchevron_right
ËØÖÙ ØÙÖ Ç Ø× ÅÓ Ð Ò Ò Ê× ÓÒ Ò
Maurizio Lenzerini

Abstract. One distinctive characteristic of object-oriented data models over traditional database systems is that they provide more expressive power in schema definition. Nevertheless, the defining power of objectoriented models is still somewhat limited, mainly because it is commonly accepted that part of the semantics of the application can be represented within methods.

View PDFchevron_right

Related topics

  • Formal Specification
  • Embedded System
  • Temporal Logic

    • Related papers

    Sahlqvist formulas unleashed in polyadic modal languages
    Dimiter Vakarelov

    Advances in Modal Logic, 2000

    View PDFchevron_right
    Object-Oriented Specification of Distributed Systems in the µ-Calculus and Maude
    Ulrike Lechner

    1997

    View PDFchevron_right
    On simplifying modular specification and verification of distributed protocols
    Neeraj Suri

    2001

    View PDFchevron_right
    The Logic of the RAISE Specification Language
    CHRIS GEORGE

    Monographs in Theoretical Computer Science, 2008

    View PDFchevron_right
    Object-Oriented Specification of Distributed Systems (Extended Abstract)
    Ulrike Lechner

    Electronic Notes in Theoretical Computer Science, 1998

    View PDFchevron_right
    A formal specification of dMARS
    Michael Luck

    Intelligent Agents IV Agent …, 1998

    View PDFchevron_right
    Loose Specification and Refinement In Z
    Eerke Boiten

    ZB 2002: Formal Specification and Development in Z …, 2002

    View PDFchevron_right
    A Formal Methodology to Specify E-commerce Systems
    Adriano Pereira

    Lecture Notes in Computer Science, 2002

    View PDFchevron_right
    Views of formal program development
    Eerke Boiten

    1992

    View PDFchevron_right
    Hierarchical formal verification using a hybrid tool
    Skander Kort

    2003

    View PDFchevron_right
    Loading...

    Loading Preview

    Sorry, preview is currently unavailable. You can download the paper by clicking the button above.