close
1.

図書

図書
Peter Müller
出版情報: Berlin : Springer, c2002  xiv, 292 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2262
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Motivation / 1.1:
Specification and Verification Technique / 1.2:
The Problem / 1.3:
Modular Correctness / 1.3.1:
The Frame Problem / 1.3.2:
Modular Verification of Type Invariants / 1.3.3:
The Extended State Problem / 1.3.4:
Alias Control / 1.3.5:
Modularity Aspects of Programs, Specifications, and Proofs / 1.4:
Modularity of Programs / 1.4.1:
Modularity of Universal Specifications / 1.4.2:
Modularity of Interface Specifications / 1.4.3:
Modularity of Correctness Proofs / 1.4.4:
Approach, Outline, and Contributions / 1.5:
Approach / 1.5.1:
Outline / 1.5.2:
Contributions / 1.5.3:
Related Work / 1.6:
Specification Techniques / 1.6.1:
Verification and Analysis Techniques / 1.6.2:
Mojave and the Universe Type System / 2:
Mojave: The Language / 2.1:
The Language Core / 2.1.1:
Modularity / 2.1.2:
Universes: A Type System for Flexible Alias Control / 2.2:
The Ownership Model / 2.2.1:
The Universe Programming Model / 2.2.2:
Programming with Universes / 2.2.3:
Examples / 2.2.4:
Formalization of the Universe Type System / 2.2.5:
Discussion / 2.2.6:
The Semantics of Mojave / 2.3:
Programming Logic / 3.1:
Formal Data and State Model / 3.1.1:
Axiomatic Semantics / 3.1.2:
Language Properties / 3.1.3:
Type Safety / 3.2.1:
Liveness Properties / 3.2.2:
Properties of Readonly Methods / 3.2.3:
Correctness / 3.3:
Correctness of Closed Programs / 3.3.1:
Correctness of Open Programs: Modular Correctness / 3.3.2:
Modular Soundness / 3.3.3:
Composition of Modular Correct Open Programs / 3.3.4:
Modular Specification and Verification of Functional Behavior / 3.4:
Foundations of Interface Specifications / 4.1:
Specification of Functional Behavior / 4.2:
Abstract Fields / 4.2.1:
Pre-post-specifications / 4.2.2:
Verification of Functional Behavior / 4.3:
Verification of Method Bodies / 4.3.1:
Proofs for Virtual Methods / 4.3.2:
Example / 4.3.3:
Modular Specification and Verification of Frame Properties / 4.4:
Meaning of Modifies-Clauses / 5.1:
Explicit Dependencies / 5.1.2:
Modularity Rules / 5.1.3:
Formalization of Explicit Dependencies / 5.2:
Declaration of Dependencies / 5.2.1:
Axiomatization of the Depends-Relation / 5.2.2:
Consistency with Representation / 5.2.3:
Formalization of the Modularity Rules / 5.2.4:
Axiomatization of the Notdepends-Relation / 5.2.5:
Formalization of Modifies-Clauses / 5.2.6:
Verification of Frame Properties / 5.4:
Local Update Property / 5.4.1:
Accessibility Properties / 5.4.3:
Modularity Theorem for Frame Properties / 5.4.4:
Leino's and Nelson's Work on Dependencies / 5.4.5:
Other Work on the Frame Problem / 5.5.2:
Modular Specification and Verification of Type Invariants / 6:
Motivation and Approach / 6.1:
Invariant Semantics for Nonmodular Programs / 6.1.1:
Problems for Modular Verification of Invariants / 6.1.2:
Specification of Type Invariants / 6.1.3:
Declaration of Type Invariants / 6.2.1:
Formal Meaning of Invariants / 6.2.2:
Verification of Type Invariants / 6.3:
Verification Methodology / 6.3.1:
Module Invariants / 6.3.2:
History Constraints / 6.4.2:
Conclusion / 6.5:
Summary and Contributions / 7.1:
The Lopex Project / 7.2:
Tool Support / 7.3:
Directions for Future Work / 7.4:
Formal Background and Notations / A:
Formal Background / A.1:
Notations / A.2:
Predefined Type Declarations / B:
Doubly Linked List / C:
Property Editor / C.2:
Auxiliary Lemmas, Proofs, and Models / D:
Auxiliary Lemmas and Proofs from Chapter 3 / D.1:
Auxiliary Lemmas and Proofs from Chapter 5 / D.2:
Auxiliary Lemmas and Proofs from Chapter 6 / D.3:
A Model for the Axiomatization of the Depends-Relation / D.4:
Bibliography
List of Figures
Index
Introduction / 1:
Motivation / 1.1:
Specification and Verification Technique / 1.2:
2.

図書

