EEPN (Enea Extented Petri Nets) is a prototyping environment for real-time process control system requirements specification. Its major components are : a specification model based on Extended Petri Nets, a graphical ...
详细信息
EEPN (Enea Extented Petri Nets) is a prototyping environment for real-time process control system requirements specification. Its major components are : a specification model based on Extended Petri Nets, a graphical editor for net construction and a simulator with animation support. The environment, implemented in an object-oriented programming language, is available on IBM-PC.
*** this eagerly awaited second edition, Grady Booch draws upon the rich and varied results of those projects and offers improved methods for object development and a new, unified notation. With numerous examples impl...
详细信息
ISBN:
(纸本)9780201895513
*** this eagerly awaited second edition, Grady Booch draws upon the rich and varied results of those projects and offers improved methods for object development and a new, unified notation. With numerous examples implemented in C++, Booch illustrates essential concepts, explains the method, and shows successful applications in a variety of fields. Booch also gives pragmatic advice on a host of issues, including classification, implementation strategies, and cost-effective project management. A two-time winner of Software Development's coveted Jolt Cola Product Excellence Award! --This text refers to the Hardcover *** Descriptionobject-oriented Design with Applications has long been the essential reference to object-oriented technology, which, in turn, has evolved to join the mainstream of industrial-strength software development. In this third edition--the first revision in 13 years--readers can learn to apply object-oriented methods using new paradigms such as Java, the Unified Modeling Language (UML) 2.0, and .*** authors draw upon their rich and varied experience to offer improved methods for object development and numerous examples that tackle the complex problems faced by software engineers, including systems architecture, data acquisition, cryptoanalysis, control systems, and Web development. They illustrate essential concepts, explain the method, and show successful applications in a variety of fields. You'll also find pragmatic advice on a host of issues, including classification, implementation strategies, and cost-effective project *** to this new edition are* An introduction to the new UML 2.0, from the notation's most fundamental and advanced elements with an emphasis on key changes* New domains and contexts* A greatly enhanced focus on modeling--as eagerly requested by readers--with five chapters that each delve into one phase of the overall development lifecycle.* Fresh approaches to reasoning about complex systems* An
With the award-winning book Agile Software Development: Principles, Patterns, and Practices, Robert C. Martin helped bring Agile principles to tens of thousands of Java and C++ programmers. Now .NET programmers have a...
详细信息
ISBN:
(纸本)9780131857254
With the award-winning book Agile Software Development: Principles, Patterns, and Practices, Robert C. Martin helped bring Agile principles to tens of thousands of Java and C++ programmers. Now .NET programmers have a definitive guide to agile methods with this completely updated volume from Robert C. Martin and Micah Martin, Agile Principles, Patterns, and Practices in C#. This book presents a series of case studies illustrating the fundamentals of Agile development and Agile design, and moves quickly from UML models to real C# code. The introductory chapters lay out the basics of the agile movement, while the later chapters show proven techniques in action. The book includes many source code examples that are also available for download from the authors' Web site. Readers will come away from this book understanding * Agile principles, and the fourteen practices of Extreme programming * Spiking, splitting, velocity, and planning iterations and releases * Test-driven development, test-first design, and acceptance testing * Refactoring with unit testing * Pair programming * Agile design and design smells * The five types of UML diagrams and how to use them effectively * object-oriented package design and design patterns * How to put all of it together for a real-world project Whether you are a C# programmer or a Visual Basic or Java programmer learning C#, a software development manager, or a business analyst, Agile Principles, Patterns, and Practices in C# is the first book you should read to understand agile software and how it applies to programming in the .NET Framework.
Proposes a garbage collection algorithm that takes account of the lifetimes of objects to improve efficiency. Performance needs of applications in artificial intelligence; Efficient operation with multiple processors ...
详细信息
Proposes a garbage collection algorithm that takes account of the lifetimes of objects to improve efficiency. Performance needs of applications in artificial intelligence; Efficient operation with multiple processors and a large address space; Cheaper storage for short-lived objects.
The problem of noise-resistance LSS control on the basis of interpreting a built-in hierarchical situational model IOHiP is considered. The method of multi-jump hypotheses for noise-resistant interpretation based on s...
详细信息
The problem of noise-resistance LSS control on the basis of interpreting a built-in hierarchical situational model IOHiP is considered. The method of multi-jump hypotheses for noise-resistant interpretation based on sequential analysis of the current situations hierarchy is suggested and discussed. An object-oriented IOHiP for definition of the general LSS structure and its dynamic state using the multi-jump hypotheses method is suggested. The interpretation algorithm is given in detail.
Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent...
详细信息
Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages. object-oriented languages provide both a framework and a motivation for exploring the interaction among the concepts of type, data abstraction, and polymorphism, since they extend the notion of type to data abstraction and since type inheritance is an important form of polymorphism. We develop a A-calculus-based model for type systems that allows us to explore these interactions in a simple setting, unencumbered by complexities of production programming languages. The evolution of languages from untyped universes to monomorphic and then polymorphic type systems is reviewed. Mechanisms for polymorphism such as overloading, coercion, subtyping, and parameterization are examined. A unifying framework for polymorphic type systems is developed in terms of the typed A-calculus augmented to include binding of types by quantification as well as binding of values by abstraction. The typed A-calculus is augmented by universal quantification to model generic functions with type parameters, existential quantification and packaging (information hiding) to model abstract data types, and bounded quantification to model subtypes and type inheritance. In this way we obtain a simple and precise characterization of a powerful type system that includes abstract data types, parametric polymorphism, and multiple inheritance in a single consistent framework. The mechanisms for type checking for the augmented A-calculus are discussed. The augmented typed A-calculus is used as a programming language for a variety of illustrative examples. We christen this language Fun because fun instead of A is the functional abstraction keyword and because it is pleasant to deal with. Fun is mathematically simple and can serve as a b
Applying Use Case Driven object Modeling with UML: An Annotated e-Commerce Example is a practical, hands-on guide to putting use case methods to work in real-world situations. This workbook is a companion to Use Case ...
详细信息
ISBN:
(纸本)9780201730395;0201730391
Applying Use Case Driven object Modeling with UML: An Annotated e-Commerce Example is a practical, hands-on guide to putting use case methods to work in real-world situations. This workbook is a companion to Use Case Driven object Modeling with UML. It bridges the gap between the theory presented in the main book and the practical issues involved in the development of an Internet e-commerce *** conceived as a workbook and featuring as a running example an e-commerce system for an online bookstore, Applying Use Case Driven object Modeling with UML examines design in detail, demonstrating the most common design mistakes and the correct design solutions. The hands-on exercises allow you to detect, identify, and correct critical errors on your own, before reviewing the solutions provided in the *** around the proven ICONIX Process, this workbook presents a streamlined approach to UML modeling designed to avoid analysis paralysis without skipping analysis and design. The book presents the four key phases of this minimalist approach to use case driven design--domain modeling, use case modeling, robustness analysis, and sequence diagramming--and for each topic provides an overview, detailed discussion, list of common mistakes, and a set of exercises for honing object modeling and design *** three chapters on reviews are also unique. The authors devote a chapter each to requirements review, preliminary design review, and critical design review. This focus on "designing quality in" by teaching how to review UML models fills a major gap in the published *** examples, Applying Use Case Driven object Modeling with UML shows you how to avoid more than seventy specific design errors, as illustrated by the "Top 10" error lists included as a handy key on the inside covers and within each chapter. With the information, examples, and exercises found here, you will develop the knowledge and skills you need to apply use case modeling m
Open languages are the new class of formal languages proposed by the author. A language of this class combines the grammar of an object-oriented programming language with the universality of a natural language. The op...
详细信息
Open languages are the new class of formal languages proposed by the author. A language of this class combines the grammar of an object-oriented programming language with the universality of a natural language. The open language allows the creation of a monolingual communication environment where it can be used in a wide range of communication processes requiring explicit information, i.e. programming, documenting of software and hardware, specification of various standards, tasks' setting, presentation of various kinds of knowledge, etc.
暂无评论