Abstract is missing.
- A Framework for Query Processing Utilizing KnowledgeAtsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa. 1-10
- An OI5ce Document Retrieval System with the Capability of Processing Incomplete and Vague QueriesQianhong Liu, Jason Tsong-Li Wang, Peter A. Ng. 11-17
- Knowledge Representation for Intelligent Query ProcessingRalph D. Semmel. 18-27
- DARET: A Logic-Based Language in Object-Oriented DatabasesTak-Wai Chan, Wen-Chong Wang. 28-35
- The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant CharacteristicsShi-Kuo Chang, Angelo Perkusich, Jorge C. A. de Figueiredo, Bing Yu, Wolfgang D. Ehrenberger. 36-45
- Executable Specifications for the Design of Object-Oriented SystemsYi Deng, Raimund K. Ege, Wei Sun. 46-53
- The SAOS Approach to Software Lifecycle SupportToshimi Minoura, Sungwoon Choi, Anil Srivastava. 54-61
- CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic ProgrammingVincenzo Loia, Michel Quaggetto. 62-69
- Software AutomationDaniel E. Cooke. 70-72
- An Expert Tool For Automatic Visual VLSI Reverse EngineeringNikolaos G. Bourbakis, D. Rice. 73-77
- Programs as Databases: Treating Code and Comments as First Class ObjectsAntonio Massari, Gennaro Costagliola, Panos K. Chrysanthis, Shi-Kuo Chang. 78-85
- Reverse Engineering Structured Code to an Object-Oriented RepresentationDon McFall, Gillian Sleith, John Hughes. 86-93
- A Re-cnginacring Tool for the Reuse of Large Scale Software SystemsWilliam C. Chu, Sukesh Patel. 94-101
- Catastrophe Prevention in Safety-Critical SystemsAlfs T. Berztiss. 102-108
- Acquisition, Analysis and Validation of Informal RequirementsBrigitte Biebow, Sylvie Szulman. 109-116
- A High Level Programming Language Based Upon Ordered MultisetsDaniel E. Cooke. 117-124
- BENTON: A Multi-Agent System for Larch Specification GenerationPerry Alexander. 125-133
- Temporal Reasoning in a Medical ExpertiseMichel Dojat, Claudette Sayettat. 134-141
- Rule-Based Programming for Real-Time Knowledge-Based Systems DevelopmentFrank P. Coyle, Murat M. Tanik, Dennis J. Frailey. 142-149
- The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement ProcessRobert G. Reynolds, Jonathan I. Maletic. 150-157
- Intelligent Assistance for Transformation-Based EnvironmentsMichael DeBellis. 158-165
- The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable AlgorithmsEugeniusz Eberbach. 166-173
- Closing the Knowledge Engineering GapMari Georges. 174-182
- Engineering Issues for No monotonic Knowledge: Structuring, Specification, ModulesGrigoris Antoniou. 183-190
- BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information SystemsTrent Jaeger, Atul Prakash. 191-198
- A Knowledge Processing Language and Its Parallel Inference SystemCui Zhang, Qinping Zhao, Jiafu Xu. 199-206
- Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative SystemsWen-Ran Zhang, Mei-Ying Cheng. 207-214
- A Computational Theory of Knowledge Discovery and RevisionAizhong Li, Xuhua Liu. 215-218
- Visual Software Requirements Specification Language: VRDLAtsushi Ohnishi. 219-221
- Restricted Abduction in Constraint Logic ProgramsEnrico Maim. 222-224
- A Version and Configuration Model for Software EvolutionSalah Badr, Luqi. 225-227
- Modeling Semantic Data Concepts with VDMRegine Laleau, Philippe Facon. 228-230
- An Experimental Analysis for Classifying Specification ProcessesSeiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki. 231-234
- A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management SoftwareChau-Young Ivan Lin, Chih-Cheng Chien, Cheng-Seen Ho. 235-238
- Mode Based Type Inference for Prolog ProgramsDongwook Shin, Youngmin Chung, Hyunsoo Yoon. 239-243
- A New Complexity Metric for OPS5 Rule-Based SystemsAlbert Mo Kim Cheng. 244-247
- VCFS: A File System for Transparent Version ControlChye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong. 248-251
- Multi-Layer Repertory Grid Classification for Increasing Software ReusabilitySen-Tarng Lai, Chien-Chiao Yang. 252-254
- Knowledge Engineering in Fault Diagnostic Problem SolvingLianhui Chen, Paul Voumard. 255-257
- Issues in the Development and Application of Reuse Metrics in a Corporate EnvironmentJeffrey S. Poulin. 258-262
- An Expert Solution to Functional Testability Analysis of VLSI CircuitsMassimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza. 263-265
- A Common Architecture To Encourage Reuse Of Natural Language/Text Processing ToolsT. Richard MacMillan, Martha L. Farinacci, Sharon J. Laskowski, Elaine P. Lusher, Leonard J. Seligman. 266-270
- A Neural Net-Based Approach to Software MetricsGary D. Boetticher, K. Srinivas, David Eichmann. 271-274
- Machine Learning for Program Transformations in Software ReuseClaire P. Willis, Derek J. Paddon. 275-277
- Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext DocumentsIsrael Hilerio, Roger Lippert, Murat M. Tanik. 278-281
- Application of Testing Techniques in Conventional Software to Knowledge-Based SoftwareNatalia Juristo Juzgado. 282-284
- Object-Oriented Design of a Distributed Blackboard KernelMichael Weis. 285-287
- INTEK: A Software Tool for an Intermediate Knowledge Representation FormalismSang C. Suh, Clenio F. Salviano, Murat M. Tanik. 288-290
- Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered ModelSumio Mochizuki, Akira Yamauchi, Takuya Katayama. 291-295
- Executable Graphic Specifications in Automation ProjectsKari Kaarela, Ari Okkonen. 296-300
- Formalism for Hierarchical Organization and Flexible Abstraction of Program KnowledgeJaved I. Khan, Isao Miyamoto. 301-303
- Using Datalog as a Language for Data Dictionary Design: A Deductive SupportFiora Pirri, Clara Pizzuti. 304-308
- Using Software Engineering Principles to Design Intelligent Cooperative SystemsH. Bachatène, Michel Coriat, Amal El Fallah-Seghrouchni. 309-313
- Definition of Properties of User Interfaces Using Action-Based Temporal LogicFabio Paternò. 314-318
- Machine Learning Techniques for Knowledge Acquisition and RefinementFloriana Esposito, Donato Malerba, Giovanni Semeraro. 319-323
- Structured Specifications, Semantics, and System SemanticsPing Hung Karl R. Leung, Haizhou Li. 324-326
- Software Creation: Towards Automatic Software Design By Simulating Human DesignersZenya Koono, Behrouz H. Far, Takeshi Baba, Yasukiyo Yamasaki, Mari Ohmori, Ken-Ichiroh Hatae. 327-331
- Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software DesignZenya Koono, Behrouz H. Far, Takeshi Takizawa, Mari Ohmori, Ken-Ichiroh Hatae, Takeshi Baba. 332-336
- Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy LogicMichalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos. 337-342
- Operations for Evolving SpecificationsSudin Bha, Kanth Miriyala. 343-345
- TAP: A New Model for Software Process: Tasks-Agents-ProductsNaoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg. 346-350
- Supporting Tool for Cooperative Specification ProcessesMotoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara. 351-354
- Rapid Prototyping of User Interfaces in the KIWIS SystemFrançois Staes, Laura Tarantino, Dirk Venneir. 355-359
- A Case for Declarative Programming-in-the-LargePaul Singleton, Pearl Brereton. 360-362
- More Expressive Temporal Logic for SpecificationsNoriaki Yoshiura, Naoki Yonezaki. 363-366
- Reuse-Oriented Knowledge Engineering with MoMoHans Voß, Angi Voß. 367-371
- Debugging Logic-Based Requirements Specifications - a FRORL ApproachJeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair. 372-379
- A Framework for Systematic Testing of Software SpecificationsWei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula. 380-387
- Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based SystemRuddy Lelouche, Laurence Vignollet. 388-395
- Perspectives in Knowledge Base VerificationDu Zhang. 396-405
- Towards a Formalized Context for Designing User Interface Management SystemsW. David Hurley, Niels Vejrup Carlsen. 406-413
- An Intelligent Environment for Spacecraft SimulationAlex Quilici, Lawrence Miller. 414-420
- The Tool Development Language TDL for the Software Development Environment WSDWAndrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci. 421-428
- An Intelligent Documentation Support EnvironmentJason Tsong-Li Wang, Fortune S. Mhlanga, Qianhong Liu, Wen-Chung Shang, Peter A. Ng. 429-436
- An Empirical Study of Intelligent Test Case Generation Methods for Software Branch CoverageKai H. Chang, James H. Cross II, W. Homer Carlisle, Shih-Sung Liao. 437-444
- Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVSTodd R. Kushner, Deborah S. Eisenberg. 445-452
- Developing and Analyzing Classification Rules for Predicting Faulty Software ComponentsAdam A. Porter. 453-461
- How Semantical Design Languages Help to Preserve Specification/Design-ConsistencyChristian Stary, Rudolf Freund. 462-471
- Knowledge Engineering in Concurrent Engineering and Experience FactoriesDavid Eichmann. 472
- Software Engineering in the Year 2000Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh. 473
- Reusing a Large Domain-Independent Knowledge BaseThomas Pirlein. 474-482
- Architecture-driven Reuse of Code in KASESanjay Bhansali. 483-490
- Acquiring Design Schemas for Software ReuseMehdi T. Harandi, Hing-Yan Lee. 491-498
- An Environment for the Control and Software Integration of Expert SystemsRobert K. Chun, Bradley J. Perry. 499-506
- Reverse Engineering and Interactive Animation of Ada ProgramsGerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone. 507-516
- Partial Evaluation for the Understanding of FORTRAN ProgramsSandrine Blazy, Philippe Facon. 517-525
- Implementation-Oriented Testing and Reliability Determination of Prolog ProgramsAlireza Azem, Fevzi Belli, Oliver Jack. 526-533
- Recovering Conceptual Data Models is Human-IntensiveFabio Abbattista, Filippo Lanubile, Giuseppe Visaggio. 534-543
- Reverse EngineeringFrank W. Calliss, Joseph Urban, James H. Cross II, Vaclav Rajlich. 544-545
- Object EvolutionMartine Magnan, Chabane Oussalah. 546-553
- Induction of Generic Data Models by Conceptual ClusteringGuy W. Mineau, Robert Godin, Rokia Missaoui. 554-564
- Multiview Modeling in Software EngineeringMarkku Oivo. 565-574
- Cardinality Evolution in SpecificationsMartin S. Feather. 575-583
- Intermediate Executable Architectural Specifications for KBSA, Part IMichael Evangelist. 584
- The KBSA ADM Process ModelMichael DeBellis. 585
- Intermediate Executable Architectural Specifications for KBSA, Part IIYi Deng. 586
- Process Integration for KBSE EnvironmentsWalt Scacchi. 587
- The Knowledge-Based Software Assistant ProgramDouglas A. White. 588
- Developing Knowledge-Based Systems with Active Expert ParticipationKristian Sandahl. 589-595
- Prototyping in Transformation-Based CASE EnvironmentsOdd Ivar Lindland, Geir Willumsen, Jon Atle Gulla, Arne Sølvberg. 596-603
- Automated Merging of Software PrototypesDavid A. Dampier, Luqi, Valdis Berzins. 604-611
- A Packager for Multicast Software in Distributed SystemsChen Chen, Elizabeth L. White, James M. Purtilo. 612-621
- Situated Software DesignHubert F. Hofmann, Rolf Pfeifer, Erik Vinkhuyzen. 622-628
- Action Design: From Modeling To Support of the Software ProcessToomas Timpka, James M. Nyce, Cecilia Sjöberg, Mikael Johansson. 629-636
- ISESS 93 A Reality CheckDavid W. Russell. 637-640
- Software Maturity Measurement for Software Risk ManagementRaymond A. Paul. 641-648
- A Meta Knowledge Structure for Program Development SupportChunye Li, Setsuo Ohsuga. 649-656
- KBS Development: From Design Models to ImplementationsWillem Jonker, Bob Goedhart. 657-664
- Plan-Based Guidance for Knowledge-Based Software EngineeringWilliam C. Sasso, Michael DeBellis. 665-672
- Software Engineering Disciplines in the Visual EraCharles R. Kirklen, Murat M. Tanik. 673-680
- An Integrated Development Environment for Formal SpecificationsMichael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng. 681-688
- Transforming Postconditions To Aid Program DevelopmentJianxin Li. 689-694
- Attributed State Machines For Behavior Specification of Reactive SystemsShiyuan Ding, Takuya Katayama. 695-702
- Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical ProgramsYamine Aït Ameur. 703-710