Browse Results

Showing 25,201 through 25,225 of 29,031 results

Software Development: An Open Source Approach (Chapman And Hall/crc Innovations In Software Engineering And Software Development Ser.)

by Allen Tucker

To understand the principles and practice of software development, there is no better motivator than participating in a software project with real-world value and a life beyond the academic arena. Software Development: An Open Source Approach immerses students directly into an agile free and open source software (FOSS) development process. It focus

Software Development, Design and Coding

by John F. Dooley

Learn the principles of good software design, and how to turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems. It's also about code construction — how to write great programs and make them work. Whether you're new to programming or have written hundreds of applications, in this book you'll re-examine what you already do, and you'll investigate ways to improve. Using the Java language, you'll look deeply into coding standards, debugging, unit testing, modularity, and other characteristics of good programs. With Software Development, Design and Coding, author and professor John Dooley distills his years of teaching and development experience to demonstrate practical techniques for great coding.What You'll LearnReview modern agile methodologies including Scrum and Lean programmingLeverage the capabilities of modern computer systems with parallel programmingWork with design patterns to exploit application development best practicesUse modern tools for development, collaboration, and source code controlsWho This Book Is ForEarly career software developers, or upper-level students in software engineering courses

Software Development From A to Z: A Deep Dive into all the Roles Involved in the Creation of Software

by Olga Filipova Rui Vilão

Understand the big picture of the software development process. We use software every day – operating systems, applications, document editing programs, home banking – but have you ever wondered who creates software and how it’s created? This book guides you through the entire process, from conception to the finished product with the aid of user-centric design theory and tools.Software Development: From A to Z provides an overview of backend development - from databases to communication protocols including practical programming skills in Java and of frontend development - from HTML and CSS to npm registry and Vue.js framework. You'll review quality assurance engineering, including the theory about different kind of tests and practicing end-to-end testing using Selenium. Dive into the devops world where authors discuss continuous integration and continuous delivery processes along with each topic's associated technologies. You'll then explore insightful product and project management coverage where authors talk about agile, scrum and other processes from their own experience.The topics that are covered do not require a deep knowledge of technology in general; anyone possessing basic computer and programming knowledge will be able to complete all the tasks and fully understand the concepts this book aims at delivering. You'll wear the hat of a project manager, product owner, designer, backend, frontend, QA and devops engineer, and find your favorite role. What You'll LearnUnderstand the processes and roles involved in the creation of softwareOrganize your ideas when building the concept of a new productExperience the work performed by stakeholders and other departments of expertise, their individual challenges, and how to overcome possible threatsImprove the ways stakeholders and departments can work with each otherGain ideas on how to improve communication and processes Who This Book Is For Anyone who is on a team that creates software and is curious to learn more about other stakeholders or departments involved. Those interested in a career change and want to learn about how software gets created. Those who want to build technical startups and wonder what roles might be involved in the process.

Software Development on the SAP HANA Platform

by Mark Walker

Software Development on the SAP HANA Platform is a general tutorial guide to SAP HANA.This book is written for beginners to the SAP HANA platform. No knowledge of SAP HANA is necessary to start using this book.

Software Due Diligence: Softwareentwicklung als Asset bewertet

by Christian Demant

Dieses praxisnahe Buch gibt einen Einblick in die Besonderheiten und vermeintlichen Geheimnisse der Softwareentwicklung. Dabei werden Methoden aufgezeigt, um die in der Softwareentwicklung versteckten Verm#65533;genswerte zu ermitteln und transparent zu machen. Software durchdringt immer mehr Bereiche in Industrie und Wirtschaft. IT-Management und Softwareentwicklung, die aktuell vielerorts noch als reine Unterst#65533;tzungs-Funktionen betrachtet werden, k#65533;nnten sich im Zuge der Digitalisierung in den n#65533;chsten Jahren in vielen Unternehmen zu Kernkompetenzen entwickeln. Um hierf#65533;r die aus unternehmerischer Sicht richtigen Weichenstellungen vornehmen zu k#65533;nnen, ist eine Positionsbestimmung die Voraussetzung. Die Zielgruppen Das Buch richtet sich an Wirtschaftspr#65533;fer, Steuerberater, Investoren, Business-Angels, M&A-Verantwortliche bei Banken sowie Inhaber und Gesch#65533;ftsf#65533;hrer von Softwareunternehmen oder Unternehmen, in denen die Softwareentwicklung einen wesentlichen Beitrag zur Wertsch#65533;pfung liefert.

