Matches in SemOpenAlex for { <https://semopenalex.org/work/W2290894031> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2290894031 endingPage "132" @default.
- W2290894031 startingPage "127" @default.
- W2290894031 abstract "CODE (COntrol Definition language) is a formal language designed and used for implementation of control strategies in sequence control applications, such as found in industrial control. CODE treats processes as finite state machines (FSM), by defining transition conditions that determine when a state change will occur, and the consequent transition action. A control definition consists of a hierarchical model, each layer of which consists of a number of FSMs. The CODE concept is proposed for use in a formal specification language, that would form part of a specification work bench, including syntax-c hecking editors, consistency and completeness checks, automatic simulation and documentation systems. This work bench will provide a powerful tool for specif i cation and development of process control and other systems. It will help increase the effectiveness of software designers and engineers; it will also contribute to increased formality in system specification, helping to eliminate a major source of error. The CODE concept is thus part of the current trend towards increased automation of software development. It can be used to develop formal system specification languages that are application-specific, and that can be part of a semi-automatic system generation process, in which the system specification is transformed directly to the implementation. Maintenance is then performed on the specification, which is reimplemented with computer assistance." @default.
- W2290894031 created "2016-06-24" @default.
- W2290894031 creator A5001096924 @default.
- W2290894031 date "1985-07-01" @default.
- W2290894031 modified "2023-09-25" @default.
- W2290894031 title "Modelling System Specifications on a Finite State Machine" @default.
- W2290894031 cites W1964992116 @default.
- W2290894031 cites W1968708451 @default.
- W2290894031 cites W2026229407 @default.
- W2290894031 cites W2046236879 @default.
- W2290894031 cites W2049975353 @default.
- W2290894031 cites W2060872161 @default.
- W2290894031 cites W2061883188 @default.
- W2290894031 cites W2071821514 @default.
- W2290894031 cites W2144869013 @default.
- W2290894031 cites W2166273526 @default.
- W2290894031 cites W2167460635 @default.
- W2290894031 doi "https://doi.org/10.1016/s1474-6670(17)60355-0" @default.
- W2290894031 hasPublicationYear "1985" @default.
- W2290894031 type Work @default.
- W2290894031 sameAs 2290894031 @default.
- W2290894031 citedByCount "0" @default.
- W2290894031 crossrefType "journal-article" @default.
- W2290894031 hasAuthorship W2290894031A5001096924 @default.
- W2290894031 hasConcept C102780508 @default.
- W2290894031 hasConcept C115903868 @default.
- W2290894031 hasConcept C116253237 @default.
- W2290894031 hasConcept C154945302 @default.
- W2290894031 hasConcept C167822520 @default.
- W2290894031 hasConcept C186846655 @default.
- W2290894031 hasConcept C199360897 @default.
- W2290894031 hasConcept C201677973 @default.
- W2290894031 hasConcept C2776436953 @default.
- W2290894031 hasConcept C2777904410 @default.
- W2290894031 hasConcept C2779167558 @default.
- W2290894031 hasConcept C41008148 @default.
- W2290894031 hasConcept C52913732 @default.
- W2290894031 hasConcept C529173508 @default.
- W2290894031 hasConcept C57371142 @default.
- W2290894031 hasConcept C75606506 @default.
- W2290894031 hasConcept C84651959 @default.
- W2290894031 hasConcept C98045186 @default.
- W2290894031 hasConceptScore W2290894031C102780508 @default.
- W2290894031 hasConceptScore W2290894031C115903868 @default.
- W2290894031 hasConceptScore W2290894031C116253237 @default.
- W2290894031 hasConceptScore W2290894031C154945302 @default.
- W2290894031 hasConceptScore W2290894031C167822520 @default.
- W2290894031 hasConceptScore W2290894031C186846655 @default.
- W2290894031 hasConceptScore W2290894031C199360897 @default.
- W2290894031 hasConceptScore W2290894031C201677973 @default.
- W2290894031 hasConceptScore W2290894031C2776436953 @default.
- W2290894031 hasConceptScore W2290894031C2777904410 @default.
- W2290894031 hasConceptScore W2290894031C2779167558 @default.
- W2290894031 hasConceptScore W2290894031C41008148 @default.
- W2290894031 hasConceptScore W2290894031C52913732 @default.
- W2290894031 hasConceptScore W2290894031C529173508 @default.
- W2290894031 hasConceptScore W2290894031C57371142 @default.
- W2290894031 hasConceptScore W2290894031C75606506 @default.
- W2290894031 hasConceptScore W2290894031C84651959 @default.
- W2290894031 hasConceptScore W2290894031C98045186 @default.
- W2290894031 hasIssue "8" @default.
- W2290894031 hasLocation W22908940311 @default.
- W2290894031 hasOpenAccess W2290894031 @default.
- W2290894031 hasPrimaryLocation W22908940311 @default.
- W2290894031 hasRelatedWork W1471077861 @default.
- W2290894031 hasRelatedWork W1515035016 @default.
- W2290894031 hasRelatedWork W1881220596 @default.
- W2290894031 hasRelatedWork W1964436108 @default.
- W2290894031 hasRelatedWork W2137223410 @default.
- W2290894031 hasRelatedWork W2170015205 @default.
- W2290894031 hasRelatedWork W2290894031 @default.
- W2290894031 hasRelatedWork W2378785653 @default.
- W2290894031 hasRelatedWork W2898425611 @default.
- W2290894031 hasRelatedWork W794225219 @default.
- W2290894031 hasVolume "18" @default.
- W2290894031 isParatext "false" @default.
- W2290894031 isRetracted "false" @default.
- W2290894031 magId "2290894031" @default.
- W2290894031 workType "article" @default.