DocumentCode
1932937
Title
Extending analysis paradigms
Author
Woodfield, Scott N. ; Embley, David W. ; Kurtz, Burry D.
Author_Institution
Brigham Young Univ., Provo, UT, USA
fYear
1990
fDate
21-23 Mar 1990
Firstpage
441
Lastpage
446
Abstract
It is suggested that natural language can be used as a guide to the development of conceptual models and as an aid for testing completeness. It is also suggested that conceptual models may be judged by how many of the following concepts are fully supported: entities, actions, relationships, events, concurrency, rules and constraints, communication, abstraction, and fuzziness. Neither requirements nor specification models should constrain an analyst who is describing problems or solutions. Underlying conceptual models must easily represent reality and must not be artificially constrained by some implementation paradigm. To this end, the authors argue for improving design techniques and programming languages so that these more powerful specifications can be easily implemented
Keywords
formal specification; software engineering; systems analysis; abstraction; actions; communication; conceptual models; concurrency; constraints; entities; events; fuzziness; relationships; rules; software analysis; specification completeness; specification models; Batteries; Concurrent computing; Educational programs; Glass; Natural languages; Object oriented modeling; Programming profession; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers and Communications, 1990. Conference Proceedings., Ninth Annual International Phoenix Conference on
Conference_Location
Scottsdale, AZ
Print_ISBN
0-8186-2030-7
Type
conf
DOI
10.1109/PCCC.1990.101654
Filename
101654
Link To Document