19. COMPSAC 1995:
Dallas,
Texas,
USA
19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA.
IEEE Computer Society 1995 
@proceedings{DBLP:conf/compsac/1995,
title = {19th International Computer Software and Applications Conference
(COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA},
booktitle = {COMPSAC},
publisher = {IEEE Computer Society},
year = {1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Advances in Formal Methods I
- William E. Howden, G. M. Shi:
Temporal Event Analysis and Program Understanding.
4-11
- Linda B. Sherrell, Doris L. Carver:
FunZ Designs A Bridge between Z Specifications and Haskell Implementations.
12-17
- Paul C. Grabow, L. Liu:
Automatic Generation of C++ Code from an ESCRO2 Specification.
18-25
- Hing-Yan Lee, Hwee-Leng Ong, Eng-Whatt Toh, Sieu-Kong Chan:
A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases.
26-31
- S. M. Yuen, K. P. Lam:
A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems.
32-39
- Kunhuang Huarng, Dick B. Simmons:
Knowledge Reuse through the Application of the Object Knowledge Canonical Form.
40-49
- Xudong He:
A method for analyzing properties of hierarchical predicate transition nets.
50-55
- Ming-Yuan Zhu, Xiao-Bai Mo:
Mechanical synthesis of a unification algorithm in PowerEpsilon.
56-61
- Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan:
Expressing JSD in Z.
62-69
Modeling Techniques
Software Technology in the 21st Centurey
- A Technology Forecast.
90-90
- K. A. Gibson:
Improving software process to implement a wireless mobile network.
91-92
- Carl Murphy:
Software Technology in the 21st Century: A Technology Forecast (Panel) Parallel Software Engineering - Goals 2000.
93-95
Software Support Leverage for Formal Methods
Database Applications
Performance Evaluation and Optimization
Thursday Plenary Session:
Keynote Address II
Software Development Tools
Object-Oriented Approach for Distributed Systems
Metrics and Software Quality
Prototyping and Testing
- Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen:
Object state testing for object-oriented programs.
232-238
- David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen:
A Test Strategy for Object-Oriented Programs.
239-244
- Wah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura, Yin Seong Ho:
Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems.
245-255
Distributed Algorithms and Environments
Reengineering,
Reverse Engineering,
Reuse,
and Customization
Distributed Multi-Media Systems:
Tools and Techniques
- Uffe Kock Wiil:
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration.
298-305
- Hsing Mei:
Scheduling dependent real-time multimedia tasks on distributed systems.
306-317
Software Process Improvements
Multi-Media Storage Management and Applications
Multi-Paradigm Programming
Software Development for Parallel and Distributed Systems
Panel:
Software Fault Tolerance
- Software Fault Tolerance: Has it Arrived Yet?
390
- Farokh B. Bastani:
(Position Paper) Fault-Tolerant Software.
391
- Joanne Bechta Dugan, K. H. Kim:
(Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance.
392
- (Position Paper) Software Fault Tolerance at the Operating System Level.
393-395
Software Security and Safety
Applications
Copyright © Thu Nov 12 00:16:31 2009
by Michael Ley (ley@uni-trier.de)