図書
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001  viii, 537 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2001
所蔵情報: loading…
目次情報: 続きを見る
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio
Concurrency in Communicating Object Petri Nets / R. Valk
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II:
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III:
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht
Flexible Types for a Concurrent Model / F. Puntigam
High Level Transition Systems for Communicating Agents / F. Vernadat ; P. Azéma
Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets / L. Nigro ; F. Pupo
Control Properties in Object-Oriented Specifications / A. Diagne
Case Studies / Section IV:
A Cooperative Petri Net Editor
The Hurried Philosophers
Author Index
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
3.

図書

図書
Bruno R. Preiss
出版情報: New York : John Wiley & Sons, 1999  xvii, 635 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Algorithm Analysis
Asymptotic Notation
Foundational Data Structures
Data Types and Abstraction
Stacks, Queues, and Deques
Ordered Lists and Sorted Lists
Hashing, Hash Tables, and Scatter Tables
Trees
Search Trees
Heaps and Priority Queues
Sets, Multisets, and Partitions
Garbage Collection
Algorithmic Patterns and Problem Solvers
Sorting Algorithms and Sorters
Graphs and Graph Algorithms
Appendices
Bibliography
Index
Algorithm Analysis
Asymptotic Notation
Foundational Data Structures
4.

図書

図書
David C. Kung, Pei Hsia, Jerry Gao
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1998  x, 269 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
OO Testing Problems / Chapter 1:
Adequate Testing and Object-Oriented Programming (Journal of Object-Oriented Programming, January/February 1990, pages 13-19) / Dewayne E. Perry ; Gail E. Kaiser
Object-Oriented Programming--The Problems of Validation (Proceedings of IEEE Software Maintenance Conference, 1990, pages 272-281) / M.D. Smith ; D.J. Robson
Maintenance Support for Object-Oriented Programs (IEEE Transactions on Software Engineering, December 1992, pages 1038-1044) / Norman Wilde ; Ross Huitt
Specification and Verification / Chapter 2:
Design for Testability in Object-Oriented Systems (Communications of the ACM, September 1994, pages 87-101) / Robert V. Binder
Method Sequence Specification and Verification of Classes (Journal of Object-Oriented Programming, October 1994, pages 28-38) / Shekhar Kirani ; W.T. Tsai
Unit Testing and Integration Testing / Chapter 3:
A Class Testing Technique Based on Data Bindings (Proceedings of the 1996 Asia-Pacific Software Engineering Conference, 1996, pages 104-109) / Heechern Kim ; Chisu Wu
Automated Flow Graph-Based Testing of Object-Oriented Software Modules (Journal of Systems and Software, Volume 23, 1993, pages 95-109) / Allen S. Parrish ; Richard B. Borie ; David W. Cordes
Object-Oriented Integration Testing (Communications of the ACM, September 1994, pages 30-38) / Paul C. Jorgensen ; Carl Erickson
Regression Testing / Chapter 4:
Change Impact Identification in Object Oriented Software Maintenance (Proceedings of IEEE International Conference on Software Maintenance, 1994, pages 202-211) / D. Kung ; J. Gao ; P. Hsia ; F. Wen ; Y. Toyoshima ; C. Chen
Selecting Regression Tests for Object-Oriented Software (Proceedings of IEEE International Conference on Software Maintenance, 1994, pages 14-25) / Gregg Rothermel ; Mary Jean Harrold
A Technique for the Selective Revalidation of OO Software (Software Maintenance: Research and Practice, Volume 9, 1997, pages 217-233) / Pei Hsia ; Xiaolin Li ; David Chenho Kung ; Chih-Tung Hsu ; Liang Li ; Yasufumi Toyoshima ; Cris Chen
Object State Testing / Chapter 5:
Object State Testing and Fault Analysis for Reliable Software Systems (Proceedings 7th International Symposium on Software Reliability Engineering, 1996) / Y. Lu ; N. Venugopalan
The State-Based Testing of Object-Oriented Programs (Proceedings of IEEE Conference on Software Maintenance, 1993, pages 302-310) / C.D. Turner
ClassBench: A Framework for Automated Class Testing (Software--Practice and Experience, May 1997, pages 573-597) / Daniel Hoffman ; Paul Strooper
Test Methodology / Chapter 6:
Incremental Testing of Object-Oriented Class Structures (Proceedings of 14th International Conference on Software Engineering, 1992, pages 68-80) / John D. McGregor ; Kevin J. Fitzpatrick
Integrated Object-Oriented Testing and Development Processes (Communications of the ACM, September 1994, pages 59-77) / Timothy D. Korson
Test Tools / Chapter 7:
Developing an Object-Oriented Software Testing and Maintenance Environment (Communications of the ACM, October 1995, pages 75-87) / David Kung ; Jerry Gao ; Young-Si Kim ; Young-Kee Song
The ASTOOT Approach to Testing Object-Oriented Programs (ACM Transactions on Software Engineering and Methodology, April 1994, pages 101-130) / Roong-Ko Doong ; Phyllis G. Frankl
Automated Testing from Object Models (Communications of the ACM, September 1994, pages 48-58) / Robert M. Poston
Preface
OO Testing Problems / Chapter 1:
Adequate Testing and Object-Oriented Programming (Journal of Object-Oriented Programming, January/February 1990, pages 13-19) / Dewayne E. Perry ; Gail E. Kaiser
5.

