Algebraic Specifications in Software Engineering, Ivo Van Horebeek; Johan Lewi
Автор: David Luckham Название: Programming with Specifications ISBN: 1461396875 ISBN-13(EAN): 9781461396871 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.
Автор: Haim Kilov; Bernhard Rumpe; Ian Simmonds Название: Behavioral Specifications of Businesses and Systems ISBN: 0792386299 ISBN-13(EAN): 9780792386292 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text covers the reading, writing and understanding of specifications. It describes useful concepts and practices (in programming and in specifications) and solid underlying theory that is of interest to those who deal with complexity of business and systems.
Автор: Vaishnavi Название: Design Science Research Methods and Patterns ISBN: 1498715257 ISBN-13(EAN): 9781498715256 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.
Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT). With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method. This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality. This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.
Автор: Pekka Abrahamsson; Richard Baskerville; Kieran Con Название: Agile Processes in Software Engineering and Extreme Programming ISBN: 3540682546 ISBN-13(EAN): 9783540682547 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2008, held in Limerick, Ireland, in June 2008.
Автор: Wang Название: Programming Languages for MIS ISBN: 1482222663 ISBN-13(EAN): 9781482222661 Издательство: Taylor&Francis Рейтинг: Цена: 12095.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Programming Languages for MIS: Concepts and Practice supplies a synopsis of the major computer programming languages, including C++, HTML, JavaScript, CSS, VB.NET, C#.NET, ASP.NET, PHP (with MySQL), XML (with XSLT, DTD, and XML Schema), and SQL. Ideal for undergraduate students in IS and IT programs, this textbook and its previous versions have been used in the authors' classes for the past 15 years.
Focused on web application development, the book considers client-side computing, server-side computing, and database applications. It emphasizes programming techniques, including structured programming, object-oriented programming, client-side programming, server-side programming, and graphical user interface.
Introduces the basics of computer languages along with the key characteristics of all procedural computer languages
Covers C++ and the fundamental concepts of the two programming paradigms: function-oriented and object-oriented
Considers HTML, JavaScript, and CSS for web page development
Presents VB.NET for graphical user interface development
Introduces PHP, a popular open source programming language, and explains the use of the MySQL database in PHP
Discusses XML and its companion languages, including XSTL, DTD, and XML Schema
With this book, students learn the concepts shared by all computer languages as well as the unique features of each language. This self-contained text includes exercise questions, project requirements, report formats, and operational manuals of programming environments. A test bank and answers to exercise questions are also available upon qualified course adoption.
This book supplies professors with the opportunity to structure a course consisting of two distinct modules: the teaching module and the project module. The teaching module supplies an overview of representative computer languages. The project module provides students with the opportunity to gain hands-on experience with the various computer languages through projects.
Автор: Martin Gro?e-Rhode Название: Semantic Integration of Heterogeneous Software Specifications ISBN: 3642073069 ISBN-13(EAN): 9783642073069 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The first book to integrate various model-based software specification approaches. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches.
Автор: D. Bjorner Название: Abstract Software Specifications ISBN: 3540100075 ISBN-13(EAN): 9783540100072 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems.
Автор: Haim Kilov; Ken Baclavski Название: Practical Foundations of Business System Specifications ISBN: 9048163676 ISBN-13(EAN): 9789048163670 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual.
Автор: Haim Kilov; William Harvey Название: Object-Oriented Behavioral Specifications ISBN: 0792397789 ISBN-13(EAN): 9780792397786 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. This book deals with precise specifications of `what` is accomplished by the business and `what` is to be done by a system.
Автор: Haim Kilov; William Harvey Название: Object-Oriented Behavioral Specifications ISBN: 1475770405 ISBN-13(EAN): 9781475770407 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book does not take `reuse` of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.
Автор: Haim Kilov; Bernhard Rumpe; Ian Simmonds Название: Behavioral Specifications of Businesses and Systems ISBN: 1461373832 ISBN-13(EAN): 9781461373834 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
