Empirical Foundations of Information and Software Science IV
Empirical Foundations of Information and Software Science IV

Author: Jagdish C. Agrawal

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 510

ISBN-13: 1468454722

DOWNLOAD EBOOK

This is the proceedings of the Sixth Symposium on Empirical Foundations of Information and Software Sciences (EFISS), which was held in Atlanta, Georgia, on October 19-21, 1988. The purpose of the symposia is to explore subjects and methods of scientific inquiry which are of common interest to information and software sciences, and to identify directions of research that would benefit from the mutual interaction of these two disciplines. The main theme of the sixth symposium was modeling in information and software engineering, with emphasis on methods and tools of modeling. The symposium covered topics such as models of individual and organizational users of information systems, methods of selecting appropriate types of models for a given type of users and a given type of tasks, deriving models from records of system usage, modeling system evolution, constructing user and task models for adaptive systems, and models of system architectures. This symposium was sponsored by the School of Information and Computer Science of the Georgia Institute of Technology and by the U.S. Army Institute for Research in Management Information, Communications, and Computer Sciences (AIRMICS).17le Editors vii CONTENTS 1 I. KEYNOTE ADDRESS ...

Empirical Foundations of Information and Software Science III
Empirical Foundations of Information and Software Science III

Author: Jens Rasmussen

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 275

ISBN-13: 1461318955

DOWNLOAD EBOOK

The monograph presents the proceedings of the Third Symposium on Empir ical Foundations of Information and Software Sciences (EFISS) held at the Riso National Laboratory in Roskilde, Denmark, 23-25 October 1985. The EFISS series of meetings was initiated with the express purpose of explor ing subjects and methods of scientific inquiry of empirical nature which are of common interest to information and software sciences. Furthermore, these meetings were expected to provide a cross-disciplinary forum for discussion of problems and exchange of research results of importance for the design and application of advanced information systems. The previous two EFISS symposia took place at the Georgia Institute of Technology in Atlanta, Georgia, USA. The first meeting in 1982 focused on methods of experimental design and measurement techniques in information and software sciences. The second meeting was held in 1984 and its main theme was the value of information in prescriptive contexts, such as value of information for understanding and implementation of these messages, instructions, and commands. Specific examples of problems of this kind are the value of comments for the enhancement of understanding of computer programs, the value of information in assisting and guiding users of on line interactive systems, and the value of lexical aids in information retrieval. In both symposia, contributed papers were considered on any other valid subject of empirical foundations of the said two sciences.

Empirical Foundations of Information and Software Science V
Empirical Foundations of Information and Software Science V

Author: Pranas Zunde

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 455

ISBN-13: 1468458620

DOWNLOAD EBOOK

This is the proceedings of the Sixth Symposium on Empirical Foundations of Information and Software Sciences (EFISS), which was held in Atlanta, Georgia, on October 19-21, 1988. The purpose of the symposia is to explore subjects and methods of scientific inquiry which are of common interest to information and software sciences, and to identify directions of research that would benefit from the mutual interaction of these two disciplines. The main theme of the sixth symposium was modeling in information and software engineering, with emphasis on methods and tools of modeling. The symposium covered topics such as models of individual and organizational users of information systems, methods of selecting appropriate types of models for a given type of users and a given type of tasks, deriving models from records of system usage, modeling system evolution, constructing user and task models for adaptive systems, and models of system architectures. This symposium was sponsored by the School of Information and Computer Science of the Georgia Institute of Technology and by the U.S. Army Institute for Research in Management Information, Communications, and Computer Sciences (AIRMICS). 17le Editors vii CONTENTS 1 I. KEYNOTE ADDRESS ............................................. .

Impirical Foundations of Information and Software Science
Impirical Foundations of Information and Software Science

Author: Jagdish C. Agrawal

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 436

ISBN-13: 1461325218

DOWNLOAD EBOOK

The purpose of the Second Symposium on Empirical Foundations of Informa tion and Software Science (EFISS) was, in essence, the same as that of the First Symposium in this series, i. e. to explore subjects and methods of sci entific inquiry which are of fundamental and common interest to information and software sciences, and to map directions of research that will benefit from the mutual interaction of these two fields. In fact, one of the most important results of the First EFISS Symposium was the conclusion that the commonality of these two sciences is much more than just the commonality of their objects of study, namely, the study of informative and prescriptive properties of texts in all kinds of sign sys tems (such as natural or artificial languages). Rather, the most challeng ing problems appear to be in the areas in which both these sciences overlap, such as, for instance, the problem of trade-offs between informative and prescriptive uses of texts. This problem can be formulated in generic terms as follows: given a certain kind of action or activity which has been pre scribed to some agent, i. e. which is required to be implemented or carried out, what kind of information should be provided to the agent, in what form, and how should it be distributed over the contextual structure of the pre scriptive text to enable the agent to carry out the action or activity most effectively and efficiently.

Empirical Research for Software Security
Empirical Research for Software Security

Author: Lotfi ben Othmane

Publisher: CRC Press

Published: 2017-11-28

Total Pages: 323

ISBN-13: 1498776426

DOWNLOAD EBOOK

Developing secure software requires the integration of numerous methods and tools into the development process, and software design is based on shared expert knowledge, claims, and opinions. Empirical methods, including data analytics, allow extracting knowledge and insights from the data that organizations collect from their processes and tools, and from the opinions of the experts who practice these processes and methods. This book introduces the reader to the fundamentals of empirical research methods, and demonstrates how these methods can be used to hone a secure software development lifecycle based on empirical data and published best practices.

