Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 3862416

From MaRDI portal
Publication:3330488
Jump to:navigation, search

zbMATH Open0542.68011MaRDI QIDQ3330488FDOQ3330488


Authors: Hartmut Ehrig Edit this on Wikidata


Publication date: 1984



Title of this publication is not available (Why is that?)



Recommendations

  • scientific article; zbMATH DE number 3956412
  • Algebraic specification of modules and their basic interconnections
  • scientific article; zbMATH DE number 3972172
  • scientific article; zbMATH DE number 44486
  • Union and actualization of module specifications: Some compatibility results


zbMATH Keywords

software engineeringimplementationsmodular software systems


Mathematics Subject Classification ID

Data structures (68P05) Theory of software (68N99)



Cited In (11)

  • Algebraic specification of modules and their basic interconnections
  • On observational equivalence and algebraic specification
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Structuring of specification modules (extended)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)





This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3330488)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3330488&oldid=16568819"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 4 February 2024, at 13:32. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki