Default Cover Image

Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95)

Aug. 9 1995 to Aug. 11 1995

Dallas, Texas

ISBN: 0-8186-7119-X

Table of Contents

Improving software process to implement a wireless mobile networkFull-text access may be available. Sign in or learn about subscription options.pp. 91,92
Parallel software engineering - Goals 2000Full-text access may be available. Sign in or learn about subscription options.pp. 93,94
Session 1: Advances in Formal Methods I
Temporal Event Analysis and Program UnderstandingFull-text access may be available. Sign in or learn about subscription options.pp. 4
Session 1: Advances in Formal Methods I
FunZ Designs -- A Bridge Between Z Specifications and Haskell ImplementationsFull-text access may be available. Sign in or learn about subscription options.pp. 12
Static semantics and priority schemes for statechartsFull-text access may be available. Sign in or learn about subscription options.pp. 114,115,116,117,118,119,120
Session 1: Advances in Formal Methods I
Automatic Generation of C++ Code from an ESCRO2 SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 18
Session 2: Knowledge-Based Systems
A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 26
Session 2: Knowledge-Based Systems
A Knowledge-Based Approach for Worst-Case Timing Analysis of Microprocessor SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 32
Session 2: Knowledge-Based Systems
Knowledge Reuse through the Application of the Object Knowledge Canonical FormFull-text access may be available. Sign in or learn about subscription options.pp. 40
Session 3: Panel: Software Industry Growth: Funding Based on Software Valuation
Software Industry Growth: Funding Based on Softwre ValuationFull-text access may be available. Sign in or learn about subscription options.pp. 48
Session 4: Advances in Formal Methods II
A Method for Analyzing Properties of Hierarchical Predicate Transition NetsFull-text access may be available. Sign in or learn about subscription options.pp. 50
Session 4: Advances in Formal Methods II
Mechanical Synthesis of a Unification Algorithm in PowerEpsilonFull-text access may be available. Sign in or learn about subscription options.pp. 56
Session 4: Advances in Formal Methods II
Expressing JSD in ZFull-text access may be available. Sign in or learn about subscription options.pp. 62
Session 5: Modeling Techniques
Design and Implementation of Multiple Type Objects in a Persistent Programming LanguageFull-text access may be available. Sign in or learn about subscription options.pp. 70
Session 5: Modeling Techniques
An Expanded View of Domain Modeling for Software AnalogyFull-text access may be available. Sign in or learn about subscription options.pp. 77
Session 5: Modeling Techniques
Dynamic Hierarchy for Multiagent Air CombatFull-text access may be available. Sign in or learn about subscription options.pp. 83
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
Software Technology in the 21st Centurey: A Technology ForecastFull-text access may be available. Sign in or learn about subscription options.pp. 90
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
(Position Paper) Improving Software Process to Implement a Wireless Mobile NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 91
Session 6: Panel: Software Technology in the 21st Century: A Technology Forecast
(Position Paper) Parallel Software Engineering - Goals 2000Full-text access may be available. Sign in or learn about subscription options.pp. 93
Session 7: Software Support Leverage for Formal Methods
Requirement Specification in Pseudo-Natural Language in PROMISFull-text access may be available. Sign in or learn about subscription options.pp. 96
Session 7: Software Support Leverage for Formal Methods
Checking Program Proofs Made EasyFull-text access may be available. Sign in or learn about subscription options.pp. 102
Session 7: Software Support Leverage for Formal Methods
An Approach to Animating Z SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 108
Session 8: Database Applications
A Study on Developing a Distributed Problem-Solving SystemFull-text access may be available. Sign in or learn about subscription options.pp. 122
Session 8: Database Applications
Using Constraints for Distributed Query ProcessingFull-text access may be available. Sign in or learn about subscription options.pp. 128
Session 8: Database Applications
Management of Flexible Transactions Using Semantics in Multidatabase SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 134
Session 9: Performance Evaluation and Optimization
Performance Evaluation of Dynamic Signature File MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 144
Session 9: Performance Evaluation and Optimization
Applying Dynamic Buffer Allocation to Predictive Load ControlFull-text access may be available. Sign in or learn about subscription options.pp. 150
Session 9: Performance Evaluation and Optimization
Lagrangian Techniques for Solving a Class of Zero-One Integer Linear ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 156
Session 9: Performance Evaluation and Optimization
A Simple Tree Pattern Matching Algorithm for Code GeneratorFull-text access may be available. Sign in or learn about subscription options.pp. 162
Thursday Plenary Session: Keynote Address II
Department of Defense Information Technology InitiativesFull-text access may be available. Sign in or learn about subscription options.pp. 170
Session 10: Software Development Tools
The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer GraphicsFull-text access may be available. Sign in or learn about subscription options.pp. 172
Session 10: Software Development Tools
User Interface Design: The WHO, the WHAT, and the HOW RevisitedFull-text access may be available. Sign in or learn about subscription options.pp. 178
Session 10: Software Development Tools
LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program BehaviorFull-text access may be available. Sign in or learn about subscription options.pp. 184
Session 11: Object-Oriented Approach for Distributed Systems
Object-Oriented Design for a Distributed Priority QueueFull-text access may be available. Sign in or learn about subscription options.pp. 192
Session 11: Object-Oriented Approach for Distributed Systems
Application Layer Software Fault Tolerance for Distributed Object-Oriented SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 199
Session 11: Object-Oriented Approach for Distributed Systems
IPCC++: A C++ Extension for InterProcess Communication with ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 205
Session 12: Metrics and Software Quality
A Policy Independent Metric for Process Selection in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 212
Session 12: Metrics and Software Quality
Quality Assessment for Multiple Server Cooperating SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 218
Session 12: Metrics and Software Quality
Improving Software Quality through a Novel Testing StrategyFull-text access may be available. Sign in or learn about subscription options.pp. 224
Session 13: Prototyping and Testing
Object State Testing for Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 232
Session 13: Prototyping and Testing
A Test Strategy for Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 239
Session 13: Prototyping and Testing
Heirarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 245
Session 14: Distributed Algorithms and Environments
Architectural Framework for Developing Concurrent ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 256
Session 14: Distributed Algorithms and Environments
Creating a Distributed Environment Using Object-Oriented TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 262
Session 14: Distributed Algorithms and Environments
Deriving Distributed Algorithms from a General Predicate DetectorFull-text access may be available. Sign in or learn about subscription options.pp. 268
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization
A Hybrid Approach to Object Library Classification and RetrievalFull-text access may be available. Sign in or learn about subscription options.pp. 278
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization
Reverse Engineering from COBOL to Narrative SpecificationFull-text access may be available. Sign in or learn about subscription options.pp. 284
Session 16: Reengineering, Reverse Engineering, Reuse, and Customization
Component Reuse Through Reverse Engineering and Semantic Interface AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 290
Session 17: Distributed Multi-Media Systems: Tools and Techniques
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System IntegrationFull-text access may be available. Sign in or learn about subscription options.pp. 298
Session 17: Distributed Multi-Media Systems: Tools and Techniques
Scheduling Dependent Real-Time Multimedia Tasks on Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 306
Session 19: Software Process Improvements
Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 318
Session 19: Software Process Improvements
A Horizontal Approach for Software Process ImprovementFull-text access may be available. Sign in or learn about subscription options.pp. 326
Session 20: Multi-Media Storage Management and Applications
The Multimedia Desktop Conference System Adaptability in Network Traffic on LANFull-text access may be available. Sign in or learn about subscription options.pp. 334
Session 20: Multi-Media Storage Management and Applications
Storing Continuous Media Objects Using Parallelism with MergingFull-text access may be available. Sign in or learn about subscription options.pp. 339
Session 20: Multi-Media Storage Management and Applications
FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage SystemFull-text access may be available. Sign in or learn about subscription options.pp. 346
Session 22: Multi-Paradigm Programming
Transformation of Relational Schemas to Object-Oriented SchemasFull-text access may be available. Sign in or learn about subscription options.pp. 356
Session 22: Multi-Paradigm Programming
A Multiparadigm Programming Approach for Developing Knowledge-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 362
Session 23: Software Development for Parallel and Distributed Systems
An Architecture-Independent Software Development Approach for Parallel Processing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 370
Session 23: Software Development for Parallel and Distributed Systems
Software Support for Asynchronous Computing Across NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 376
Session 23: Software Development for Parallel and Distributed Systems
A Software Platform for Solving PDEs on Distributed Systems: Implementation Issues and Performance PredictionFull-text access may be available. Sign in or learn about subscription options.pp. 383
Session 24: Panel: Software Fault Tolerance
Software Fault Tolerance: Has it Arrived Yet?Full-text access may be available. Sign in or learn about subscription options.pp. 390
Session 24: Panel: Software Fault Tolerance
(Position Paper) Fault-Tolerant SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 391
Session 24: Panel: Software Fault Tolerance
(Position Paper) Quantitative Analysis of Software- and Hardware- Fault ToleranceFull-text access may be available. Sign in or learn about subscription options.pp. 392
Session 24: Panel: Software Fault Tolerance
(Position Paper) Software Fault Tolerance at the Operating System LevelFull-text access may be available. Sign in or learn about subscription options.pp. 393
Session 25: Software Security and Safety
A General Approach to Evaluation of Secure SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 396
Session 25: Software Security and Safety
Enforcing Complex Security Policies for Commercial ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 402
Session 25: Software Security and Safety
A Framework for Designing Safe Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 409
Session 26: Applications
Designing Chinese Typeface Using ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 416
Session 26: Applications
Information Mediation System Design Strategy Among Telecommunication Related Information SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 422
Session 27: Panel: Alternative Approaches to Modeling Processes
Author IndexFreely available from IEEE.pp. 430
Showing 71 out of 71