Abstract is missing.
- Data Structure Coverage TestingKenneth I. Magel, Ping Zhong. 1-8
- Testing Object-Oriented Programs Based on Usage Profiles and Formal SpecificationsShih-Sung Liao, Kai H. Chang, Stephen B. Seidman, Chun-Yu Chen. 9-16
- Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions Anouar Jamoussi, Farokh B. Bastani. 17-24
- Expertsheets: A Spreadsheet Paradigm for Authoring Expert SystemsFrancisco Corella, Michelle Kim. 25-31
- Class Hierarchy Management SystemEhab Hassanein. 38-44
- Reduction of a Knowledge ModelJohn K. Debenham. 45-50
- The Development of Hybrid Information Systems: a Process Model an MethodologyXin Chen, Simon Kendal, I. Potts, Peter Smith. 51-58
- A Synthesis of Two Process Support ApproachesMartin Verlage, Barbara Dellen, Frank Maurer, Jürgen Münch. 59-68
- Measurement of Usability of Software Using a Fuzzy Systems ApproachElizabeth Chang, Tharam S. Dillon, D. Cook. 69-76
- Debugging of Object-Oriented SoftwareRoberts C. H. Law, R. Brien Maguire. 77-84
- Knowledge Engineering for Automated Program Recognition and Fault LocalizationIlene Burnstein, Abdul Mirza, Katherine Roberson, Floyd Saner, Abdallah Tubaishat. 85-91
- Automating the Debugging Process of Pascal Syntax ErrorsRichard Fox, Christian Bilke, James Mendoza. 92-99
- Scientific Data Mining: A Case StudyChia-Yo Chang, Jason Tsong-Li Wang. 100-107
- Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query OptimizationSuk-Chung Yoon, Lawrence J. Henschen. 108-115
- Development of a Software Architecture for the Analysis of Geographic and Image-Based DataScott A. Starks. 116-120
- Business Rules in the Real World: A Decision Support ApproachDaniela Rosca, J. Christian Wild. 121-128
- Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice SystemOwusu-Ansah Agyapong, Patrick O. Bobbie. 129-135
- Recombining Changes to Software SpecificationsValdis Berzins. 136-144
- A Method for Applying G-Nets To Communication ProtocolsVladimir P. Sliva, Tadao Murata, Sol M. Shatz. 145-152
- An Empirical Study of the LSS Specification Toolkit in UseDavid Stuart Robertson. 153-160
- An Object Logic for Object Base Capable of Version ManagementNaoko Izumi, Takuya Katayama. 171-180
- An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary SoftwareC. Chandra, C. V. Ramamoorthy. 181-188
- Specifications in Software PrototypingLuqi. 189-197
- ACL: a Tool for Conceptual ProgrammingFrancoise Balmas. 198-205
- Domain Specific Problem DescriptionDavid Robertson. 206-213
- An Integrated Environment for Reuse Reengineering C CodeGerardo Canfora, Andrea De Lucia, Malcolm Munro. 214-221
- Using Design Cohesion to Visualize, Quantify, and Restructure SoftwareByung-Kyoo Kang, James M. Bieman. 222-229
- Managing a Software System and Keeping it Internally Consistent During its EvolutionF. Cutillo, Giuseppe Visaggio. 230-237
- Identifying Language Requirements for Specifying Industrial-Strength Software AgentsW. David Hurley. 238-245
- Relationship Between Communication Capability and Goal Achievement in System of AgentsHan-gyoo Kim, Young-Chul Shim, Moon-hae Kim. 246-252
- A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software SystemsEvandro de Barros Costa, Angelo Perkusich, Jorge C. A. de Figueiredo. 253-260
- Generalized Program Slicing for Software MaintenanceHai Huang, Wei-Tek Tsai, Satish Subramanian. 261-268
- Wheels: An Automated Program Analysis ToolAggie Y. Sun, Bruce M. McMillin. 269-276
- Recovering a Conceptual Data Model from COBOL CodeGerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca. 277-284
- Data Layout for Interactive Video-on-Demand Storage SystemsCyril U. Orji, Kingsley C. Nwosu. 285-292
- REINAS: A Real-time System for Managing Environmental DataDarrell D. E. Long, Patrick E. Mantey, Eric C. Rosen, Craig M. Wittenbrink. 293-300
- The Impact of Hashing Function Choice on the Load Balancing in Very Large DartasetsIsidore Rigoutsos, Alex Delis. 301-308
- An Intelligent Process for Formulating and Anwering Project QueriesChye-Lin Chee, Stan Jarzabek, C. V. Ramamoorthy. 309-316
- A Visual Query Interface for Software Metrics DatabasesRaymond A. Paul, Azam Khan, Arif Ghafoor, Young Francis Day, Yoshihisa Shinagawa. 317-322
- Software Process AgentsDick B. Simmons, Newton C. Ellis, Way Kuo. 323-329
- An Early Warning Approach for Method Sequence TestingPei Hsia, Xiaolin Li, David Chenho Kung. 330-337
- On Defining a Class of Integrity ConstraintsAnn Q. Gates. 338-344
- Important Milestones in Software Reliability ModelingSwapna S. Gokhale, Peter N. Marinos, Kishor S. Trivedi. 345-352
- Case Study: EasyCODE - A Language Independent Visualization Tool for ReengineeringOliver Karall, Stefan Biffl. 353-360
- PRISME: Formalizing Programming Strategies as a Way to Understand ProgramsFrancoise Balmas. 361-368
- A Quantitative Approach for Assessing the Priorities of Software Quality RequirementsXiaoqing Frank Liu. 377-384
- Engineering Formal Requirements: Analysis and TestingPaolo Ciancarini, Stelvio Cimato, Cecilia Mascolo. 385-392
- Verification Criterion Directed Testing for Formal SpecificationsZiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert. 393-399
- Variable Depth Resolution for Intelligent Real-Time SystemsDouglas Foxvog, Tapio Taipale. 400-407
- A Formalism for Architectural Modeling of Distributed Real-Time SystemsYi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist. 408-417
- Observation of Global Properties in Distributed SystemsVijay K. Garg. 418-425
- Challenges in Deploying Software: Rollout, Field Support, UpgradesW. Morven Gentleman. 426-433
- Greedy Reuse: Architectural Considerations for Extending the Reusability of ComponentsRoland Mittermeir, Lydia G. Würfl. 434-441
- Reverse Engineering Procedural Code for Object RecoveryDoris L. Carver. 442-449
- Quality Assurance of Specification - The Users Point of ViewHeinz-Dieter Knöll, Thomas Slotos, Wolfgang Suk. 450-456
- Requirements Analysis and Specification as a Problem of Software AutomationJiafu Xu, Hong Zhu. 457-464
- Peace+: A Multi-Agent System for Computer-supported Cooperative work in Software Process Centered EnvironmentsIlham Alloui, Flávio Oquendo. 465-473
- A Theory of Testing for Soft Real-Time ProcessesRance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka. 474-479
- Knowledge-Based Support for Distributed Systems ManagementBernd J. Krämer, Thomas Koch. 480-487
- A Dynamic Apporach Towards Location Management in Mobile Computing SystemsRavi Prakash, Mukesh Singhal. 488-495
- Scriptless Behaviour Definition of Visual ObjectsVerena Giller, Günter Haring, Manfred Tscheligi. 499-505
- Visual Programming, Knowledge Engineering, and Software EngineeringTim Menzies. 506-513
- Developing Visual Languages Through an Evolving MethodKang Zhang, Da-Qian Zhang. 514-521
- Towards Designing RTO.k Structured Server Objects with Service Time GuaranteeK. H. Kim. 522-528
- A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time SystemsKevin L. Mills, Hassan Gomaa. 529-536
- Version Management in Structured Document Retrieval SystemsP. Bruce Berra, Seong-Joon Yoo, Yong Kyu Lee, Kyoungro Yoon. 537-544
- Customized Visual Language DesignShi-Kuo Chang, Piero Mussio. 553-562
- A Visualization Tool for Pattern Matching and Discovery in Scientific DatabasesGeorge Jyh-Shian Chang, Jason Tsong-Li Wang, Gung-Wei Chirn, Chia-Yo Chang, Weihong Wu, Firas Aljallad. 563-570
- Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic ProcessorPeter S. Guilfoyle, John M. Hessenbruch, Richard V. Stone, P. Bruce Berra. 571-576
- A Fast 3-D Visualization Methodology Using Characteristic Views of ObjectsSoochan Hwang, Sang-Young Cho, Taehyung Wang, Phillip C.-Y. Sheu. 577-584
- Natural Language Processing: Structure and ComplexityWlodek Zadrozny. 595-602