Computer Science and Educational Software Design

Computer Science and Educational Software Design

Author: Pierre Tchounikine

Publisher: Springer Science & Business Media

Published: 2011-06-27

Total Pages: 190

ISBN-13: 3642200036

DOWNLOAD EBOOK

Developing educational software requires thinking, problematizing, representing, modeling, implementing and analyzing pedagogical objectives and issues, as well as conceptual models and software architectures. Computer scientists face the difficulty of understanding the particular issues and phenomena to be taken into account in educational software projects and of avoiding a naïve technocentered perspective. On the other hand, actors with backgrounds in human or social sciences face the difficulty of understanding software design and implementation issues, and how computer scientists engage in these tasks. Tchounikine argues that these difficulties cannot be solved by building a kind of “general theory” or “general engineering methodology” to be adopted by all actors for all projects: educational software projects may correspond to very different realities, and may be conducted within very different perspectives and with very different matters of concern. Thus the issue of understanding each others’ perspectives and elaborating some common ground is to be considered in context, within the considered project or perspective. To this end, he provides the reader with a framework and means for actively taking into account the relationships between pedagogical settings and software, and for working together in a multidisciplinary way to develop educational software. His book is for actors engaged in research or development projects which require inventing, designing, adapting, implementing or analyzing educational software. The core audience is Master’s and PhD students, researchers and engineers from computer science or human and social sciences (e.g., education, psychology, pedagogy, philosophy, communications or sociology) interested in the issues raised by educational software design and analysis and in the variety of perspectives that may be adopted.


Analysis for Computer Scientists

Analysis for Computer Scientists

Author: Michael Oberguggenberger

Publisher: Springer Science & Business Media

Published: 2011-03-19

Total Pages: 338

ISBN-13: 0857294466

DOWNLOAD EBOOK

This textbook presents an algorithmic approach to mathematical analysis, with a focus on modelling and on the applications of analysis. Fully integrating mathematical software into the text as an important component of analysis, the book makes thorough use of examples and explanations using MATLAB, Maple, and Java applets. Mathematical theory is described alongside the basic concepts and methods of numerical analysis, supported by computer experiments and programming exercises, and an extensive use of figure illustrations. Features: thoroughly describes the essential concepts of analysis; provides summaries and exercises in each chapter, as well as computer experiments; discusses important applications and advanced topics; presents tools from vector and matrix algebra in the appendices, together with further information on continuity; includes definitions, propositions and examples throughout the text; supplementary software can be downloaded from the book’s webpage.


Computer Science And Technology - Proceedings Of The International Conference (Cst2016)

Computer Science And Technology - Proceedings Of The International Conference (Cst2016)

Author: Ning Cai

Publisher: World Scientific

Published: 2016-11-28

Total Pages: 1286

ISBN-13: 9813146435

DOWNLOAD EBOOK

This proceedings consists of selected papers presented at the International Conference on Computer Science and Technology (CST2016), which was successfully held in Shenzhen, China during January 8-10, 2016.CST2016 covered a wide range of fundamental studies, technical innovations and industrial applications in 7 areas, namely Computer Systems, Computer Network, Security, Databases and Information Systems, Artificial Intelligence and Multimedia, Theory and Software Engineering and Computer Applications.CST 2016 aims to provide a forum for researchers, engineers, and students in the area of computer science and technology. It features unique mixed various topics in computer science and technology including big data, system architecture, hardware and applications. CST 2016 attracted more than 300 submissions. Among them, only 142 papers were accepted in to the conference after a stringent peer review process.


Agile Software Development

Agile Software Development

Author: Robert C. Martin

Publisher: Pearson

Published: 2003

Total Pages: 560

ISBN-13:

DOWNLOAD EBOOK

Section 1 Agile development Section 2 Agile design Section 3 The payroll case study Section 4 Packaging the payroll system Section 5 The weather station case study Section 6 The ETS case study


New Trends in Software Methodologies, Tools and Techniques

New Trends in Software Methodologies, Tools and Techniques

Author: A. Selamat

Publisher: IOS Press

Published: 2014-08-29

Total Pages: 1128

ISBN-13: 161499434X

