Software Engineering with OBJ
Title | Software Engineering with OBJ PDF eBook |
Author | Joseph A. Goguen |
Publisher | Springer Science & Business Media |
Pages | 428 |
Release | 2013-11-11 |
Genre | Computers |
ISBN | 147576541X |
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.
Component-Based Software Engineering
Title | Component-Based Software Engineering PDF eBook |
Author | Thomas Jell |
Publisher | Cambridge University Press |
Pages | 186 |
Release | 1998-05-11 |
Genre | Computers |
ISBN | 9780521648219 |
This book, first published in 1997, covers the most important topics in Componentware(TM) technology, based in large part on the first Component Users Conference.
Object-oriented Software: Design And Maintenance
Title | Object-oriented Software: Design And Maintenance PDF eBook |
Author | Miriam A M Capretz |
Publisher | World Scientific Publishing Company |
Pages | 288 |
Release | 1996-09-09 |
Genre | Computers |
ISBN | 9813103078 |
This is a textbook for a course in object-oriented software engineering at advanced undergraduate and graduate levels, as well as for software engineers. It contains more than 120 exercises of diverse complexity.The book discusses fundamental concepts and terminology on object-oriented software development, assuming little background on software engineering, and emphasizes design and maintenance rather than programming.It also presents up-to-date and easily understood methodologies and puts forward a software life cycle model which explicitly encourages reusability during software development and maintenance.
Software Engineering and Environment
Title | Software Engineering and Environment PDF eBook |
Author | Phillip C.-Y. Sheu |
Publisher | Springer Science & Business Media |
Pages | 328 |
Release | 2012-12-06 |
Genre | Computers |
ISBN | 1461559073 |
Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models. Twelve in-depth chapters discuss the different phases of a software life cycle, with an emphasis on the object-oriented paradigm. In addition to technical models, algorithms, and programming styles, the author also covers several managerial issues key to software project management. Featuring an abundance of helpful illustrations, this cogent work is an excellent resource for project managers, programmers, and other computer scientists involved in software production.
Object-oriented Software Engineering
Title | Object-oriented Software Engineering PDF eBook |
Author | Ivar Jacobson |
Publisher | Addison-Wesley |
Pages | 552 |
Release | 1992 |
Genre | Computers |
ISBN |
Based on Objectory which is the first commercially avilable comprehensive object-orientd process for developing large scale industrial systems.
OBJECT-ORIENTED SOFTWARE ENGINEERING
Title | OBJECT-ORIENTED SOFTWARE ENGINEERING PDF eBook |
Author | YOGESH SINGH |
Publisher | PHI Learning Pvt. Ltd. |
Pages | 492 |
Release | 2012-03-05 |
Genre | Computers |
ISBN | 8120345355 |
This comprehensive and well-written book presents the fundamentals of object-oriented software engineering and discusses the recent technological developments in the field. It focuses on object-oriented software engineering in the context of an overall effort to present object-oriented concepts, techniques and models that can be applied in software estimation, analysis, design, testing and quality improvement. It applies unified modelling language notations to a series of examples with a real-life case study. The example-oriented approach followed in this book will help the readers in understanding and applying the concepts of object-oriented software engineering quickly and easily in various application domains. This book is designed for the undergraduate and postgraduate students of computer science and engineering, computer applications, and information technology. KEY FEATURES : Provides the foundation and important concepts of object-oriented paradigm. Presents traditional and object-oriented software development life cycle models with a special focus on Rational Unified Process model. Addresses important issues of improving software quality and measuring various object-oriented constructs using object-oriented metrics. Presents numerous diagrams to illustrate object-oriented software engineering models and concepts. Includes a large number of solved examples, chapter-end review questions and multiple choice questions along with their answers.
Object-oriented Software Engineering
Title | Object-oriented Software Engineering PDF eBook |
Author | George Wilkie |
Publisher | Addison Wesley Publishing Company |
Pages | 432 |
Release | 1993 |
Genre | Computers |
ISBN |
Addresses critical software engineering issues, showing how an object - oriented approach can provide much improved solutions over other methods. Designed as a technology tool.