Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489388708> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1489388708 abstract "Object orientation and formal techniques.- An algebraic approach to refinement.- Modal logic programming.- Z specification of an object manager.- Correctness in the small.- A formal approach to hypertext using post-prototype formal specification.- Programming with VDM domains.- A buffering system implementation using VDM.- Formal specifications as reusable frameworks.- Z and the refinement calculus.- Modularizing the formal description of a database system.- Modular extensions to Z.- Adding abstract datatypes to Meta-IV.- Towards a semantics for object-Z.- HOOD and Z for the development of complex software systems.- Using Z as a specification calculus for object-oriented systems.- Specifying open distributed systems with Z.- Refinement of state-based concurrent systems.- Refining data to processes.- Two approaches towards the formalisation of VDM.- Type checking BSI/VDM-SL.- Type inference in Z.- Recursive definitions revisited.- Towards the semantics of the definitional language of MetaSoft.- On conservative extensions of syntax in the process of system development.- A formal semantics for Z and the link between Z and the relational algebra.- A naive domain universe for VDM." @default.
- W1489388708 created "2016-06-24" @default.
- W1489388708 creator A5035616157 @default.
- W1489388708 creator A5038481049 @default.
- W1489388708 creator A5052847689 @default.
- W1489388708 creator A5055669926 @default.
- W1489388708 creator A5091543759 @default.
- W1489388708 date "1990-05-04" @default.
- W1489388708 modified "2023-09-27" @default.
- W1489388708 title "VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings" @default.
- W1489388708 hasPublicationYear "1990" @default.
- W1489388708 type Work @default.
- W1489388708 sameAs 1489388708 @default.
- W1489388708 citedByCount "6" @default.
- W1489388708 crossrefType "book" @default.
- W1489388708 hasAuthorship W1489388708A5035616157 @default.
- W1489388708 hasAuthorship W1489388708A5038481049 @default.
- W1489388708 hasAuthorship W1489388708A5052847689 @default.
- W1489388708 hasAuthorship W1489388708A5055669926 @default.
- W1489388708 hasAuthorship W1489388708A5091543759 @default.
- W1489388708 hasConcept C116253237 @default.
- W1489388708 hasConcept C146499914 @default.
- W1489388708 hasConcept C184337299 @default.
- W1489388708 hasConcept C199360897 @default.
- W1489388708 hasConcept C41008148 @default.
- W1489388708 hasConcept C55439883 @default.
- W1489388708 hasConcept C75606506 @default.
- W1489388708 hasConceptScore W1489388708C116253237 @default.
- W1489388708 hasConceptScore W1489388708C146499914 @default.
- W1489388708 hasConceptScore W1489388708C184337299 @default.
- W1489388708 hasConceptScore W1489388708C199360897 @default.
- W1489388708 hasConceptScore W1489388708C41008148 @default.
- W1489388708 hasConceptScore W1489388708C55439883 @default.
- W1489388708 hasConceptScore W1489388708C75606506 @default.
- W1489388708 hasLocation W14893887081 @default.
- W1489388708 hasOpenAccess W1489388708 @default.
- W1489388708 hasPrimaryLocation W14893887081 @default.
- W1489388708 hasRelatedWork W109352191 @default.
- W1489388708 hasRelatedWork W1482299161 @default.
- W1489388708 hasRelatedWork W1483033785 @default.
- W1489388708 hasRelatedWork W1492315860 @default.
- W1489388708 hasRelatedWork W1500473389 @default.
- W1489388708 hasRelatedWork W1505463372 @default.
- W1489388708 hasRelatedWork W1511712445 @default.
- W1489388708 hasRelatedWork W1545230025 @default.
- W1489388708 hasRelatedWork W1569085791 @default.
- W1489388708 hasRelatedWork W1574621793 @default.
- W1489388708 hasRelatedWork W1577743421 @default.
- W1489388708 hasRelatedWork W1578621270 @default.
- W1489388708 hasRelatedWork W1588335385 @default.
- W1489388708 hasRelatedWork W160075886 @default.
- W1489388708 hasRelatedWork W1620275864 @default.
- W1489388708 hasRelatedWork W2062768986 @default.
- W1489388708 hasRelatedWork W2144973245 @default.
- W1489388708 hasRelatedWork W2157515101 @default.
- W1489388708 hasRelatedWork W2170673304 @default.
- W1489388708 hasRelatedWork W3021477639 @default.
- W1489388708 isParatext "false" @default.
- W1489388708 isRetracted "false" @default.
- W1489388708 magId "1489388708" @default.
- W1489388708 workType "book" @default.