Foundations of Empirical Software Engineering
Foundations of Empirical Software Engineering

Author: Barry Boehm

Publisher: Springer Science & Business Media

Published: 2005-05-13

Total Pages: 452

ISBN-13: 9783540245476

DOWNLOAD EBOOK

Although software engineering can trace its beginnings to a NATO conf- ence in 1968, it cannot be said to have become an empirical science until the 1970s with the advent of the work of Prof. Victor Robert Basili of the University of Maryland. In addition to the need to engineer software was the need to understand software. Much like other sciences, such as physics, chemistry, and biology, software engineering needed a discipline of obs- vation, theory formation, experimentation, and feedback. By applying the scientific method to the software engineering domain, Basili developed concepts like the Goal-Question-Metric method, the Quality-Improvement- Paradigm, and the Experience Factory to help bring a sense of order to the ad hoc developments so prevalent in the software engineering field. On the occasion of Basili’s 65th birthday, we present this book c- taining reprints of 20 papers that defined much of his work. We divided the 20 papers into 6 sections, each describing a different facet of his work, and asked several individuals to write an introduction to each section. Instead of describing the scope of this book in this preface, we decided to let one of his papers, the keynote paper he gave at the International C- ference on Software Engineering in 1996 in Berlin, Germany to lead off this book. He, better than we, can best describe his views on what is - perimental software engineering.

Systems Science
Systems Science

Author: Frank A. Stowell

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 652

ISBN-13: 1461528623

DOWNLOAD EBOOK

As we approach the end of the 20th century we can look back upon the achievements that have been made in a variety of human endeavours with pride. Enormous strides have been made to improve the quality of life of millions of people through the application of the scientific discoveries made during this and past centuries. The 20th century will be remembered as much for the mass exploitation of scientific discovery as for the discoveries themselves. The technological age has meant that the human being is able to contemplate activities which "defy" nature. For example, some of the work involved in the preparation of these proceedings has been done whilst travelling at over 500 miles per hour seven miles above the surface of the earth. It is not difficult to conjecture about the effect that this relatively recent technology has had upon a number of "systems". Air transportation has provided a number of benefits including such disparate examples such as enabling holidays, famine relief and the cross fertilisation of cultural practices from other lands. Equally, there have been undesirable effects such as enabling the means of mass destruction, interference in other cultures and the speedy transportation of disease. Moreover, the physical presence of the aeroplane itself represents the consumption of fossil fuels, a source of pollution and a change in the way think about life. The view expressed here is of course the view of an inhabitant of the "western world".

Cognitive Models and Intelligent Environments for Learning Programming
Cognitive Models and Intelligent Environments for Learning Programming

Author: Enrica Lemut

Publisher: Springer Science & Business Media

Published: 2013-11-11

Total Pages: 318

ISBN-13: 3662113341

DOWNLOAD EBOOK

At present, there is a general consensus on the nature of learning programming, but there are different opinions on what forms an effective environment for it. It is generally recognized that the development of a mental model is a formidable task for the student and that learning programming is a complex activity that depends heavily on metacognitive skills. This book, based on a NATO workshop, presents both pure cognitive models and experimental learning environments, and discusses what characteristics can make a learning model effective, especially in relation to the learning environment (natural or computerized). The papers cover cognitive models related to different aspects of programming, classes of learners, and types of environment, and are organized in three groups: theoretical and empirical studies on understanding programming, environments for learning programming, and learning programming in school environments. Comprehension, design, construction, testing, debugging, and verification are recognized as interdependent skills, which require complicated analysis and may develop independently, and indifferent orders, in novices. This book shows that there is unlikely to be asingle path from novice to expert and that the structure of the final product (the program) may not constrain the process by which it comes into being as much as some would advocate.

Software Measurement
Software Measurement

Author: Reiner Dumke

Publisher: Springer Science & Business Media

Published: 2013-11-11

Total Pages: 269

ISBN-13: 3663089495

DOWNLOAD EBOOK

Software developers are faced with the challenge of making software systems and products of ever greater quality and safety, while at the same time being faced with the growing pressure of costs reduction in order to gain and maintain competitive advantages. As in any scientific and engineering discipline, reliable measurement is essential for talking on such a challenge. "Software measurement is an excellent abstraction mechanism for learning what works and what doesn't" (Victor Basili). Measurement of both software process and products provides a large amount of basic information for the evaluation of the software development processes or the software products themselves. Examples of recent successes in software measurement span multiple areas, such as evaluation of new development methods and paradigms, quality and management improvement programs, tool-supporting initiatives and company wide measurement programs. The German Computer Science Interest (GI) Group of Software Metrics and the Canadian Interest Group in Software Metrics (CIM) have attended to these concerns in the recent years. Research initiatives were directed initially to the definition of software metrics and then to validation of the software metrics themselves. This was followed by more and more investigation into practical applications of software metrics and by critical analysis of the benefits and weaknesses of software measurement programs. Key findings in this area of software engineering have been published in some important books, such as Dumke and Zuse's Theory and Practice of Software Measurement, Ebert and Dumke's Software Metrics in Practice and Lehner, Dumke and Abran's Software Metrics.