Unilibrary. Oliy ta'lim muassasalarining yagona elektron kutubxona axborot tizimi.

End-User Development

his book constitutes the refereed proceedings of the 6th International Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, The Netherlands, in June 2017. The 10 full papers and 3 short papers presented were carefully reviewed and selected from 26 submissions. According to the theme of the conference "that was business, this is personal" the papers address the personal involvement and engagement of end-users, the application of end-user programming beyond the professional environment looking also at discretionary use of technologies. They also deal with topics covered by the broader area of end-user development such as domain specific tools, spreadsheets, and end user aspects.

Делопроизводство на государственном языке

В учебном пособии "Делопроизводство на государственном языке", созданном на основе образцов учебной программы по данному предмету, представлены теоретические разработки по грамматике узбекского языка, развитию устной речи, составлению редактированию текстов. Приводятся сведения из истории узбекского архивного дела и культуры делопроизводства, а также формы некоторых видов документов. В нем также представлены упражнения и здания по закреплению пройденного материала.

Automotive Software Architectures

This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars’ software. In Chapter 3, readers will find a description of the software development processes used to develop software on the car manufacturers’ side. Chapter 4 then introduces AUTOSAR – an important standard in automotive software. Chapter 5 goes beyond simple architecture and describes the detailed design process for automotive software using Simulink, helping readers to understand how detailed design links to high-level design. Next, Chapter 6 presents a method for assessing the quality of the architecture – ATAM (Architecture Trade-off Analysis Method) – and provides a sample assessment, while Chapter 7 presents an alternative way of assessing the architecture, namely by using quantitative measures and indicators. Subsequently Chapter 8 dives deeper into one of the specific properties discussed in Chapter 6 – safety – and details an important standard in that area, the ISO/IEC 26262 norm. Lastly, Chapter 9 presents a set of future trends that are currently emerging and have the potential to shape automotive software engineering in the coming years.

Agile Processes in Software Engineering and Extreme Programming

XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online.

NASA Formal Methods

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Information Technology – New Generations

This volume presents a collection of peer-reviewed, scientific articles from the 14th International Conference on Information Technology – New Generations, held at the Universityof Nevada at Las Vegas on April 10–12, at Tuscany Suites Hotel in Las Vegas. The Book of Chapters addresses critical areas of information technology including web technology, communications,computing architectures, software engineering, security, and data mining.

OWL: Experiences and Directions – Reasoner Evaluation

This book constitutes the thoroughly refereed conference proceedings of the 13International Workshop on OWL: Experiences and Directions, OWLED 2016, and the 5th International Workshop on OWL: Reasoner Evaluation, ORE 2016, held in Bologna, Italy in November 20, 2016. The Workshops were co-located with the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016. The 11 revised full papers, 3 short paper and one invited talk presented were carefully reviewed and selected from 27 initial submissions. The papers are trying to bridge the gap between ontology engineering practices and software engineering with the aim of describing reuse methods employed throughout the ontology development cycle; modeling/terminological decisions, alignment and comparison between ontologies, how ontologies are stored, versioned, distributed and consumed over the Web.

Requirements Engineering Foundation for Software Quality

This book constitutes the proceedings of the 22nd International Working Conference on Requirements Engineering – Foundation for Software Quality, REFSQ 2016, held in Gothenburg, Sweden, in March 2016. The 16 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 64 submissions. The papers were organized in topical sections named: decision making in requirements engineering; open source in requirements engineering; natural language; compliance in requirements engineering; requirements engineering in the automotive domain; empirical studies in requirements engineering; requirements engineering foundations; human factors in requirements engineering; and research methodology in requirements engineering.

The Handbook of Formal Methods in Human-Computer Interaction

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.

Data Integration Life Cycle Management with SSIS A Short Introduction by Example

