Matches in SemOpenAlex for { <https://semopenalex.org/work/W197993722> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W197993722 abstract "OOSPEC (Object-Oriented SPECification) is a model-based specification language and development system. It is intended as a small system for use in introducing formal specifications for undergraduates. OOSPEC combines features from several other specification and programming languages, particularly VDM, Z, Eiffel, Ada, and Smalltalk. The environment, ENSPEC (ENvironment for SPECification), and implementation are based (loosely) on Smalltalk. The environment supports a direct manipulation graphical interface for creation and evaluation of partial and full specifications. Objects are defined as instances of class specifications. Object data items and operations are modeled in terms of high level structures such as sets, sequences, and maps. Class operations are defined by pre- and post-assertions, although post-assertions have the side effect of binding new values of output parameters. Correct syntax of specifications is directed by the editor. Type constraints and some other semantic constraints are checked as each assertion expression is defined. The OOSPEC interpreter is specified using a VDM style operational semantics." @default.
- W197993722 created "2016-06-24" @default.
- W197993722 creator A5047397572 @default.
- W197993722 date "1993-01-02" @default.
- W197993722 modified "2023-09-23" @default.
- W197993722 title "An object-oriented formal specification language and support environment" @default.
- W197993722 hasPublicationYear "1993" @default.
- W197993722 type Work @default.
- W197993722 sameAs 197993722 @default.
- W197993722 citedByCount "1" @default.
- W197993722 crossrefType "journal-article" @default.
- W197993722 hasAuthorship W197993722A5047397572 @default.
- W197993722 hasConcept C116253237 @default.
- W197993722 hasConcept C119263510 @default.
- W197993722 hasConcept C15077461 @default.
- W197993722 hasConcept C154945302 @default.
- W197993722 hasConcept C184337299 @default.
- W197993722 hasConcept C186362262 @default.
- W197993722 hasConcept C199360897 @default.
- W197993722 hasConcept C201677973 @default.
- W197993722 hasConcept C2777212361 @default.
- W197993722 hasConcept C2777293101 @default.
- W197993722 hasConcept C34165917 @default.
- W197993722 hasConcept C40422974 @default.
- W197993722 hasConcept C41008148 @default.
- W197993722 hasConcept C50033165 @default.
- W197993722 hasConcept C73752529 @default.
- W197993722 hasConcept C90069079 @default.
- W197993722 hasConceptScore W197993722C116253237 @default.
- W197993722 hasConceptScore W197993722C119263510 @default.
- W197993722 hasConceptScore W197993722C15077461 @default.
- W197993722 hasConceptScore W197993722C154945302 @default.
- W197993722 hasConceptScore W197993722C184337299 @default.
- W197993722 hasConceptScore W197993722C186362262 @default.
- W197993722 hasConceptScore W197993722C199360897 @default.
- W197993722 hasConceptScore W197993722C201677973 @default.
- W197993722 hasConceptScore W197993722C2777212361 @default.
- W197993722 hasConceptScore W197993722C2777293101 @default.
- W197993722 hasConceptScore W197993722C34165917 @default.
- W197993722 hasConceptScore W197993722C40422974 @default.
- W197993722 hasConceptScore W197993722C41008148 @default.
- W197993722 hasConceptScore W197993722C50033165 @default.
- W197993722 hasConceptScore W197993722C73752529 @default.
- W197993722 hasConceptScore W197993722C90069079 @default.
- W197993722 hasLocation W1979937221 @default.
- W197993722 hasOpenAccess W197993722 @default.
- W197993722 hasPrimaryLocation W1979937221 @default.
- W197993722 hasRelatedWork W1528845003 @default.
- W197993722 hasRelatedWork W1540605220 @default.
- W197993722 hasRelatedWork W1544972275 @default.
- W197993722 hasRelatedWork W1559579193 @default.
- W197993722 hasRelatedWork W1592019618 @default.
- W197993722 hasRelatedWork W1801366570 @default.
- W197993722 hasRelatedWork W2015436724 @default.
- W197993722 hasRelatedWork W2024253113 @default.
- W197993722 hasRelatedWork W2060087898 @default.
- W197993722 hasRelatedWork W2065369774 @default.
- W197993722 hasRelatedWork W2098971106 @default.
- W197993722 hasRelatedWork W2099038599 @default.
- W197993722 hasRelatedWork W2121645155 @default.
- W197993722 hasRelatedWork W2137095494 @default.
- W197993722 hasRelatedWork W2160119094 @default.
- W197993722 hasRelatedWork W2425990549 @default.
- W197993722 hasRelatedWork W2993820461 @default.
- W197993722 hasRelatedWork W846211462 @default.
- W197993722 hasRelatedWork W1567799319 @default.
- W197993722 hasRelatedWork W2859467618 @default.
- W197993722 isParatext "false" @default.
- W197993722 isRetracted "false" @default.
- W197993722 magId "197993722" @default.
- W197993722 workType "article" @default.