Описание: Betrayal! Corruption! Software engineering? Industry experts Johann Rost and Robert L. Glass explore the seamy underbelly of software engineering in this timely report on and analysis of the prevalance of subversion, lying, hacking, and espionage on every level of software project management.
Описание: This book describes each of the forty software and systems engineering standards contained in the collection of the IEEE. The book is organized to permit a user to quickly find a subject of interest, find an overall description of the subject, find the standards that provide best practices for that subject, and understand the content of the standards. This book is part of the IEEE Computer Society's Software Engineering Standards Series. Written from the pctitioner's point of view. Allows users to select standards with precision, avoiding the mistakes of selecting a single "silver bullet" and uncritically adopting an entire body.
Описание: This text presents a framework for project management activities based on the planning, organizing, staffing, directing, and controlling model, providing information which should help the reader understand and perform the role of a project manager.
Автор: Lopes Название: Exercises in Programming Style ISBN: 1482227371 ISBN-13(EAN): 9781482227376 Издательство: Taylor&Francis Рейтинг: Цена: 3926 р. Наличие на складе: Поставка под заказ.
Описание: Using a simple computational task (term frequency) to illustrate different programming styles, Exercises in Programming Style helps readers understand the various ways of writing programs and designing systems. It is designed to be used in conjunction with code provided on an online repository. The book complements and explains the raw code in a way that is accessible to anyone who regularly practices the art of programming. The book can also be used in advanced programming courses in computer science and software engineering programs. The book contains 33 different styles for writing the term frequency task. The styles are grouped into nine categories: historical, basic, function composition, objects and object interactions, reflection and metaprogramming, adversity, data-centric, concurrency, and interactivity. The author verbalizes the constraints in each style and explains the example programs. Each chapter first presents the constraints of the style, next shows an example program, and then gives a detailed explanation of the code. Most chapters also have sections focusing on the use of the style in systems design as well as sections describing the historical context in which the programming style emerged.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004.The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully reviewed and selected from a total of 98 submissions. The papers are organized in topical sections on objects and aspects, smart cards, components, security and web services, modeling and requirements, testing, and model checking and analysis.
Описание: This book constitutes the refereed proceedings of the Third International Conference on Generative and Component-Based Software Engineering, GCSE 2001, held in Erfurt, Germany, in September 2001.The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on software product lines, aspects, generic and generative approaches, and components and architectures.
Описание: This book assesses the state of the art of agent-based approaches as a software engineering paradigm. The 15 revised full papers presented together with an invited article were carefully selected from 43 submissions during two rounds of reviewing and improvement for the 4th International Workshop on Agent-Oriented Software Engineering, AOSE 2003, held in Melbourne, Australia, in July during AAMAS 2003.The papers address all current issues in the field of software agents and multi-agent systems relevant for software engineering; they are organized in topical sections on- modeling agents and multi-agent systems-methodologies and tools- patterns, architectures, and reuse- roles and organizations.
Описание: In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry.
Описание: This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.
Описание: This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Software Engineering and Middleware, SEM 2002, held in Orlando, FL, USA in May 2002 in collocation with ICSE 2002.The 15 revised full papers presented together with an invited contribution and a concluding summary were carefully selected from 27 submissions during two rounds of reviewing and revision. The papers are organized in topical sections on architectures, specification, components and adaption, technologies, and services.
Описание: This book constitutes the refereed proceedings of the 4th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2003, held in Genova, Italy in May 2003.The 33 revised full papers presented together with experience reports, research reports, abstracts from an educational symposium and a PhD symposium, as well as panel statements were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on managing agile processes, methodological issues, extending agile methodologies and XP, methods and tools, teaching and education aspects, testing, pair programming, and other XP practices.
Описание: This book constitutes the refereed proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003, held in Warsaw, Poland, in April 2003.The 20 revised full papers presented together with a keynote paper were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on software components, mobile computing, aspects and web applications, software measurements, formal verficiation, analysis and testing, and model integration and extension.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru