Is mathematical software a legitimate research area?
نویسندگان
چکیده
منابع مشابه
A mathematical perspective for software measures research
We identify and analyze basic principles which necessarily underlie software measures research. In the prevailing paradigm for the validation of software measures there is a fundamental assumption that the sets of measured documents are ordered, and that measures should report these orders. We describe mathematically the nature of such orders. Consideration of these orders suggests a hierarchy ...
متن کاملSoftware Systems Analysis— A Research Area Overview
Software systems analysis is a field in which analysts continually learn new techniques and approaches to properly capture, maintain, understand, and develop more efficient and effective software systems. We begin this research area overview by defining systems, systems analysis, and modeling. In subsequent sections, we focus on data and behavior representation of the system under study, protot...
متن کاملVisualising Software – A Key Research Area
The visualisation of software systems has long been investigated, primarily through the use of graph structures representing at most a couple of aspects of the system under consideration. It has been claimed that such visualisation cannot be successful because of the size and complexity of software; this is true of purely graph displays. This position paper makes the case for three-dimensional ...
متن کاملMathematical Software Is It Mathematics or Is It Software ?
Computers can empower mathematicians to envision and to prove theorems beyondnatural limitations. At the same time, computers can facilitate misdirection and error on a grand scale.Working on software development is, in effect, engaging in an interesting genre ofmathematical thinking. Since we are in an age where significant progress has been achieved on both practical and intellectual levels b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGNUM Newsletter
سال: 1981
ISSN: 0163-5778
DOI: 10.1145/1057550.1057554