Software Engineering with OBJ

Software Engineering with OBJ

Author: Joseph A. Goguen

Publisher: Springer Science & Business Media

Published: 2013-11-11

Total Pages: 428

ISBN-13: 147576541X

DOWNLOAD EBOOK

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.


Software Engineering with OBJ

Software Engineering with OBJ

Author: Joseph A. Goguen

Publisher: Taylor & Francis US

Published: 2000-04-30

Total Pages: 448

ISBN-13: 9780792377573

DOWNLOAD EBOOK

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier and more accurate. OBJ differs from most other specification languages not just in having a formal semantics, but in being executable, either through symbolic execution with term rewriting, or more generally through theorem proving. One problem with specifications is that they are often wrong. OBJ can help validate specifications by executing test cases, and by proving properties. As well as providing a detailed introduction to the language and the OBJ system that implements it, Software Engineering with OBJ: Algebraic Specification in Action provides case studies by leading practitioners in the field, in areas such as computer graphics standards, hardware design, and parallel computation. The case studies demonstrate that OBJ can be used in a wide variety of ways to achieve a wide variety of practical aims in the system development process. The papers on various OBJ systems also demonstrate that the language is relatively easy to understand, implement, and use, and that it supports formal reasoning in a straightforward but powerful way. Software Engineering with OBJ: Algebraic Specification in Action will be of interest to students and teachers in the areas of data types, programming languages, semantics, theorem proving, and algebra, as well as to researchers and practitioners in software engineering.


Object Technology

Object Technology

Author: David A. Taylor

Publisher: Addison-Wesley Professional

Published: 1998

Total Pages: 228

ISBN-13: 9780201309942

DOWNLOAD EBOOK

"The first edition set a standard of excellence that has eluded all followers, and I have recommended it to my clients for years. The new edition is a gift to the field and should be required reading for all managers." - Adrian J. Bowles, Ph.D., Vice President Giga Information Group "One of the most readable introductions you will find. The new edition offers vital insights into the effective use of objects in business." - Chris Stone, President Object Management Group The first edition of "Object Technology: A Manager's Guide" is widely viewed as the classic introduction to this powerful computing concept. Object technology offers increased agility, significant time-to-market reduction, and the opportunity to exploit the potential of the World Wide Web by deploying globally distributed business systems. At a time when many of the world's largest companies are making the transition to object technology, David Taylor has updated his book to address the important issues facing the growth of object technology and to provide a glimpse into the future of this evolving paradigm. In updating this seminal work, David Taylor has retained the signature conciseness and, clarity of discussion that made the first edition a best-seller. "Object Technology: A Manager's Guide, Second Edition," covers the key terms, emerging concepts, and useful applications of objects. Managers, salespeople, engineers, software developers-anyone interested in understanding or implementing object technology-will find this a lucid introduction to the topic. Highlights of this new edition include: An explanation of how to use objects to create evolutionarysoftware that rapidly adapts to changing business conditions, eliminating the need for most new application development. An introduction to Java, and an explanation of how its useof message interfaces enables a new generation of portable, mix-and-match, Internet-enabled business objects. An update on the state of object databases and extended relationaldatabases, with guidelines for combining the two for optimal informationstorage. An introduction to the new generation of object engines andhow they combine storage and execution capabilities for maximumsoftware integration. 0201309947B09102001


Object-Oriented Construction Handbook

Object-Oriented Construction Handbook

Author: Heinz Züllighoven

Publisher: Elsevier

Published: 2005

Total Pages: 546

ISBN-13: 1558606874

DOWNLOAD EBOOK

Object-oriented programming (OOP) has been the leading paradigm for developing software applications for at least 20 years. Many different methodologies, approaches, and techniques have been created for OOP, such as UML, Unified Process, design patterns, and eXtreme Programming. Yet, the actual process of building good software, particularly large, interactive, and long-lived software, is still emerging. Software engineers familiar with the current crop of methodologies are left wondering, how does all of this fit together for designing and building software in real projects? This handbook from one of the world's leading software architects and his team of software engineers presents guidelines on how to develop high-quality software in an application-oriented way. It answers questions such as: * How do we analyze an application domain utilizing the knowledge and experience of the users? * What is the proper software architecture for large, distributed interactive systems that can utilize UML and design patterns? * Where and how should we utilize the techniques and methods of the Unified Process and eXtreme Programming? This book brings together the best of research, development, and day-to-day project work. "The strength of the book is that it focuses on the transition from design to implementation in addition to its overall vision about software development." -Bent Bruun Kristensen, University of Southern Denmark, Odense


Object Thinking

Object Thinking

Author: David West

Publisher: Pearson Education

Published: 2004

Total Pages: 363

ISBN-13: 0735619654

DOWNLOAD EBOOK

Object Thinking blends historical perspective, experience, and visionary insight - exploring how developers can work less like the computers they program and more like problem solvers.


Object-oriented Software Engineering with Eiffel

Object-oriented Software Engineering with Eiffel

Author: Jean-Marc Jézéquel

Publisher: Addison-Wesley Professional

Published: 1996

Total Pages: 0

ISBN-13: 9780201633818

DOWNLOAD EBOOK

A comprehensive, up-to-date, and resource-filled guide to Eiffel--the only "pure" object-oriented programming language. In addition to describing Eiffel, the book contains descriptions and comparisons of compilers and libraries available on the market as well as other resources for Eiffel programmers, ina ddition to plenty of compiler-independent examples and case studies.


Object-oriented Software Engineering

Object-oriented Software Engineering

Author: David C. Kung

Publisher:

Published: 2013-02

Total Pages: 700

ISBN-13: 9781259080791

DOWNLOAD EBOOK

Presents a step-by-step methodology that integrates modeling and design, UML, patterns, test-driven development, quality assurance, configuration management, and agile principles throughout the life cycle. This book provides stimulating exercises that go far beyond the type of question that can be answered by simply copying portions of the text.


Software Engineering with UML

Software Engineering with UML

Author: Bhuvan Unhelkar

Publisher: CRC Press

Published: 2017-12-14

Total Pages: 477

ISBN-13: 1351235168

DOWNLOAD EBOOK

This book presents the analysis, design, documentation, and quality of software solutions based on the OMG UML v2.5. Notably it covers 14 different modelling constructs including use case diagrams, activity diagrams, business-level class diagrams, corresponding interaction diagrams and state machine diagrams. It presents the use of UML in creating a Model of the Problem Space (MOPS), Model of the Solution Space (MOSS) and Model of the Architectural Space (MOAS). The book touches important areas of contemporary software engineering ranging from how a software engineer needs to invariably work in an Agile development environment through to the techniques to model a Cloud-based solution.


Object-oriented Software Construction

Object-oriented Software Construction

Author: Bertrand Meyer

Publisher: Prentice Hall

Published: 1997

Total Pages: 1306

ISBN-13:

DOWNLOAD EBOOK

This volume aims to study how practicing software developers, in industrial as well as academic environments, can use object technology to improve the quality of the software they produce. It includes topics on concurrency and Internet programming.