Build a custom BimlExpress framework that generates dozens of SQL Server Integration Services (SSIS) packages in minutes. Use this framework to execute related SSIS packages in a single command. You will learn to configure SSIS catalog projects, manage catalog deployments, and monitor SSIS catalog execution and history. Data Integration Life Cycle Management with SSIS shows you how to bring DevOps benefits to SSIS integration projects. Practices in this book enable faster time to market, higher quality of code, and repeatable automation. Code will be created that is easier to support and maintain. The book teaches you how to more effectively manage SSIS in the enterprise environment by drawing on the art and science of modern DevOps practices.

Practical C++ Design: From Programming to Architecture

Go from competent C++ developer to skilled designer or architect using this book as your C++ design master class. This title will guide you through the design and implementation of a fun, engaging case study. Starting with a quick exploration of the requirements for building the application, you'll delve into selecting an appropriate architecture, eventually designing and implementing all of the necessary modules to meet the project’s requirements. By the conclusion of Practical C++ Design, you'll have constructed a fully functioning calculator that builds and executes on multiple platforms. Access to the complete source code will help speed your learning. Utilize the Model-View-Controller pattern to determine the optimal architecture for the calculator; the observer pattern to design an event system; the singleton pattern as you design the calculator’s central data repository, a reusable stack; the command pattern to design a command system supporting unlimited undo/redo; and the abstract factory pattern for a cross-platform plugin infrastructure to make the calculator extensible.

Practical Azure Application Development: A Step-by-Step Approach to Build Feature-Rich Cloud-Ready Solutions

Get started and learn a step-by-step approach to application development using Microsoft Azure. Select the right services to solve the problem at hand in a cost-effective manner and explore the potential different services and how they can help in building enterprise applications. Azure has an ample amount of resources and tutorials, but most of them focus on specific services and explain those services on their own and in a given context. Practical Azure Application Development focuses on building complete solutions on Azure using different services. This book gives you the holistic approach to Azure as a solutions development platform.

Test Driven Development in Ruby A Practical Introduction to TDD Using Problem and Solution Domain Analysis

My first thanks go to Steve Anglin, who approached me with the idea of writing a Ruby book. As a first-time author, I was both petrified and excited at the same time. He was very understanding about my situation and provided me the freedom to choose the topic and timing of the book. I would like to thank Rhonda Jezek for pairing with me on most of the examples in this book, and Daniel Pritchard for believing in me and encouraging me to write the book. I also would like to thank the members of my Silicon Valley Ruby meetup, who provided valuable feedback about the early material in this book at the bootcamps and tutorials. Thanks to Emily Bache for providing me with very candid technical feedback, and Randy Coulman for his inspiring presentations and technical review of one of the chapters. I would also like to thank Mayank Suri for challenging me and pushing me out of my comfort zone in order to accomplish bigger goals in my career. This book builds on top of the work of others like Kent Beck, Robert Martin, Eric Evans, Gerard Meszaros, Michael Feathers, and others mentioned in the book. I cannot thank Ryan Davis enough for building a simple and elegant testing framework with a gentle learning curve for beginners.

Oracle Application Express by Design

First, April Bending, my wife, has supported and encouraged me throughout this project. Without her and her sharp eye for proofreading, this book would not exist. Second, Insum Solutions Inc. and its supportive team have given me invaluable insights into how people, processes, and technology all work together to achieve results. Third, the APEX community, whom I have met over the years at various conferences, have fostered an incredible and generous environment of caring and sharing. A special shout-out goes to the APEX development team; without their Herculean efforts and culture of generosity, APEX and its community would not exist.

Cases and materials on international law.

The Sources of International Law. International Law and Municipal Law.

Cyber Age

"Cyber Age" is B2 level English manual for students of Information Security and Technical English in Higher Education. It aims to help students to improve a wide variety of language skills and to acquire necessary knowledge in IT sphere. The main features of the manual is integration of wide range of topics for with texts on specialty . The subjects that play a role here are discussed in more detail in the relevant lessons. Each lesson will explain why the specific subject is relevant. This will be clarified using cases from everyday practice. This manual is intended for everyone who wishes to have a basic understanding of information security. This basic understanding is important to all students in a faculty as they all work with information. This basic knowledge is also important for all teachers, as they are responsible for protecting their own information.