Matches in SemOpenAlex for { <https://semopenalex.org/work/W562549062> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W562549062 abstract "This paper presents an algorithm for translating concurrent procedural language programs into nonprocedural, mathematical language programs, called specifications. The goal is to achieve reuse of old existing programs in developing new systems, through having them explained automatically and facilitating their modification. Mathematical languages are widely believed to be superior to procedural languages. Unlike procedural languages, mathematical languages do not have side effects and are oblivious to concepts. Thus mathematical languages free the user of having to think like a computer when developing or modifying a program. Its mathematical semantics make proving software correctness easier and improves software reliability. The specification can then be used to generate automatically highly efficient procedural language programs for system. The translation algorithm centers around the difference in the meaning of variables in procedural and mathematical languages. In a procedural language a variable may be assigned many values. In a mathematical language, however, a variable may be assigned only one value. The translation algorithm focuses on renaming variables in a procedural language program so that each variable is assigned only one value. This paper also presents a methodology for proving specification correctness. The idea is based on generating scenarios that define values of variable for an applicable situation and using this to prove the specification satisfy a given requirement. This is contrasted with use of temporal logic for proving correctness of concurrent programs. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-89-81. This thesis or dissertation is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/810 Reverse Software Engineering Of Concurrent Real Time Programs" @default.
- W562549062 created "2016-06-24" @default.
- W562549062 creator A5055139703 @default.
- W562549062 date "1989-01-01" @default.
- W562549062 modified "2023-09-26" @default.
- W562549062 title "Reverse Software Engineering of Concurrent Real Time Programs" @default.
- W562549062 cites W1501093063 @default.
- W562549062 cites W1511969828 @default.
- W562549062 cites W1540774993 @default.
- W562549062 cites W2107725559 @default.
- W562549062 cites W2994925553 @default.
- W562549062 cites W3093036 @default.
- W562549062 cites W50233445 @default.
- W562549062 hasPublicationYear "1989" @default.
- W562549062 type Work @default.
- W562549062 sameAs 562549062 @default.
- W562549062 citedByCount "2" @default.
- W562549062 crossrefType "journal-article" @default.
- W562549062 hasAuthorship W562549062A5055139703 @default.
- W562549062 hasConcept C115903868 @default.
- W562549062 hasConcept C134306372 @default.
- W562549062 hasConcept C182365436 @default.
- W562549062 hasConcept C184337299 @default.
- W562549062 hasConcept C199360897 @default.
- W562549062 hasConcept C33923547 @default.
- W562549062 hasConcept C41008148 @default.
- W562549062 hasConcept C55439883 @default.
- W562549062 hasConcept C80444323 @default.
- W562549062 hasConceptScore W562549062C115903868 @default.
- W562549062 hasConceptScore W562549062C134306372 @default.
- W562549062 hasConceptScore W562549062C182365436 @default.
- W562549062 hasConceptScore W562549062C184337299 @default.
- W562549062 hasConceptScore W562549062C199360897 @default.
- W562549062 hasConceptScore W562549062C33923547 @default.
- W562549062 hasConceptScore W562549062C41008148 @default.
- W562549062 hasConceptScore W562549062C55439883 @default.
- W562549062 hasConceptScore W562549062C80444323 @default.
- W562549062 hasLocation W5625490621 @default.
- W562549062 hasOpenAccess W562549062 @default.
- W562549062 hasPrimaryLocation W5625490621 @default.
- W562549062 hasRelatedWork W1511209937 @default.
- W562549062 hasRelatedWork W1542564869 @default.
- W562549062 hasRelatedWork W1606638166 @default.
- W562549062 hasRelatedWork W1972854597 @default.
- W562549062 hasRelatedWork W1982199363 @default.
- W562549062 hasRelatedWork W2035299162 @default.
- W562549062 hasRelatedWork W2050289576 @default.
- W562549062 hasRelatedWork W2095610905 @default.
- W562549062 hasRelatedWork W2103022887 @default.
- W562549062 hasRelatedWork W2149877217 @default.
- W562549062 hasRelatedWork W2152400595 @default.
- W562549062 hasRelatedWork W2152835034 @default.
- W562549062 hasRelatedWork W2159174738 @default.
- W562549062 hasRelatedWork W2160596584 @default.
- W562549062 hasRelatedWork W2490496462 @default.
- W562549062 hasRelatedWork W2555717656 @default.
- W562549062 hasRelatedWork W3120867190 @default.
- W562549062 hasRelatedWork W813495833 @default.
- W562549062 hasRelatedWork W95812104 @default.
- W562549062 hasRelatedWork W780519 @default.
- W562549062 isParatext "false" @default.
- W562549062 isRetracted "false" @default.
- W562549062 magId "562549062" @default.
- W562549062 workType "article" @default.