Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972383107> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1972383107 endingPage "308" @default.
- W1972383107 startingPage "296" @default.
- W1972383107 abstract "A minicomputer based data entry system recently developed at Bell Laboratories supports 73 transaction types and approximately 1000 fields. The user communicates with the system from a CRT terminal in field-by-field mode via a uniform interface. This paper presents a common design for the family of data entry programs that process the various types of transactions. The design is represented by a compact, orderly, and verifiable model to demonstrate the consistent program behavior. The model is formalized and proved correct to validate the design. The common model reduces design effort, provides design generality, enables code generation, and enhances ease of maintenance. The correctness proof eliminates high level design errors and their consequences. In the general area of business application, a common design lends itself to quickly mass produce components of a software product, and makes it easy to maintain them later." @default.
- W1972383107 created "2016-06-24" @default.
- W1972383107 creator A5053356606 @default.
- W1972383107 date "1982-09-13" @default.
- W1972383107 modified "2023-09-24" @default.
- W1972383107 title "Designing data entry programs using state diagram as a common model" @default.
- W1972383107 cites W1990973142 @default.
- W1972383107 doi "https://doi.org/10.5555/800254.807772" @default.
- W1972383107 hasPublicationYear "1982" @default.
- W1972383107 type Work @default.
- W1972383107 sameAs 1972383107 @default.
- W1972383107 citedByCount "0" @default.
- W1972383107 crossrefType "proceedings-article" @default.
- W1972383107 hasAuthorship W1972383107A5053356606 @default.
- W1972383107 hasConcept C111919701 @default.
- W1972383107 hasConcept C113843644 @default.
- W1972383107 hasConcept C115903868 @default.
- W1972383107 hasConcept C120314980 @default.
- W1972383107 hasConcept C129307140 @default.
- W1972383107 hasConcept C157915830 @default.
- W1972383107 hasConcept C199360897 @default.
- W1972383107 hasConcept C41008148 @default.
- W1972383107 hasConcept C55439883 @default.
- W1972383107 hasConcept C98045186 @default.
- W1972383107 hasConceptScore W1972383107C111919701 @default.
- W1972383107 hasConceptScore W1972383107C113843644 @default.
- W1972383107 hasConceptScore W1972383107C115903868 @default.
- W1972383107 hasConceptScore W1972383107C120314980 @default.
- W1972383107 hasConceptScore W1972383107C129307140 @default.
- W1972383107 hasConceptScore W1972383107C157915830 @default.
- W1972383107 hasConceptScore W1972383107C199360897 @default.
- W1972383107 hasConceptScore W1972383107C41008148 @default.
- W1972383107 hasConceptScore W1972383107C55439883 @default.
- W1972383107 hasConceptScore W1972383107C98045186 @default.
- W1972383107 hasLocation W19723831071 @default.
- W1972383107 hasOpenAccess W1972383107 @default.
- W1972383107 hasPrimaryLocation W19723831071 @default.
- W1972383107 hasRelatedWork W140202776 @default.
- W1972383107 hasRelatedWork W1545813047 @default.
- W1972383107 hasRelatedWork W1590690430 @default.
- W1972383107 hasRelatedWork W180689968 @default.
- W1972383107 hasRelatedWork W1986294095 @default.
- W1972383107 hasRelatedWork W2008373913 @default.
- W1972383107 hasRelatedWork W2031895106 @default.
- W1972383107 hasRelatedWork W2081036941 @default.
- W1972383107 hasRelatedWork W2093635516 @default.
- W1972383107 hasRelatedWork W2114733081 @default.
- W1972383107 hasRelatedWork W2122350090 @default.
- W1972383107 hasRelatedWork W2162324489 @default.
- W1972383107 hasRelatedWork W2162606603 @default.
- W1972383107 hasRelatedWork W349412554 @default.
- W1972383107 hasRelatedWork W615114735 @default.
- W1972383107 hasRelatedWork W119456006 @default.
- W1972383107 hasRelatedWork W2821533276 @default.
- W1972383107 hasRelatedWork W2848186862 @default.
- W1972383107 hasRelatedWork W2856939179 @default.
- W1972383107 hasRelatedWork W97503142 @default.
- W1972383107 isParatext "false" @default.
- W1972383107 isRetracted "false" @default.
- W1972383107 magId "1972383107" @default.
- W1972383107 workType "article" @default.