Software Ecosystem: Understanding an Indispensable Technology and Industry

by David G. Messerschmitt Clemens Szyperski

Software has gone from obscurity to indispensability in less than fifty years. Although other industries have followed a similar trajectory, software and its supporting industry are different.

Software Engineering

by Elvis C. Foster

This text provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineering problems proven over several years of teaching, with outstanding results. The book covers concepts, principles, design, construction, implementation, and management issues of software systems. Each chapter is organized systematically into brief, reader-friendly sections, with itemization of the important points to be remembered. Diagrams and illustrations also sum up the salient points to enhance learning. Additionally, the book includes a number of the author's original methodologies that add clarity and creativity to the software engineering experience, while making a novel contribution to the discipline. Upholding his aim for brevity, comprehensive coverage, and relevance, Foster's practical and methodical discussion style gets straight to the salient issues, and avoids unnecessary topics and minimizes theoretical coverage.

Software Engineering: Proceedings of CSI 2015 (Advances in Intelligent Systems and Computing #731)

by M. N. Hoda Naresh Chauhan S. M. Quadri Praveen Ranjan Srivastava

This book presents selected proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. They cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This book focuses on Software Engineering, and informs readers about the state of the art in software engineering by gathering high-quality papers that represent the outcomes of consolidated research and innovations in Software Engineering and related areas. In addition to helping practitioners and researchers understand the chief issues involved in designing, developing, evolving and validating complex software systems, it provides comprehensive information on developing professional careers in Software Engineering. It also provides insights into various research issues such as software reliability, verification and validation, security and extensibility, as well as the latest concepts like component-based development, software process models, process-driven systems and human-computer collaborative systems.

Software Engineering: A Hands-On Approach

by Roger Y. Lee

This textbook provides a progressive approach to the teaching of software engineering. First, readers are introduced to the core concepts of the object-oriented methodology, which is used throughout the book to act as the foundation for software engineering and programming practices, and partly for the software engineering process itself. Then, the processes involved in software engineering are explained in more detail, especially methods and their applications in design, implementation, testing, and measurement, as they relate to software engineering projects. At last, readers are given the chance to practice these concepts by applying commonly used skills and tasks to a hands-on project. The impact of such a format is the potential for quicker and deeper understanding. Readers will master concepts and skills at the most basic levels before continuing to expand on and apply these lessons in later chapters.

Software Engineering: Challenges and Solutions

by Lech Madeyski Michał Śmiałek Bogumiła Hnatkowska Zbigniev Huzar

This book presents the proceedings of the KKIO Software Engineering Conference held in Wroc aw, Poland in September 15-17, 2016. It contains the carefully reviewed and selected scientific outcome of the conference, which had the motto: Better software = more efficient enterprise: challenges and solutions . Following this mission, this book is a compilation of challenges and needs of the industry, as well as research findings and achievements that could address the posed problems in software engineering. Some of these challenges included in the book are: increasing levels of abstraction for programming constructs, increasing levels of software reuse, increasing levels of automation, optimizing software development cycles. The book provides a platform for communication between researchers, young and established, and practitioners. "

Software Engineering

by Bertrand Meyer Martin Nordio

TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneersin the field. Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each year. This volumecontains selected lecture notes from the 10th LASER Summer School on SoftwareEngineering: Leading-Edge Software Engineering.

Software Engineering: Theory and Practice (Fourth Edition)

by Shari Lawrence Pfleeger Joanne M. Atlee

This introduction to software engineering and practice addresses both procedural and object-oriented development. This edition has been thoroughly updated to reflect significant changes in software engineering, including modeling and agile methods. Emphasizes essential role of modeling design in software engineering. Applies concepts consistently to two common examples -- a typical information system and a real-time system. Combines theory with real, practical applications by providing an abundance of case studies and examples from the current literature. A useful reference for software engineers.

Software Engineering and Algorithms in Intelligent Systems: Proceedings Of 7th Computer Science On-line Conference 2018, Volume 1 (Advances In Intelligent Systems And Computing #763)

by Radek Silhavy

This book presents new software engineering approaches and methods, discussing real-world problems and exploratory research that describes novel approaches, modern design techniques, hybrid algorithms and empirical methods. This book constitutes part of the refereed proceedings of the Software Engineering and Algorithms in Intelligent Systems Section of the 7th Computer Science On-line Conference 2018 (CSOC 2018), held in April 2018.

Software Engineering and Formal Methods

by Carlos Canal Akram Idani

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Software Engineering and Formal Methods

by Antonio Cerone Marco Roveri

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), L Aquila (September 2008), and Eindhoven (November 2009). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering, which o?ereda choiceofeventsintheareainadditionto themainconference. More- formation about ASE 2010 and the co-located events can be found on http: //soft. vub. ac. be/ase20

Software Engineering and Formal Methods

by Steve Counsell Manuel Núñez

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based application areas such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge. The Second International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD). The aim was to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas and solutions for modelling and analysing complex systems. In particular in areas including economy, governance, health, biology, ecology, climate and poverty reduction. The 7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert). The aim was to bring together researchers from Academia and Industry interested in the quality assessment of OSS projects, as well as the metrics, procedures and tools used in OSS communities and for the measurement and assessment of OSS quality.

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886)

