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 BibTeX
@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
Electronic Edition (IEEE Computer Society DL) BibTeX
- Linda B. Sherrell, Doris L. Carver:
FunZ Designs A Bridge between Z Specifications and Haskell Implementations.
12-17
Electronic Edition (IEEE Computer Society DL) BibTeX
- Paul C. Grabow, L. Liu:
Automatic Generation of C++ Code from an ESCRO2 Specification.
18-25
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
- S. M. Yuen, K. P. Lam:
A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems.
32-39
Electronic Edition (IEEE Computer Society DL) BibTeX
- Kunhuang Huarng, Dick B. Simmons:
Knowledge Reuse through the Application of the Object Knowledge Canonical Form.
40-49
Electronic Edition (IEEE Computer Society DL) BibTeX
- Xudong He:
A method for analyzing properties of hierarchical predicate transition nets.
50-55
Electronic Edition (IEEE Computer Society DL) BibTeX
- Ming-Yuan Zhu, Xiao-Bai Mo:
Mechanical synthesis of a unification algorithm in PowerEpsilon.
56-61
Electronic Edition (IEEE Computer Society DL) BibTeX
- Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan:
Expressing JSD in Z.
62-69
Electronic Edition (IEEE Computer Society DL) BibTeX
Modeling Techniques
Software Technology in the 21st Centurey
- A Technology Forecast.
90-90 BibTeX
- K. A. Gibson:
Improving software process to implement a wireless mobile network.
91-92 BibTeX
- Carl Murphy:
Software Technology in the 21st Century: A Technology Forecast (Panel) Parallel Software Engineering - Goals 2000.
93-95 BibTeX
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
Electronic Edition (IEEE Computer Society DL) BibTeX
- David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen:
A Test Strategy for Object-Oriented Programs.
239-244
Electronic Edition (IEEE Computer Society DL) BibTeX
- 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
Electronic Edition (IEEE Computer Society DL) BibTeX
Distributed Algorithms and Environments
Reengineering,
Reverse Engineering,
Reuse,
and Customization
Distributed Multi-Media Systems:
Tools and Techniques
Software Process Improvements
Multi-Media Storage Management and Applications
Multi-Paradigm Programming
Software Development for Parallel and Distributed Systems
Panel:
Software Fault Tolerance
Software Security and Safety
Applications
Copyright © Sat May 16 23:03:13 2009
by Michael Ley (ley@uni-trier.de)
