23. COMPSAC 1999:
Phoenix,
AZ,
USA
23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA.
IEEE Computer Society 1999, ISBN 0-7695-0368-3 BibTeX
@proceedings{DBLP:conf/compsac/1999,
title = {23rd International Computer Software and Applications Conference
(COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA},
booktitle = {COMPSAC},
publisher = {IEEE Computer Society},
year = {1999},
isbn = {0-7695-0368-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Legacy System
Database Systems
Panel - Network Security
Formal Verification
Network Security
Panel - Can Generic Software Be Assured?
Software Testing
Reliable Distributed Computing
Software Design and Development
Information Systems and Information Retrieval
Panel - Software Engineering Licensing
Software Process and Management
Network and Mobile Systems
Panel - Here,
There and Everywhere:
The Future of Software Engineering Education
Software Architecture
Storage System and Caching
Application of Special Interests
Software Development
Software Frameworks and Systems Engineering
Plenary Panel - Supply and Demands of Information Technology Workers
Software Reuse
Project Management
Panel - Computers as Partners:
A Technology Forecast for Decision-making in the 21st Century
Software System Development
E-Business and Application Systems
Software Verification and Analysis
- Kuangnan Chang, David Chenho Kung, Pei Hsia:
OBL: A Formal Deduction Method for Object-Oriented Systems.
450-455
Electronic Edition (IEEE Computer Society DL) BibTeX
- Xiaoping Jia, Sushant Sawant, Jiangyu Zhou, Sotiris Skevoulis:
Detecting Null Pointer Violations in Java Programs.
456-461
Electronic Edition (IEEE Computer Society DL) BibTeX
- Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang:
A New Approach to Verify Rule-Based Systems Using Petri Nets.
462-467
Electronic Edition (IEEE Computer Society DL) BibTeX
- Chin-Yu Huang, Sy-Yen Kuo, Sy-Yen Kuo, Michael R. Lyu:
Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency.
468-
Electronic Edition (IEEE Computer Society DL) BibTeX
Copyright © Sat May 16 23:03:12 2009
by Michael Ley (ley@uni-trier.de)