図書

図書
Mary Campione and Kathy Walrath
出版情報: Reading, MA : Addison-Wesley, 1998  xix, 964 p. ; 24 cm.
シリーズ名: The Java series
所蔵情報: loading…
目次情報: 続きを見る
The Java Phenomenon / Lesson 1:
The "Hello World" Application / Lesson 2:
The "Hello World" Applet / Lesson 3:
Common Problems (and Their Solutions)
End of Trail
Learning the Java Language
Object-Oriented Programming Concepts / Lesson 4:
The Nuts and Bolts of the Java Language / Lesson 5:
Objects and Classes in Java / Lesson 6:
More Features of the Java Language / Lesson 7:
Writing Applets
Overview of Applets / Lesson 8:
Taking Advantage of the Applet API / Lesson 9:
Practical Considerations of Writing Applets / Lesson 10:
Finishing an Applet / Lesson 11:
Essential Java Classes
Using String and StringBuffer / Lesson 12:
Setting Program Attributes / Lesson 13:
Accessing System Resources / Lesson 14:
Handling Errors With Exceptions / Lesson 15:
Doing Two or More Tasks at Once: Threads / Lesson 16:
Reading and Writing (but no 'rithmetic) / Lesson 17:
Creating a User Interface
Overview of the Java UI / Lesson 18:
Using Components, the GUI Building Blocks / Lesson 19:
Laying Out Components Within a Container / Lesson 20:
Working with Graphics / Lesson 21:
Custom Networking
Overview of Networking / Lesson 22:
Working with URLs / Lesson 23:
All About Sockets / Lesson 24:
All About Datagrams / Lesson 25:
To 1.1--And Beyond!
What's New in 1.1 / Lesson 26:
Migrating to 1.1 / Lesson 27:
A Preview of Things to Come / Lesson 28:
Code Examples / Appendix A:
Reference / Appendix B:
Index
The Java Phenomenon / Lesson 1:
The "Hello World" Application / Lesson 2:
The "Hello World" Applet / Lesson 3:
6.

図書

図書
James Martin and James J. Odell
出版情報: Upper Saddle River, N.J. : Prentice-Hall International, c1996  xvi, 560 p. ; 24 cm
所蔵情報: loading…
7.

図書

図書
Gerald Kristen
出版情報: Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., 1994  xxvi, 487 p. ; 24 cm
所蔵情報: loading…
8.

図書

図書
Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn (eds.)
出版情報: Berlin : Springer, c1998  xi, [243] p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1505
所蔵情報: loading…
目次情報: 続きを見る
Regular Papers
Applications
Object-Oriented Approach for an Iterative Calculation Method and Its Parallelization with Domain Decomposition Method / Masahiro Tatsumi ; Akio Yamamoto
An Object-Oriented Time Warp Simulation Kernel / Radharamanan Radhakrishnan ; Dale E. Martin ; Malolan Chetlur ; Dhananjai Madhava Rao ; Philip A. Wilsey
Particle Beam Dynamics Simulations Using the POOMA Framework / William Humphrey ; Robert Ryne ; Timothy Cleland ; Julian Cummings ; Salman Habib ; Graham Mark ; Ji Qiang
Runtime and Libraries
An Evaluation of Java for Numerical Computing / Brian Blount ; Siddhartha Chatterjee
High-Level Parallel Programming of an Adaptive Mesh Application Using the Illinois Concert System / Bishwaroop Ganguly ; Andrew Chien
The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra / Jeremy G. Siek ; Andrew Lumsdaine
The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations / Nikos Chrisochoides ; Kevin Barker ; Demian Nave ; Chris Hawblitzel
Numerics and Algorithms I
Software Tools for Partitioning Block-Structured Applications / Jarmo Rantakokko
An Object-Oriented Collection of Minimum Degree Algorithms / Gary Kumfert ; Alex Pothen
Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures / Federico Bassetti ; Kei Davis ; Dan Quinlan
Short Papers
Metacomputing
Merging Web-Based with Cluster-Based Computing / Luís Moura Silva ; Paulo Martins ; João Gabriel Silva
Dynamic Reconfiguration and Virtual Machine Management in the Harness Metacomputing System / Mauro Migliardi ; Jack Dongarra ; Al Geist ; Vaidy Sunderam
JEM-DOOS: The Java/RMI Based Distributed Objects Operating System of the JEM Project / Serge Chaumette
Static Networks: A Powerful and Elegant Extension to Concurrent Object-Oriented Languages / Josh Yelon ; Laxmikant V. Kalé
Frameworks and Runtime
A FIFO Queue Class Library as a State Variable of Time Warp Logical Processes / Soichiro Hidaka ; Terumasa Aoki ; Hitoshi Aida ; Tadao Saito
?Profiler: Profiling User-Level Threads in a Shared-Memory Programming Environment / Peter A. Buhr ; Robert Denda
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages / Antonio J. Nebro ; Ernesto Pimentel ; José M. Troya
Object-Oriented Run-Time Support for Data-Parallel Applications / Hua Bi ; Matthias Kessler ; Matthias Wilhelmi
Component Architecture of the Tecolote Framework / Mark Zander ; John Hall ; Jim Painter ; Sean O'Rourke
Numerics and Algorithms II
Parallel Object Oriented Monte Carlo Simulations / Matthias Troyer ; Beat Ammon ; Elmar Heeb
A Parallel, Object-Oriented Implementation of the Dynamic Recursion Method / Wolfram T. Arnold ; Roger Haydock
Object-Oriented Design for Sparse Direct Solvers / Florin Dobrian
Janus: A C++ Template Library for Parallel Dynamic Mesh Applications / Jens Gerlach ; Mitsuhisa Sato ; Yutaka Ishikawa
Arrays
Arrays in Blitz++ / Todd L. Veldhuizen
Array Design and Expression Evaluation in POOMA II / Steve Karmesin ; James Crotinger ; Scott Haney ; John Reynders ; Stephen Smith ; Timothy Williams
Author Contacts
Author Index
Regular Papers
Applications
Object-Oriented Approach for an Iterative Calculation Method and Its Parallelization with Domain Decomposition Method / Masahiro Tatsumi ; Akio Yamamoto
9.

図書

図書
[editors:] Mohamed E. Fayad, Douglas C. Schmidt, Ralph E. Johnson
出版情報: New York : Wiley, c1999  xxi, 729 p. ; 25 cm.
所蔵情報: loading…
目次情報: 続きを見る
Business Frameworks / M. Fayad
Domain Framework for Sales Promotions / A. Dalebout, et al.
A Reflective and Repository-Based Framework / M. Devos ; M. Tilman
Artificial Intelligence And Agent Application Frameworks
Speech Recognition Framework / S. Srinivasan ; J. Vergo
Neural Network Components / F. Beckenkamp ; W. Pree
A Framework for Agent Systems / E. Kendall, et al.
A Model for Reusable Agent Systems / D. Brugali ; K. Sycara
Experimentation with an Agent-Oriented Platform in JAVA / P. Marcenac ; R. Courdier
Specialized Tool Frameworks
CSP++: A Framework for Executable Specifications / W. Gardner ; M. Serra
Applying Inheritance beyond Class-Based Languages / G. Banavar ; G. Lindstrom
Luthier: Building Framework-Visualization Tools / M. Campo ; R. Price
Scalable Architecture for Reliable, High-Volume Datafeed Handlers / R. Kannan
Language-Specific Frameworks
Hierarchical and Distributed Constraint Satisfaction Systems
Modeling Collections of Changing Interdependent Objects / A. Ahmed, et al.
Oberon with Gadgets: A Simple Component Framework / J. Gutknecht ; M. Franz
Inheritance Management and Method Dispatch Framework / W. Holst ; D. Szafron
Constraint Satisfaction Problems Framework / P. Roy, et al.
Developing Frameworks to Support Design Reuse / H. Erdogmus ; O. Tanir
Language Support for Application Framework Design / G. Hedin ; J. Knudsen
System Application Frameworks
Tigger: A Framework Supporting Distributed and Persistent Objects / V. Cahill
The Deja Vu Scheduling Class Library / J. Dorn
A Framework for Graphics Recognition / L. Wenyin ; D. Dori
A Java Beans Framework for Cryptographic Protocols / P. Nikander ; J. Parssinen
Dynamic Database Instance Framework / D. Janello, et al.
Compound User Interfaces Framework / C. Szyperski ; C. Pfister
Experiences In Application Frameworks
Framework Developing Using Patterns / B. Woolf
Experiences with the Semantic Graphics Framework / A. Rosel ; K. Erni
Enterprise Model-Based Framework / J. Greenfield ; A. Chatterjee
Appendices
Index
Business Frameworks / M. Fayad
Domain Framework for Sales Promotions / A. Dalebout, et al.
A Reflective and Repository-Based Framework / M. Devos ; M. Tilman
10.

図書

図書
Paul Deitel, Harvey Deitel
出版情報: Upper Saddle River, N.J. : Pearson Prentice Hall, c2010  xliv, 1131 p. ; 23 cm.
シリーズ名: How to program series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