Cited By
View all- Lamersdorf WLamersdorf W(1985)LiteraturverzeichnisSemantische Repräsentation komplexer Objektstrukturen10.1007/978-3-642-70289-1_9(174-187)Online publication date: 1985
Literature has established the effectiveness of formal specifications for modeling specifications for computer system properties as well as for verifying program correctness. However, tools that can enable the typical commercial software developer to ...
Relational databases have been prevailing for the last two decades, with features of clear semantics and ease of use with SQL supported by the underlying theory, relational algebra. Relational databases provide good support for structural data ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in