by Einar Broch Johnsen Ina Schaefer

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Software Engineering and Formal Methods

by Rocco De Nicola Eva Kühn

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

Software Engineering and Formal Methods

by Bernhard Rumpe Domenico Bianculli Radu Calinescu

This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 papers included in this volume were carefully reviewed and selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods. The four workshops were: ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation; HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop; MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains; VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.

Software Engineering and Formal Methods

by Bernhard Rumpe Radu Calinescu

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Lecture Notes in Computer Science #10469)

by Marjan Sirjani Alessandro Cimatti

​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles.

Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861)

by Ming Li Zheng Li Minghui Zhou He Jiang Ge Li

This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018. The 6 revised selected papers were selected from 17 submissions for NASAC 2017, and 5 revised selected papers were selected from 20 submissions for NASAC 2018. The papers focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.

Software Engineering and Methodology for Emerging Domains

by Lu Zhang Chang Xu

This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016. The 15 revised selected papers were selected from 38 submissions and focus on all aspects of software engineering, e. g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

by Roger Lee

This editedbook presents scientific results of the 17th IEEE/ACIS InternationalConference on Software Engineering, Artificial Intelligence, Networking andParallel/Distributed Computing (SNPD 2016) which was held on May 30 - June 1,2016 in Shanghai, China. The aim of this conference was to bringtogether researchers and scientists, businessmen and entrepreneurs, teachers,engineers, computer users, and students to discuss the numerous fields ofcomputer science and to share their experiences and exchange new ideas andinformation in a meaningful way. Research results about all aspects (theory,applications and tools) of computer and information science, and to discuss thepractical challenges encountered along the way and the solutions adopted tosolve them.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

by Roger Lee

The purpose of the 10th ACIS International Conference on Software Engineering Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD rd 2009), held in Daegu, Korea on May 27-29, 2009, the 3 International Workshop st on e-Activity (IWEA 2009) and the 1 International Workshop on Enterprise Architecture Challenges and Responses (WEACR 2009) is to aim at bringing together researchers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. Our conference officers selected the best 24 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rounds of rigorous review. In chapter 1, Igor Crk and Chris Gniady propose a network-aware energy m- agement mechanism that provides a low-cost solution that can significantly reduce energy consumption in the entire system while maintaining responsiveness of local interactive workloads. Their dynamic mechanisms reduce the decision delay before the disk is spun-up, reduce the number of erroneous spin-ups in local wo- stations, decrease the network bandwidth, and reduce the energy consumption of individual drives. In chapter 2, Yoshihito Saito and Tokuro Matsuo describe a task allocation mechanism and its performance concerning with software developing. They run simulations and discuss the results in terms of effective strategies of task allocation.

Refine Search

Showing 25,201 through 25,225 of 29,031 results