Verfügbarkeit: Proceedings :: THWS Bibkatalog

Proceedings: Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Computer Software & Applications Conference Chicago, Ill (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	Undetermined
Veröffentlicht:	Los Alamitos, Calif. IEEE Computer Soc. Press 1990
Schlagworte:	Software Engineering Konferenzschrift
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XIX, 739 S. graph. Darst.

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV021502366
003	DE-604
005	00000000000000.0
007	t
008	060308s1990 d\|\|\| \|\|\|\| 10\|\|\| und d
035			\|a (OCoLC)635194444
035			\|a (DE-599)BVBBV021502366
040			\|a DE-604 \|b ger \|e rakwb
041			\|a und
049			\|a DE-91G \|a DE-83
111	2		\|a International Computer Software & Applications Conference \|n 14 \|d 1990 \|c Chicago, Ill. \|j Verfasser \|0 (DE-588)5037289-0 \|4 aut
245	1	0	\|a Proceedings \|b Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990 \|c Fourteenth Annual International Computer Software & Applications Conference ; ed.: George J. Knafl. COMPSAC 90
246	1	3	\|a COMPSAC 90
264		1	\|a Los Alamitos, Calif. \|b IEEE Computer Soc. Press \|c 1990
300			\|a XIX, 739 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0		\|5 DE-604
700	1		\|a Knafl, George J. \|e Sonstige \|4 oth
856	4	2	\|m Digitalisierung TU Muenchen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014719068&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-014719068

Datensatz im Suchindex

_version_	1804135234153742336
adam_text	Table of Contents Preface ..................................................................................................................................................................................... v Program Overview .............................................................................................................................................................. vi COMPSAC 90 Conference Committee ..................................................................................................................viü COMPSAC Steering Committee ...............................................................................................................................viii COMPSAC 90 Program Committee ....................................................................................................................... ix COMPSAC 90 List of Reviewers ................................................................................................................................ x Software Reliability Methods of Comparing Test Data Adequacy Criteria ..........................................................................................................1 S. N. Weiss Predictability Measures for Software Reliability Models .....................................................................................................7 Y. K Malaiya, N. Karunanithi, and P. Verma The Hyper-Geometric Distribution Software Reliability Growth Model (HGDM): Precise Formulation and Applicability ..................................................................................................................................13 R. Jacoby and Y. Tohma Performance Analysis of the Make and Load Building Algorithms .................................................................................20 A. Hoc Applying Knowledge-Based Technology: Trends and Directions Applying Knowledge-Based Technology: Trends and Directions .....................................................................................26 M. P. Papazoglou Knowledge-Based Systems for Software Development ......................................................................................................27 B. I. Blum Knowledge Based Computer Vision and Image Interpretation ........................................................................................28 N. G. Bourbakis Knowledge-Based Systems at Work: Experiences from a Knowlege-Based Integrated Circuit Testing System ........29 A. Dolías AI Tools for Requirements Capture and Analysis ..............................................................................................................30 J. G. Hughes An Approach for Knowledge Modeling in Expert Systems Design ..................................................................................31 E. Knudsen A Homogeneous Approach to Bringing AI and DBMS Together ....................................................................................32 T. Sellis Parallel Processing in the 1990 s: The Promise and the Pitfalls Parallel Processing in the 1990 s: The Promise and the Pitfalls ........................................................................................33 ƒ. P. Cavano Parallel Computers: A Technology Forecast .......................................................................................................................34 ƒ. P. Cavano Likely Directions in Parallel Software Tools ........................................................................................................................35 R. Duncan Xl Object-Oriented Computing Improving Exception Handling with Object-Oriented Programming ..............................................................................36 C. Dony An Application of Object-Oriented Design for Communication Control System ..........................................................43 K. Kajihara, S. Yamazaki, T. Yamashita, and M. Ito An Approach to Introduce the Reflection to C+ +............................................................................................................52 P. Chen, X. Cai, and Y. Jin DEMOM - A Description Based Media Object Data Model ...........................................................................................57 B. Holtkamp, V. Y. hum, and N. С Rowe The Model and Metrics for Software Quality Evaluation: Report of the Japanese National Working Group The Model and Metrics for Software Quality Evaluation: Report of the Japanese National Working Group ..........64 M. Azuma Measuring Reliability ..............................................................................................................................................................65 T. Komiyama Measuring Portability ..............................................................................................................................................................66 T.Miyake Measuring Functionality .........................................................................................................................................................67 S. Sakurai Measuring Usability .................................................................................................................................................................68 A. Yantada Measuring Maintainability ......................................................................................................................................................69 T. Yonezawa Advanced Application Development Technology A Process Modeling Language for Large Process Control Systems .................................................................................70 M.-J. Chen and C.-G. Chung Specification of a Rapid Prototyping Capability for the Automated Patent System ......................................................76 K. A. Jordan and A. J. Zawilski An Object Oriented Approach to Automating Patient Medical Records ........................................................................82 D. C. Dimitro ff and I. F. Chang Cognitive Building Blocks of a Database Expert System ...................................................................................................88 D. L· Harris Software Tools for Parallel Systems Mathematical Transformation of Petri-Nets for Development of Parallel/Distributed Programs ..............................92 У. E. Papelis and T. L. Casavant A Software Approach to Multiprocessor Address Trace Generation ..............................................................................99 M. Azimi and С Erickson An Implementation of Software Tools for Replay and Partial Replay of Concurrent-C Programs ...........................106 ƒ. Lee, K -Н. Wang and C.-R. Chou Distributed Software Testing with Specification ................................................................................................................112 С К. Chang, C-C. Song, andK-F. Wang Database Management Issues Dynamic Query Range for Multikey Searching .................................................................................................................118 X.-H. Sun and N.N. Kamel Xli A Symmetrical Approach to Granting and Revoking Access Rights in Database Management Systems .................124 O.A. Goldberg and A. Orooji Performance of Multiversion Concurrency Control Algorithms in Maintaining Temporal Consistency ..................132 X. Song and J. W.S.Liu Designing a Dynamic Integrity Constraint Checker with Nonmonotonic Logic ...........................................................140 S. Ramanna, J. F. Peters, E. A. Unger, and Κ W. Glander Intelligent Support for Quality ICICLE: Intelligent Code Inspection in а С Language Environment ............................................................................146 V. Semabugamoorthy and L. Brothers Rule Base Inspection Using Algorithmic Approach for Data-Access Oriented Knowledge-Based Systems ...........155 F.-Y. Leu and C-C. Yang An Integrated Expert System Framework for Software Quality Assurance ..................................................................161 S. S. You, Y.-W. Wang, J. G. Huang, andJ. E. Lee A Proposed Parallel Software Testing Paradigm ..............................................................................................................167 J. L. Walker Knowledge-Based Application Development Technology AuditPro - Integrating Knowledge-Based Technology with Diagramming Tools for Auditors ..................................173 S. L. Tan and H. S. Chan An Expert System to Convert Knowledge-Based Geological Engineering Systems into Fortran ..............................184 J. J. Cress and Я W. Wilkerson Neural Network Application to Container Number Recognition ...................................................................................190 H. С Lui, С. M. Lee, and F. Gao Programming Mapping Techniques High Performance Massively Parallel Abstract Data Type Components ......................................................................196 I.-L. Yen, F. Bastoni, T. Al-Marzooq, and E. Leiss Application-Level Software Self-Balancing ........................................................................................................................202 C.-T. King T.-H. Shiau, and C.-P. Chan Management of Heterogeneous Parallelism on Shared Memory Multiprocessors ......................................................208 A. B. Tayyab andJ. G. Kuhl Processing the Transitive-Closure Logic Rules on Shared-Nothing Multiprocessor Systems ....................................214 G. Z. Qadah Object-Oriented Database Management The Conceptual Design of OSEA: An Object-Oriented Semantic Data Model ...........................................................221 P. L. Tan and T. S. Dillon A Graphical Interface for an Object-Oriented Query Language ....................................................................................231 H. Lam, H. M. Chen, F. S. Ty, J. Qiu, and S. Y. W. Su A Bi-Level Object-Oriented Data Mode for GIS Applications .....................................................................................238 A. Choi and W. S. Luk Supporting Queries in the О -Raid Object-Oriented Database System ..........................................................................245 J. G. Mullen, J. Srinivasan, P. Dewan, and B. Bhargava UNIX Systems - Future OS UNDC Systems - Future OS ..................................................................................................................................................251 D. G. Bélanger Xlii The Software Engineering of Extensible Database Systems The Software Engineering of Extensible Database Systems ............................................................................................252 D. S. Batory Software Productivity Metrics - New Initiatives in Making It Work Software Productivity Metrics - New Initiatives in Making It Work ...............................................................................253 N. L. Marselos Some Views about Software Productivity Metrics: Work at the Software Productivity Consortium .........................254 J. E. Gaffney, Jr. Emerging Technologies FormPlus: A Form Authoring Toolkit ................................................................................................................................255 T.-J. Fan, R. S. Machlin, С P. Wang, ondi. F. Chang Temporal Predicate Transition Nets and Their Applications ..........................................................................................261 X.He On Transforming Petri Net Model to Moore Machine ....................................................................................................267 C. K. Chang and H. Huang Distributed Communication Software Specification Based on the Action Superposition Mechanism ......................273 K. Hayashi, T. Nishizono, and T. Takenaka Transactions and Database Concurrent Transaction Execution in Multidatabase Systems ........................................................................................282 K. Barker and M. T. Ozsu A Hybrid Approach to Mutual Exclusion for Distributed Systems ................................................................................289 Y.-I. Chang M. Singhal, andM. T. Liu Twin-Page Storage Management for Rapid Transaction-Undo Recovery ....................................................................295 K.-L. Wu and W. К Fuchs Software Reuse Case Studies in Software Reuse ...........................................................................................................................................301 A. J. Incorvaia, A. M. Davis, and К E. Fairíey Modeling of Software Reusable Component Approach and Its Case Study .................................................................307 К Matsumura, A. Yamashiro, T. Tanaka, and I. Takahashi A Program Transformation Approach to Automating Software Re-Engineering ........................................................314 S. Burson, G. B. Kotik, and L. Z. Markosian Software Process Models and Project Management Productivity Improvement with Evolutionary Development ............................................................................................323 A. von Mayrhauser and B. Hirsh Distributed Concurrent Development of Software Systems: An Object-Oriented Process Model ............................330 M Aoyama Using the Software Process Model to Analyze a Software Project .................................................................................338 I. S. Ranft and D. A. Gustafson XIV Computer Graphics Algorithms A New Plane-Sweep Algorithm Based on Spatial Data Structure for Overlapped Rectangles in 2-D Space ...........347 P.-Y. Hsiao and C-C. Tsai A New ßD-Border Algorithm by Neighbor Finding .........................................................................................................353 S.-N. Yang and T.-W. Lin A Semi-Adaptive DCT Compression Method That Uses Minimal Space .....................................................................359 R. Nerheim A Gridless Multilayer Channel Router ...............................................................................................................................363 R. Yazdani and M. R. Zargham Query Processing Semantic and Structural Query Reformulation for Efficient Manipulation of Very large Knowledge Bases .........369 S.-G. Lee and D. Shin Benchmarking Two Types of Restricted Transitive Closure Algorithms .......................................................................375 A.A. Toptsis, С. Т. Yu, and P. С Nelson Nonlinear Versus Linear Recursion: A Perspective from Computing Transitive Closures of a Binary Relation by the Join Domain Nested Loops Approach ................................................................................382 P. Chang Compiling Linear Recursive Prolog Programs with List Structure into Procedural Language ..................................391 Υ. Κ Nam and L. J. Henschen The Status and Future of Interface Technology The Status and Future of Interface Technology ................................................................................................................399 5. M. Waiter Intelligent Multi-Media Interfaces ......................................................................................................................................400 J. G. Neal Evaluation of Natural Language Interfaces ........................................................................................................................401 C. A. Montgomery The Utility of Intelligent Interfaces for Complex Applications .......................................................................................402 S. W. Tyler Software Metrics Measuring Software Size by Distinct Lines ........................................................................................................................403 D. J. Lubinsky The Lines of Code Metric as a Predictor of Program Faults: A Critical Analysis ........................................................408 T. M. Khoshgoftaar and J. C. Munson Extending Software Complexity Metrics to Concurrent Programs .................................................................................414 F. De Paoli and S. Morasca Commercial Applications of Knowledge Based Systems: Initiatives in the Electric Power Industry Commercial Applications of Knowledge Based Systems: Initiatives in the Electric Power Industry .........................420 J. Spina KBTAC - The EPRI Sponsored Knowledge Based Technology Application ...............................................................421 W. Meyer, J. Scherer, and R. M. Wood xv Concurrent Ada Project & Distribution Systems The Analysis of Infeasible Concurrent Paths of Concurrent Ada Programs .................................................................424 R.-D. Yang and C.-G. Chung An Ada Interface for Massively Parallel Systems ..............................................................................................................430 E. K. Park, P. B. Anderson, and H. D. Dardy Distributed Management of Replicated and Partitioned Files under Dragon Slayer ..................................................436 H. F. Wedde, В. Korei, W. G. Brown, and S. Chen An Efficient Model of Dynamic Task Scheduling for Distributed Systems ...................................................................442 A. Ghafoor and I. Ahmad Database User Interface Technology Forms Interfaces and Their View Supportability Properties ...........................................................................................448 C. R. Carlson, H. Seung, and W. Ji A Graphical Knowledge Level Approach for User-Database Interaction ...................................................................453 K. P. Tan, H. C. Chan, and K L. Siau Intelligent Database Retrieval by Visual Reasoning .........................................................................................................459 S.-K. Chang and Y. Deng Hybrid Relations for Database Schema Evolution ...........................................................................................................465 J. Takahashi Specification Based Environments VIPEG: A Generator of Environments for Software Maintenance ...............................................................................471 W. Khorsid and V. Rajlich A Tool Specification Language for Software Maintenance .............................................................................................477 S.S. Liu and K. R. Johmann FOREST: A Systematic Testing Environment Based on Standardized Formal Description Techniques .................483 K. Katsuyama, F. Sato, T. Nakakawaji, and T. Mixuno A Methodology for Formal Specification and Implementation of Ada Packages ........................................................491 N. Madhav and W. Mann Major Technical Issues in Medical Informatics Major Technical Issues in Medical Informatics .................................................................................................................497 I. F. Chang Major Technical Issues in Medical Informatics: Computer Technology Systems and Applications ..........................498 I. F. Chang Computer Technology in Medical Imaging ........................................................................................................................500 C.-T. Chen Integration - A Multi-Faceted Challenge ...........................................................................................................................501 W.-T. Cheng Major Technical Issues in Medical Informatics .................................................................................................................503 M. F. Collen Major Technical Issues in Medical Informatics: Physician s Workstations ...................................................................504 P. С Tang Fault Tolerance and Testing Modeling Execution Time of Multi-Stage N-Version Fault-Tolerant Software ...........................................................505 M. A. Vouk, A. M. Paradkar, and D. F. McAllister On Real-Time Software Testing of Debugging .................................................................................................................512 J. J. P. Tsai, K.-Y. Fang, and Y.-D. Bi xvi A Unified Hardware/Software Fault Detection Experiment in a 5ESS System ...........................................................519 К W. Hwang, A. A. Kapauan, and W. N. Toy Rollback Recovery in Real-Time Systems with Dynamic Constraints ...........................................................................524 5. J. Upadhyaya Software Tools VIPS: A Visual Debugger for List Structures ....................................................................................................................530 T. Shimomura and S. hoda Expert Workstation for Information Systems Development ...........................................................................................538 W. Cabot and G. Knafl Design and Implementation of Programming Environments in the Visual Programmers Workbench: Extended Abstract ......................................................................................................547 R. V. Rubin, J. Walker II, andE. Golin PPK: A Method for Recording and Analyzing Software Design Processes ..................................................................555 T. Nakajima, N. Tamura, and К Uehara Testing Methods Condition-Based Software Testing Strategies ....................................................................................................................564 К С. Tai Path Expressions in Data Flow Program Testing ..............................................................................................................570 J. Laski A Testing Methodology Framework ...................................................................................................................................577 J. Collofello, T. Fisher, andM. Rees AI Tools Heuristic Algorithms for Path Determination in a Semantic Network ..........................................................................587 S. Y. W. Su, S. Puranik, and H. Lam Redundancy Detection in Logic Programs is Undecidable ..............................................................................................593 Z. Zhou and B.W. Wan Intelligent Query Mechanism for Expert Systems .............................................................................................................599 W. Z. Shao and H. S. Soon MCFS: A Multiple Criteria Reasoning Fuzzy Expert Systems Building Tool ...............................................................605 A. Kamel, A. Nazif, O. El-Dessouki, and N. Kamel Industrial Experience in Automating Software Re-Engineering Industrial Experience in Automating Software Re-Engineering .....................................................................................611 L. Z. Markosian NXL: A Language Translation and Restructuring Tool for Natural ..............................................................................612 T. Driscoll and R. Hunter-Duvar Pragmatic Program Understanding for Automated Re-Engineering .............................................................................613 J. Hartman What We Have Learned Developing Re-Engineering Tools ..........................................................................................614 W. Kozaczynski User Involvement in Software Re-Engineering .................................................................................................................615 J. Q. Ning Software Re-Engineering through Program Transformation ..........................................................................................616 L. Z. Markosian xvn Software Engineering Methodology I Architecture and Functionality of a Specification Environment for Distributed Software ..........................................617 B. Kraemer and H.-W. Schmidt An Inversion Capability for the PRESTIGE Workbench: Some Basic Issues ..............................................................623 B. Rateliff A Set and Mapping-Based Detection and Solution Method for Structure Clash between Program Input and Output Data ..........................................................................................................................629 M. Hashimoto and К Okamoto A Petri Net-Based Distributed Debugger ..........................................................................................................................639 A.-C. Liu and A. Engberts Transferring Object-Oriented Technology into a Corporation Transferring Object-Oriented Technology into a Corporation .......................................................................................647 S.Hutz N-Party Interaction Model for Technology Transfer from a Research Consortium to Industry ................................648 R.J00S The Pull-Push Game: The Transfer of Object-Oriented Technology ............................................................................649 S. D. Hutz Object-Oriented Curriculum Development at HP ............................................................................................................650 J. B. Rogers Transferring Object-Oriented Technology into a Corporation: A Short Report from the Trenches ........................651 К. С Burgess Yakemovic AI Applications A Model-Object Based Expert System for Real-Time Intelligent Control of Chemical Processes ...........................652 M. R. Basila, Jr., G. Stefanek, and A. Cinar Diagnosis System for Automatic Detection of Deadlock in Asynchronous Concurrent Distributed Computing Systems: Using Timed Petri Net with Stacks ............................................................................658 J.-N. Chen and P. Chen A Connectionist Approach to Multiple-View Based 3-D Object Recognition ..............................................................665 W.-C. Lin, F.-Y. Liao, С -K Tsao, and T. Lingutla Knowledge-Driven Distributed Information Systems .......................................................................................................671 M. P. Papazoglou Real Time Systems Real-Time Scheduling of Multiple Segment Tasks ...........................................................................................................680 K. Ho, J. H. Rice, and]. Srivastava Executing Jobs with Deadline Constraints in a Privately Owned Workstation Environment .....................................687 M. W. Mutka Implementing Real-Time Systems Using Performance Polymorphism .........................................................................693 К Scott and K-J. Lin Methods for Distributed Join Processing Using Voice-Data Protocol ..........................................................................699 К Scott and W. Pemzo Software Engineering Methodology II Transformation Technique of Algebraic Specification .....................................................................................................705 L Jin andJ. Qian EASE: An Embedded Algebraic Specification Environment ..........................................................................................711 J. Qian, Y. Zheng, L. Jin, andJ. Zhang xviii Introducing Formality into the Software Development Process: Experience with a Software Project Course .......................................................................................................................717 HANicholl Modeling and Enacting Software Processes: An Analysis ...............................................................................................727 J. Lonchamp, K. Benali, С. Godart, and J. C. Demiame Author Index ....................................................................................................................................................................737 xix
adam_txt	Table of Contents Preface . v Program Overview . vi COMPSAC 90 Conference Committee .viü COMPSAC Steering Committee .viii COMPSAC 90 Program Committee . ix COMPSAC 90 List of Reviewers . x Software Reliability Methods of Comparing Test Data Adequacy Criteria .1 S. N. Weiss Predictability Measures for Software Reliability Models .7 Y. K Malaiya, N. Karunanithi, and P. Verma The Hyper-Geometric Distribution Software Reliability Growth Model (HGDM): Precise Formulation and Applicability .13 R. Jacoby and Y. Tohma Performance Analysis of the Make and Load Building Algorithms .20 A. Hoc Applying Knowledge-Based Technology: Trends and Directions Applying Knowledge-Based Technology: Trends and Directions .26 M. P. Papazoglou Knowledge-Based Systems for Software Development .27 B. I. Blum Knowledge Based Computer Vision and Image Interpretation .28 N. G. Bourbakis Knowledge-Based Systems at Work: Experiences from a Knowlege-Based Integrated Circuit Testing System .29 A. Dolías AI Tools for Requirements Capture and Analysis .30 J. G. Hughes An Approach for Knowledge Modeling in Expert Systems Design .31 E. Knudsen A Homogeneous Approach to Bringing AI and DBMS Together .32 T. Sellis Parallel Processing in the 1990's: The Promise and the Pitfalls Parallel Processing in the 1990's: The Promise and the Pitfalls .33 ƒ. P. Cavano Parallel Computers: A Technology Forecast .34 ƒ. P. Cavano Likely Directions in Parallel Software Tools .35 R. Duncan Xl Object-Oriented Computing Improving Exception Handling with Object-Oriented Programming .36 C. Dony An Application of Object-Oriented Design for Communication Control System .43 K. Kajihara, S. Yamazaki, T. Yamashita, and M. Ito An Approach to Introduce the Reflection to C+ +.52 P. Chen, X. Cai, and Y. Jin DEMOM - A Description Based Media Object Data Model .57 B. Holtkamp, V. Y. hum, and N. С Rowe The Model and Metrics for Software Quality Evaluation: Report of the Japanese National Working Group The Model and Metrics for Software Quality Evaluation: Report of the Japanese National Working Group .64 M. Azuma Measuring Reliability .65 T. Komiyama Measuring Portability .66 T.Miyake Measuring Functionality .67 S. Sakurai Measuring Usability .68 A. Yantada Measuring Maintainability .69 T. Yonezawa Advanced Application Development Technology A Process Modeling Language for Large Process Control Systems .70 M.-J. Chen and C.-G. Chung Specification of a Rapid Prototyping Capability for the Automated Patent System .76 K. A. Jordan and A. J. Zawilski An Object Oriented Approach to Automating Patient Medical Records .82 D. C. Dimitro ff and I. F. Chang Cognitive Building Blocks of a Database Expert System .88 D. L· Harris Software Tools for Parallel Systems Mathematical Transformation of Petri-Nets for Development of Parallel/Distributed Programs .92 У. E. Papelis and T. L. Casavant A Software Approach to Multiprocessor Address Trace Generation .99 M. Azimi and С Erickson An Implementation of Software Tools for Replay and Partial Replay of Concurrent-C Programs .106 ƒ. Lee, K -Н. Wang and C.-R. Chou Distributed Software Testing with Specification .112 С К. Chang, C-C. Song, andK-F. Wang Database Management Issues Dynamic Query Range for Multikey Searching .118 X.-H. Sun and N.N. Kamel Xli A Symmetrical Approach to Granting and Revoking Access Rights in Database Management Systems .124 O.A. Goldberg and A. Orooji Performance of Multiversion Concurrency Control Algorithms in Maintaining Temporal Consistency .132 X. Song and J. W.S.Liu Designing a Dynamic Integrity Constraint Checker with Nonmonotonic Logic .140 S. Ramanna, J. F. Peters, E. A. Unger, and Κ W. Glander Intelligent Support for Quality ICICLE: Intelligent Code Inspection in а С Language Environment .146 V. Semabugamoorthy and L. Brothers Rule Base Inspection Using Algorithmic Approach for Data-Access Oriented Knowledge-Based Systems .155 F.-Y. Leu and C-C. Yang An Integrated Expert System Framework for Software Quality Assurance .161 S. S. You, Y.-W. Wang, J. G. Huang, andJ. E. Lee A Proposed Parallel Software Testing Paradigm .167 J. L. Walker Knowledge-Based Application Development Technology AuditPro - Integrating Knowledge-Based Technology with Diagramming Tools for Auditors .173 S. L. Tan and H. S. Chan An Expert System to Convert Knowledge-Based Geological Engineering Systems into Fortran .184 J. J. Cress and Я W. Wilkerson Neural Network Application to Container Number Recognition .190 H. С Lui, С. M. Lee, and F. Gao Programming Mapping Techniques High Performance Massively Parallel Abstract Data Type Components .196 I.-L. Yen, F. Bastoni, T. Al-Marzooq, and E. Leiss Application-Level Software Self-Balancing .202 C.-T. King T.-H. Shiau, and C.-P. Chan Management of Heterogeneous Parallelism on Shared Memory Multiprocessors .208 A. B. Tayyab andJ. G. Kuhl Processing the Transitive-Closure Logic Rules on Shared-Nothing Multiprocessor Systems .214 G. Z. Qadah Object-Oriented Database Management The Conceptual Design of OSEA: An Object-Oriented Semantic Data Model .221 P. L. Tan and T. S. Dillon A Graphical Interface for an Object-Oriented Query Language .231 H. Lam, H. M. Chen, F. S. Ty, J. Qiu, and S. Y. W. Su A Bi-Level Object-Oriented Data Mode' for GIS Applications .238 A. Choi and W. S. Luk Supporting Queries in the О -Raid Object-Oriented Database System .245 J. G. Mullen, J. Srinivasan, P. Dewan, and B. Bhargava UNIX Systems - Future OS UNDC Systems - Future OS .251 D. G. Bélanger Xlii The Software Engineering of Extensible Database Systems The Software Engineering of Extensible Database Systems .252 D. S. Batory Software Productivity Metrics - New Initiatives in Making It Work Software Productivity Metrics - New Initiatives in Making It Work .253 N. L. Marselos Some Views about Software Productivity Metrics: Work at the Software Productivity Consortium .254 J. E. Gaffney, Jr. Emerging Technologies FormPlus: A Form Authoring Toolkit .255 T.-J. Fan, R. S. Machlin, С P. Wang, ondi. F. Chang Temporal Predicate Transition Nets and Their Applications .261 X.He On Transforming Petri Net Model to Moore Machine .267 C. K. Chang and H. Huang Distributed Communication Software Specification Based on the Action Superposition Mechanism .273 K. Hayashi, T. Nishizono, and T. Takenaka Transactions and Database Concurrent Transaction Execution in Multidatabase Systems .282 K. Barker and M. T. Ozsu A Hybrid Approach to Mutual Exclusion for Distributed Systems .289 Y.-I. Chang M. Singhal, andM. T. Liu Twin-Page Storage Management for Rapid Transaction-Undo Recovery .295 K.-L. Wu and W. К Fuchs Software Reuse Case Studies in Software Reuse .301 A. J. Incorvaia, A. M. Davis, and К E. Fairíey Modeling of Software Reusable Component Approach and Its Case Study .307 К Matsumura, A. Yamashiro, T. Tanaka, and I. Takahashi A Program Transformation Approach to Automating Software Re-Engineering .314 S. Burson, G. B. Kotik, and L. Z. Markosian Software Process Models and Project Management Productivity Improvement with Evolutionary Development .323 A. von Mayrhauser and B. Hirsh Distributed Concurrent Development of Software Systems: An Object-Oriented Process Model .330 M Aoyama Using the Software Process Model to Analyze a Software Project .338 I. S. Ranft and D. A. Gustafson XIV Computer Graphics Algorithms A New Plane-Sweep Algorithm Based on Spatial Data Structure for Overlapped Rectangles in 2-D Space .347 P.-Y. Hsiao and C-C. Tsai A New ßD-Border Algorithm by Neighbor Finding .353 S.-N. Yang and T.-W. Lin A Semi-Adaptive DCT Compression Method That Uses Minimal Space .359 R. Nerheim A Gridless Multilayer Channel Router .363 R. Yazdani and M. R. Zargham Query Processing Semantic and Structural Query Reformulation for Efficient Manipulation of Very large Knowledge Bases .369 S.-G. Lee and D. Shin Benchmarking Two Types of Restricted Transitive Closure Algorithms .375 A.A. Toptsis, С. Т. Yu, and P. С Nelson Nonlinear Versus Linear Recursion: A Perspective from Computing Transitive Closures of a Binary Relation by the Join Domain Nested Loops Approach .382 P. Chang Compiling Linear Recursive Prolog Programs with List Structure into Procedural Language .391 Υ. Κ Nam and L. J. Henschen The Status and Future of Interface Technology The Status and Future of Interface Technology .399 5. M. Waiter Intelligent Multi-Media Interfaces .400 J. G. Neal Evaluation of Natural Language Interfaces .401 C. A. Montgomery The Utility of Intelligent Interfaces for Complex Applications .402 S. W. Tyler Software Metrics Measuring Software Size by Distinct Lines .403 D. J. Lubinsky The Lines of Code Metric as a Predictor of Program Faults: A Critical Analysis .408 T. M. Khoshgoftaar and J. C. Munson Extending Software Complexity Metrics to Concurrent Programs .414 F. De Paoli and S. Morasca Commercial Applications of Knowledge Based Systems: Initiatives in the Electric Power Industry Commercial Applications of Knowledge Based Systems: Initiatives in the Electric Power Industry .420 J. Spina KBTAC - The EPRI Sponsored Knowledge Based Technology Application .421 W. Meyer, J. Scherer, and R. M. Wood xv Concurrent Ada Project & Distribution Systems The Analysis of Infeasible Concurrent Paths of Concurrent Ada Programs .424 R.-D. Yang and C.-G. Chung An Ada Interface for Massively Parallel Systems .430 E. K. Park, P. B. Anderson, and H. D. Dardy Distributed Management of Replicated and Partitioned Files under Dragon Slayer .436 H. F. Wedde, В. Korei, W. G. Brown, and S. Chen An Efficient Model of Dynamic Task Scheduling for Distributed Systems .442 A. Ghafoor and I. Ahmad Database User Interface Technology Forms Interfaces and Their View Supportability Properties .448 C. R. Carlson, H. Seung, and W. Ji A Graphical Knowledge Level Approach for User-Database Interaction .453 K. P. Tan, H. C. Chan, and K L. Siau Intelligent Database Retrieval by Visual Reasoning .459 S.-K. Chang and Y. Deng Hybrid Relations for Database Schema Evolution .465 J. Takahashi Specification Based Environments VIPEG: A Generator of Environments for Software Maintenance .471 W. Khorsid and V. Rajlich A Tool Specification Language for Software Maintenance .477 S.S. Liu and K. R. Johmann FOREST: A Systematic Testing Environment Based on Standardized Formal Description Techniques .483 K. Katsuyama, F. Sato, T. Nakakawaji, and T. Mixuno A Methodology for Formal Specification and Implementation of Ada Packages .491 N. Madhav and W. Mann Major Technical Issues in Medical Informatics Major Technical Issues in Medical Informatics .497 I. F. Chang Major Technical Issues in Medical Informatics: Computer Technology Systems and Applications .498 I. F. Chang Computer Technology in Medical Imaging .500 C.-T. Chen Integration - A Multi-Faceted Challenge .501 W.-T. Cheng Major Technical Issues in Medical Informatics .503 M. F. Collen Major Technical Issues in Medical Informatics: Physician's Workstations .504 P. С Tang Fault Tolerance and Testing Modeling Execution Time of Multi-Stage N-Version Fault-Tolerant Software .505 M. A. Vouk, A. M. Paradkar, and D. F. McAllister On Real-Time Software Testing of Debugging .512 J. J. P. Tsai, K.-Y. Fang, and Y.-D. Bi xvi A Unified Hardware/Software Fault Detection Experiment in a 5ESS System .519 К W. Hwang, A. A. Kapauan, and W. N. Toy Rollback Recovery in Real-Time Systems with Dynamic Constraints .524 5. J. Upadhyaya Software Tools VIPS: A Visual Debugger for List Structures .530 T. Shimomura and S. hoda Expert Workstation for Information Systems Development .538 W. Cabot and G. Knafl Design and Implementation of Programming Environments in the Visual Programmers Workbench: Extended Abstract .547 R. V. Rubin, J. Walker II, andE. Golin PPK: A Method for Recording and Analyzing Software Design Processes .555 T. Nakajima, N. Tamura, and К Uehara Testing Methods Condition-Based Software Testing Strategies .564 К С. Tai Path Expressions in Data Flow Program Testing .570 J. Laski A Testing Methodology Framework .577 J. Collofello, T. Fisher, andM. Rees AI Tools Heuristic Algorithms for Path Determination in a Semantic Network .587 S. Y. W. Su, S. Puranik, and H. Lam Redundancy Detection in Logic Programs is Undecidable .593 Z. Zhou and B.W. Wan Intelligent Query Mechanism for Expert Systems .599 W. Z. Shao and H. S. Soon MCFS: A Multiple Criteria Reasoning Fuzzy Expert Systems Building Tool .605 A. Kamel, A. Nazif, O. El-Dessouki, and N. Kamel Industrial Experience in Automating Software Re-Engineering Industrial Experience in Automating Software Re-Engineering .611 L. Z. Markosian NXL: A Language Translation and Restructuring Tool for Natural .612 T. Driscoll and R. Hunter-Duvar Pragmatic Program Understanding for Automated Re-Engineering .613 J. Hartman What We Have Learned Developing Re-Engineering Tools .614 W. Kozaczynski User Involvement in Software Re-Engineering .615 J. Q. Ning Software Re-Engineering through Program Transformation .616 L. Z. Markosian xvn Software Engineering Methodology I Architecture and Functionality of a Specification Environment for Distributed Software .617 B. Kraemer and H.-W. Schmidt An Inversion Capability for the PRESTIGE Workbench: Some Basic Issues .623 B. Rateliff A Set and Mapping-Based Detection and Solution Method for Structure Clash between Program Input and Output Data .629 M. Hashimoto and К Okamoto A Petri Net-Based Distributed Debugger .639 A.-C. Liu and A. Engberts Transferring Object-Oriented Technology into a Corporation Transferring Object-Oriented Technology into a Corporation .647 S.Hutz N-Party Interaction Model for Technology Transfer from a Research Consortium to Industry .648 R.J00S The Pull-Push Game: The Transfer of Object-Oriented Technology .649 S. D. Hutz Object-Oriented Curriculum Development at HP .650 J. B. Rogers Transferring Object-Oriented Technology into a Corporation: A Short Report from the Trenches .651 К. С Burgess Yakemovic AI Applications A Model-Object Based Expert System for Real-Time Intelligent Control of Chemical Processes .652 M. R. Basila, Jr., G. Stefanek, and A. Cinar Diagnosis System for Automatic Detection of Deadlock in Asynchronous Concurrent Distributed Computing Systems: Using Timed Petri Net with Stacks .658 J.-N. Chen and P. Chen A Connectionist Approach to Multiple-View Based 3-D Object Recognition .665 W.-C. Lin, F.-Y. Liao, С -K Tsao, and T. Lingutla Knowledge-Driven Distributed Information Systems .671 M. P. Papazoglou Real Time Systems Real-Time Scheduling of Multiple Segment Tasks .680 K. Ho, J. H. Rice, and]. Srivastava Executing Jobs with Deadline Constraints in a Privately Owned Workstation Environment .687 M. W. Mutka Implementing Real-Time Systems Using Performance Polymorphism .693 К Scott and K-J. Lin Methods for Distributed Join Processing Using Voice-Data Protocol .699 К Scott and W. Pemzo Software Engineering Methodology II Transformation Technique of Algebraic Specification .705 L Jin andJ. Qian EASE: An Embedded Algebraic Specification Environment .711 J. Qian, Y. Zheng, L. Jin, andJ. Zhang xviii Introducing Formality into the Software Development Process: Experience with a Software Project Course .717 HANicholl Modeling and Enacting Software Processes: An Analysis .727 J. Lonchamp, K. Benali, С. Godart, and J. C. Demiame Author Index .737 xix
any_adam_object	1
any_adam_object_boolean	1
author_corporate	International Computer Software & Applications Conference Chicago, Ill
author_corporate_role	aut
author_facet	International Computer Software & Applications Conference Chicago, Ill
author_sort	International Computer Software & Applications Conference Chicago, Ill
building	Verbundindex
bvnumber	BV021502366
ctrlnum	(OCoLC)635194444 (DE-599)BVBBV021502366
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01474nam a2200325 c 4500</leader><controlfield tag="001">BV021502366</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060308s1990 d\|\|\| \|\|\|\| 10\|\|\| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635194444</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021502366</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Computer Software & Applications Conference</subfield><subfield code="n">14</subfield><subfield code="d">1990</subfield><subfield code="c">Chicago, Ill.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5037289-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990</subfield><subfield code="c">Fourteenth Annual International Computer Software & Applications Conference ; ed.: George J. Knafl. COMPSAC 90</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">COMPSAC 90</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 739 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Knafl, George J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014719068&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014719068</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV021502366
illustrated	Illustrated
index_date	2024-07-02T14:15:57Z
indexdate	2024-07-09T20:37:16Z
institution	BVB
institution_GND	(DE-588)5037289-0
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014719068
oclc_num	635194444
open_access_boolean
owner	DE-91G DE-BY-TUM DE-83
owner_facet	DE-91G DE-BY-TUM DE-83
physical	XIX, 739 S. graph. Darst.
publishDate	1990
publishDateSearch	1990
publishDateSort	1990
publisher	IEEE Computer Soc. Press
record_format	marc
spelling	International Computer Software & Applications Conference 14 1990 Chicago, Ill. Verfasser (DE-588)5037289-0 aut Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990 Fourteenth Annual International Computer Software & Applications Conference ; ed.: George J. Knafl. COMPSAC 90 COMPSAC 90 Los Alamitos, Calif. IEEE Computer Soc. Press 1990 XIX, 739 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Knafl, George J. Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014719068&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990 Software Engineering (DE-588)4116521-4 gnd
subject_GND	(DE-588)4116521-4 (DE-588)1071861417
title	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990
title_alt	COMPSAC 90
title_auth	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990
title_exact_search	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990
title_exact_search_txtP	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990
title_full	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990 Fourteenth Annual International Computer Software & Applications Conference ; ed.: George J. Knafl. COMPSAC 90
title_fullStr	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990 Fourteenth Annual International Computer Software & Applications Conference ; ed.: George J. Knafl. COMPSAC 90
title_full_unstemmed	Proceedings Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990 Fourteenth Annual International Computer Software & Applications Conference ; ed.: George J. Knafl. COMPSAC 90
title_short	Proceedings
title_sort	proceedings holiday inn mart plaza chicago illinois october 31 november 2 1990
title_sub	Holiday Inn Mart Plaza, Chicago, Illinois, October 31 - November 2, 1990
topic	Software Engineering (DE-588)4116521-4 gnd
topic_facet	Software Engineering Konferenzschrift
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014719068&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT internationalcomputersoftwareapplicationsconferencechicagoill proceedingsholidayinnmartplazachicagoillinoisoctober31november21990 AT knaflgeorgej proceedingsholidayinnmartplazachicagoillinoisoctober31november21990 AT internationalcomputersoftwareapplicationsconferencechicagoill compsac90 AT knaflgeorgej compsac90

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge