Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Structuring of Specification Modules (extended)
Authors: Răzvan Diaconescu
– 0.14 Mb
Abstract
This paper has two goals. One goal is to provide a brief introduction to the concept of modularisation in the context of formal specifications. The other goal is to survey some recent developments in this area, including parameter instantiation with sharing and module systems for behavioural specifications.Simion Stoilow Institute of Mathematics of Romanian Academy
Romania
E-mail:
Romania
E-mail:
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License
Fulltext
– 0.14 Mb
Contents
- About FOI-2015
- Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
- BioMaxP: A Formal Approach for Cellular Ion Pumps
- Structuring of Specification Modules (extended)
- Fundamental theorems of extensional untyped lambda-calculus revisited
- Finite automata over algebraic structures: models and some methods of analysis
- Communicative automata based programming. Society Framework
- The Law of Gravitation for Ontologies and Domains of Discourse
- Solving Problem of Graph Isomorphism by Hybrid Model
