Multi-Level Assertion-Based Design

Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determnism caused by the incompleteness of a...

Full description

Saved in:
Bibliographic Details
Main Authors: Eveking, Hans, Braun, Martin, Schickel, Martin, Schweikert, Martin, Nimbler, Volker
Format: Conference Proceeding
Language:English
Subjects:
Design methodology
Software and its engineering > Software creation and management > Designing software
Software and its engineering > Software creation and management > Designing software > Requirements analysis
Software and its engineering > Software creation and management > Designing software > Software implementation planning > Software design techniques
Software and its engineering > Software creation and management > Software development process management
Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determnism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.
DOI:10.1109/MEMCOD.2007.371244