Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The NDB database specified in the RAISE specification language - MaRDI portal

The NDB database specified in the RAISE specification language

From MaRDI portal

Publication:1184683

Jump to:navigation, search

DOI10.1007/BF01214956zbMATH Open0739.68029MaRDI QIDQ1184683

Chris George

Publication date: 28 June 1992

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

formal methods refinement modularity parametrisation RAISE abstract types formal development

Mathematics Subject Classification ID

Database theory (68P15) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Domain modelling: a foundation for software development

This page was built for publication: The NDB database specified in the RAISE specification language

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1184683&oldid=12049882"