Software Engineering

The objective of this edited book is to gather best practices in the development and management of mobile apps projects. Mobile Apps Engineering aims to provide software engineering lecturers, student

This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in Fe

This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers

Building Services Engineering Spreadsheets is a versatile, user friendly tool for design calculations. Spreadsheet application software is readily understandable since each formula is readable in the

This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2017, held in Essen, Germany, in February/March

As one of the results of an ambitious project, this handbook provides a well-structured directory of globally available software tools in the area of Integrated Computational Materials Engineering (IC

Thorough and continuous architecting is the key to overall success in software engineering, and architecture evaluation is a crucial part of it. This book presents a pragmatic architecture evaluation

This volume contains the lecture notes of the courses given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in the week 8{13 September 2014 at Southwest University in Chon

This book presents Systems Engineering from a modern, multidisciplinary engineering approach, providing the understanding that all aspects of systems design, systems, software, test, security, mainten

Security requirements engineering is especially challenging because designers must consider not just the software under design but also interactions among people, organizations, hardware, and software

This book constitutes thoroughly revised and selected papers from the Third International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015, held in Angers, France, in F

This book explores how agile development practices, in particular pair programming, code review and automated testing, help software development teams to perform better. Agile software engineering has

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, i

This book integrates new ideas and topics from real time systems, embedded systems, and software engineering to give a complete picture of the whole process of developing software for real-time embedd

This book constitutes the refereed proceedings of the 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, held in Milan, Italy, in March 2015. The 11 full papers presen

This textbook is for masters students of industrial engineering and economic engineering who want to know how to apply, manage, and implement modern industrial software applications. The material will

TECHNICAL DRAWING AND ENGINEERING COMMUNICATION, 7E offers a fresh, modern approach to technical drawing that combines the most current industry standards with up-to-date technologies and software, re

This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Vasteras, Sweden, in September 2014. The 19 revised full papers p

This book provides a quick reference guide to the use of different software packages for chemical engineering applications so that readers can become familiar with their capabilities. The book covers

Scheibmayr develops a method and a software artifact to support activities in the early requirements engineering phase of software development in order to overcome some of the difficulties and improve

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi

This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014. The 11 full papers

DescriptionCareer Paths: Software Engineering is a new educational resource for software engineering professionals who want to improve their English communication in a work environment. Incorporating

Now in its third edition, this classic guide to software requirements engineering has been fully updated with new topics, examples, and guidance. Two leaders in the requirements community have teamed

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 paper

International contributors in computer science, software engineering, and information systems extol the benefits of aligning business processes with IT through the use of enterprise architecture as a

Gonzalez (computer science, U. of La Laguna, Spain) brings together a group of technology, computer science, software engineering, informatics, and other researchers from Europe, Australia, and South

Step-by-step instructions enable chemical engineers to master key software programs and solve complex problemsToday, both students and professionals in chemical engineering must solve increasi

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011. The 18 papers pres

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 re

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and e

SolidWorks is a software package for modeling solids, and Valentino and DiZinno (both mechanical engineering technology and design drafting, City U. of New York-Queensborough Community College) provid

Software testing is conducted to provide stakeholders with information about the quality of a product under testing. The book, which is a result of the two decades of teaching experience of the author, aims to present testing concepts and methods that can be used in practice. The text will help readers to learn how to find faults in software before it is made available to users. A judicious mix of software testing concepts, solved problems and real-life case studies makes the book ideal for a basic course in software testing. The book will be a useful resource for senior undergraduate/graduate students of engineering, academics, software practitioners and researchers.

Building on seven strong editions, the eighth edition maintains the organization and approach for which Object-Oriented and Classical Software Engineering is known while making significant improvement

Parametric cost estimating models can be used for cost and schedule estimation for complex projects involving engineering, hardware, software, service, and IT. This book will help cost engineers and p

Two civil engineering experts present a focused, no-nonsense introduction to Autodesk's civil engineering software AutoCAD Civil 3D is the industry-leading civil engineering software, and this well-st

This text is a guide to the foundations of method engineering, a developing field concerned with the definition of techniques for designing software systems. The approach is based on metamodeling, th

In small but growing software companies, the engineering manager is in the unique position of having to deal with the technical team and other senior managers, while at the same time taking direction

Since its inception in 1968, software engineering has undergone numerous changes. In the early years, software development was organized using the waterfall model, where the focus of requirements engi

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.