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 :
بازگشت