DOWNLOAD EBOOK

Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the thirteenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_14), held in Langkawi, Malaysia, in September 2014. The conference provides an opportunity for scholars from the international research community to discuss and share research experiences of new software methodologies and techniques, and the contributions presented here address issues ranging from research practices and techniques and methodologies to proposing and reporting solutions for global world business. The emphasis has been on human-centric software methodologies, end-user development techniques and emotional reasoning, for an optimally harmonized performance between the design tool and the user. Topics covered include the handling of cognitive issues in software development to adapt it to the user's mental state and intelligent software design in software utilizing new aspects on conceptual ontology and semantics reflected on knowledge base system models. This book provides an opportunity for the software science community to show where we are today and where the future may take us.


Assessing and Responding to the Growth of Computer Science Undergraduate Enrollments

Assessing and Responding to the Growth of Computer Science Undergraduate Enrollments

Author: National Academies of Sciences, Engineering, and Medicine

Publisher: National Academies Press

Published: 2018-04-28

Total Pages: 253

ISBN-13: 0309467020

DOWNLOAD EBOOK

The field of computer science (CS) is currently experiencing a surge in undergraduate degree production and course enrollments, which is straining program resources at many institutions and causing concern among faculty and administrators about how best to respond to the rapidly growing demand. There is also significant interest about what this growth will mean for the future of CS programs, the role of computer science in academic institutions, the field as a whole, and U.S. society more broadly. Assessing and Responding to the Growth of Computer Science Undergraduate Enrollments seeks to provide a better understanding of the current trends in computing enrollments in the context of past trends. It examines drivers of the current enrollment surge, relationships between the surge and current and potential gains in diversity in the field, and the potential impacts of responses to the increased demand for computing in higher education, and it considers the likely effects of those responses on students, faculty, and institutions. This report provides recommendations for what institutions of higher education, government agencies, and the private sector can do to respond to the surge and plan for a strong and sustainable future for the field of CS in general, the health of the institutions of higher education, and the prosperity of the nation.


Computational Science and Technology

Computational Science and Technology

Author: Rayner Alfred

Publisher: Springer Nature

Published: 2019-08-29

Total Pages: 725

ISBN-13: 9811500584

DOWNLOAD EBOOK

This book gathers the proceedings of the Sixth International Conference on Computational Science and Technology 2019 (ICCST2019), held in Kota Kinabalu, Malaysia, on 29–30 August 2019. The respective contributions offer practitioners and researchers a range of new computational techniques and solutions, identify emerging issues, and outline future research directions, while also showing them how to apply the latest large-scale, high-performance computational methods.


Encyclopedia of Information Science and Technology, Third Edition

Encyclopedia of Information Science and Technology, Third Edition

Author: Khosrow-Pour, Mehdi

Publisher: IGI Global

Published: 2014-07-31

Total Pages: 7972

ISBN-13: 1466658894

DOWNLOAD EBOOK

"This 10-volume compilation of authoritative, research-based articles contributed by thousands of researchers and experts from all over the world emphasized modern issues and the presentation of potential opportunities, prospective solutions, and future directions in the field of information science and technology"--Provided by publisher.


Advances in Computational Science, Engineering and Information Technology

Advances in Computational Science, Engineering and Information Technology

Author: Dhinaharan Nagamalai

Publisher: Springer Science & Business Media

Published: 2013-05-31

Total Pages: 335

ISBN-13: 3319009516

DOWNLOAD EBOOK

This book is the proceedings of Third International Conference on Computational Science, Engineering and Information Technology (CCSEIT-2013) that was held in Konya, Turkey, on June 7-9. CCSEIT-2013 provided an excellent international forum for sharing knowledge and results in theory, methodology and applications of computational science, engineering and information technology. This book contains research results, projects, survey work and industrial experiences representing significant advances in the field. The different contributions collected in this book cover five main areas: algorithms, data structures and applications; wireless and mobile networks; computer networks and communications; natural language processing and information theory; cryptography and information security.


Rigorous Software Development

Rigorous Software Development

Author: José Bacelar Almeida

Publisher: Springer Science & Business Media

Published: 2011-01-04

Total Pages: 269

ISBN-13: 0857290185

DOWNLOAD EBOOK

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software. The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors.