Описание: 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.
Автор: Thayer Название: Software engineering project management ISBN: 0818680008 ISBN-13(EAN): 9780818680007 Издательство: Wiley Рейтинг: Цена: 12738 р. Наличие на складе: Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Lopes Название: Exercises in Programming Style ISBN: 1482227371 ISBN-13(EAN): 9781482227376 Издательство: Taylor&Francis Рейтинг: Цена: 4113 р. Наличие на складе: Поставка под заказ.
Описание: 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 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.
Описание: Nowadays, societies crucially depend on high-quality software for a large part of their functionalities and activities. Therefore, software professionals, researchers, managers, and practitioners alike have to competently decide what software technologies and products to choose for which purpose.For various reasons, systematic empirical studies employing strictly scientific methods are hardly practiced in software engineering. Thus there is an unquestioned need for developing improved and better-qualified empirical methods, for their application in practice and for dissemination of the results.This book describes different kinds of empirical studies and methods for performing such studies, e.g., for planning, performing, analyzing, and reporting such studies. Actual studies are presented in detail in various chapters dealing with inspections, testing, object-oriented techniques, and component-based software engineering.
Описание: 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.
Автор: Lee Jonathan Название: Software Engineering with Computational Intelligence ISBN: 3540004726 ISBN-13(EAN): 9783540004721 Издательство: Springer Рейтинг: Цена: 22160 р. Наличие на складе: Поставка под заказ.
Описание: This edited book invites the reader to explore how the latest technologies developed in computational intelligence can be extended and applied to software engineering. Leading experts demonstrate how this recent confluence of software engineering and computational intelligence provides a powerful tool to address the increasing demand for complex applications in diversified areas, the ever-increasing complexity and size of software systems, and the inherently imperfect nature of the information. The presented treatments to software modeling and formal analysis permit the extension of computational intelligence to various phases in software life cycles, such as managing fuzziness resident in the requirements, coping with fuzzy objects and imprecise knowledge, and handling uncertainty encountered in quality prediction.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru