BibSLEIGH — Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering

Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering
SEKE, 1993.

KER

@proceedings{SEKE-1993,
	address       = "San Francisco Bay, USA",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering}",
	year          = 1993,
}

Contents (114 items)

SEKE-1993-YoshitakaHI #framework #query: A Framework for Query Processing Utilizing Knowledge (AY, MH, TI), pp. 1–10.
SEKE-1993-LiuWN #documentation #query #retrieval: An OI5ce Document Retrieval System with the Capability of Processing Incomplete and Vague Queries (QL, JTLW, PAN), pp. 11–17.
SEKE-1993-Semmel #information management #query #representation: Knowledge Representation for Intelligent Query Processing (RDS), pp. 18–27.
SEKE-1993-ChanW #database #named #object-oriented: DARET: A Logic-Based Language in Object-Oriented Databases (TWC, WCW), pp. 28–35.
SEKE-1993-ChangPFYE #design #distributed #fault tolerance #information management #object-oriented #realtime: The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics (SKC, AP, JCAdF, BY, WDE), pp. 36–45.
SEKE-1993-DengES #design #execution #object-oriented #specification: Executable Specifications for the Design of Object-Oriented Systems (YD, RKE, WS), pp. 46–53.
SEKE-1993-MinouraCS #approach #lifecycle: The SAOS Approach to Software Lifecycle Support (TM, SC, AS), pp. 54–61.
SEKE-1993-LoiaQ #logic programming #named #object-oriented: CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming (VL, MQ), pp. 62–69.
SEKE-1993-Cooke #automation: Software Automation (DEC), pp. 70–72.
SEKE-1993-BourbakisR #automation #reverse engineering #visual notation: An Expert Tool For Automatic Visual VLSI Reverse Engineering (NGB, DR), pp. 73–77.
SEKE-1993-MassariCCC #database #source code: Programs as Databases: Treating Code and Comments as First Class Objects (AM, GC, PKC, SKC), pp. 78–85.
SEKE-1993-McFallSH #object-oriented #representation #reverse engineering: Reverse Engineering Structured Code to an Object-Oriented Representation (DM, GS, JH), pp. 86–93.
SEKE-1993-ChuP #reuse #scalability #using: A Re-cnginacring Tool for the Reuse of Large Scale Software Systems (WCC, SP), pp. 94–101.
SEKE-1993-Berztiss #safety: Catastrophe Prevention in Safety-Critical Systems (ATB), pp. 102–108.
SEKE-1993-BiebowS #analysis #requirements #validation: Acquisition, Analysis and Validation of Informal Requirements (BB, SS), pp. 109–116.
SEKE-1993-Cooke93a #multi #order #programming language: A High Level Programming Language Based Upon Ordered Multisets (DEC), pp. 117–124.
SEKE-1993-Alexander #generative #multi #named #specification: BENTON: A Multi-Agent System for Larch Specification Generation (PA), pp. 125–133.
SEKE-1993-DojatS #reasoning: Temporal Reasoning in a Medical Expertise (MD, CS), pp. 134–141.
SEKE-1993-CoyleTF #development #knowledge-based #programming #realtime #rule-based: Rule-Based Programming for Real-Time Knowledge-Based Systems Development (FPC, MMT, DJF), pp. 142–149.
SEKE-1993-ReynoldsM #metric #process #programming language #refinement #using: The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process (RGR, JIM), pp. 150–157.
SEKE-1993-DeBellis: Intelligent Assistance for Transformation-Based Environments (MD), pp. 158–165.
SEKE-1993-Eberbach #algorithm #calculus #design #self #specification: The Design and Specification of SEMAL — A Cost Language Based on the Calculus of Self-Modifiable Algorithms (EE), pp. 166–173.
SEKE-1993-Georges #information management: Closing the Knowledge Engineering Gap (MG), pp. 174–182.
SEKE-1993-Antoniou #information management #specification: Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules (GA), pp. 183–190.
SEKE-1993-JaegerP #analysis #information management #named #specification: BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems (TJ, AP), pp. 191–198.
SEKE-1993-ZhangZX #parallel: A Knowledge Processing Language and Its Parallel Inference System (CZ, QZ, JX), pp. 199–206.
SEKE-1993-ZhangC #community #distributed #information management #paradigm: Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems (WRZ, MYC), pp. 207–214.
SEKE-1993-LiL #information management: A Computational Theory of Knowledge Discovery and Revision (AL, XL), pp. 215–218.
SEKE-1993-Ohnishi #requirements #specification #visual notation: Visual Software Requirements Specification Language: VRDL (AO), pp. 219–221.
SEKE-1993-Maim #abduction #constraints #logic programming #source code #strict: Restricted Abduction in Constraint Logic Programs (EM), pp. 222–224.
SEKE-1993-BadrL #evolution: A Version and Configuration Model for Software Evolution (SB, L), pp. 225–227.
SEKE-1993-LaleauF #concept #modelling #semantics: Modeling Semantic Data Concepts with VDM (RL, PF), pp. 228–230.
SEKE-1993-KomiyaSHKOHOO #analysis #process #specification: An Experimental Analysis for Classifying Specification Processes (SK, MS, SH, JK, AO, HH, SO, KO), pp. 231–234.
SEKE-1993-LinCH #information management #network: A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software (CYIL, CCC, CSH), pp. 235–238.
SEKE-1993-ShinCY #prolog #source code #type inference: Mode Based Type Inference for Prolog Programs (DS, YC, HY), pp. 239–243.
SEKE-1993-Cheng #complexity #metric #rule-based: A New Complexity Metric for OPS5 Rule-Based Systems (AMKC), pp. 244–247.
SEKE-1993-CheeEW #file system #named #version control: VCFS: A File System for Transparent Version Control (CLC, SSE, CKW), pp. 248–251.
SEKE-1993-LaiY #classification #grid #multi #reuse #usability: Multi-Layer Repertory Grid Classification for Increasing Software Reusability (STL, CCY), pp. 252–254.
SEKE-1993-ChenV #fault #information management #problem: Knowledge Engineering in Fault Diagnostic Problem Solving (LC, PV), pp. 255–257.
SEKE-1993-Poulin #development #metric #reuse: Issues in the Development and Application of Reuse Metrics in a Corporate Environment (JSP), pp. 258–262.
SEKE-1993-BombanaBCFSZ #analysis #functional #testing: An Expert Solution to Functional Testability Analysis of VLSI Circuits (MB, GB, PC, FF, DS, GZ), pp. 263–265.
SEKE-1993-MacMillanFLLS #architecture #natural language #reuse #tool support #using: A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools (TRM, MLF, SJL, EPL, LJS), pp. 266–270.
SEKE-1993-BoetticherSE #approach #metric: A Neural Net-Based Approach to Software Metrics (GDB, KS, DE), pp. 271–274.
SEKE-1993-WillisP #machine learning #program transformation #reuse: Machine Learning for Program Transformations in Software Reuse (CPW, DJP), pp. 275–277.
SEKE-1993-HilerioLT #documentation #generative #hypermedia #information management: Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents (IH, RL, MMT), pp. 278–281.
SEKE-1993-Juzgado #knowledge-based #testing: Application of Testing Techniques in Conventional Software to Knowledge-Based Software (NJJ), pp. 282–284.
SEKE-1993-Weis #design #distributed #kernel #object-oriented: Object-Oriented Design of a Distributed Blackboard Kernel (MW), pp. 285–287.
SEKE-1993-SuhST #information management #named #representation: INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism (SCS, CFS, MMT), pp. 288–290.
SEKE-1993-MochizukiYK #design #modelling #process: Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model (SM, AY, TK), pp. 291–295.
SEKE-1993-KaarelaO #automation #execution #specification: Executable Graphic Specifications in Automation Projects (KK, AO), pp. 296–300.
SEKE-1993-KhanM #abstraction #flexibility: Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge (JIK, IM), pp. 301–303.
SEKE-1993-PirriP #datalog #deduction #design #taxonomy #using: Using Datalog as a Language for Data Dictionary Design: A Deductive Support (FP, CP), pp. 304–308.
SEKE-1993-BachateneCS #design #re-engineering #using: Using Software Engineering Principles to Design Intelligent Cooperative Systems (HB, MC, AEFS), pp. 309–313.
SEKE-1993-Paterno #logic #user interface #using: Definition of Properties of User Interfaces Using Action-Based Temporal Logic (FP), pp. 314–318.
SEKE-1993-EspositoMS #information management #machine learning #refinement: Machine Learning Techniques for Knowledge Acquisition and Refinement (FE, DM, GS), pp. 319–323.
SEKE-1993-LeungL #semantics #specification: Structured Specifications, Semantics, and System Semantics (PHKRL, HL), pp. 324–326.
SEKE-1993-KoonoFBYOH #automation #design #simulation #towards: Software Creation: Towards Automatic Software Design By Simulating Human Designers (ZK, BHF, TB, YY, MO, KIH), pp. 327–331.
SEKE-1993-KoonoFTOHB #automation #design #implementation #process: Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design (ZK, BHF, TT, MO, KIH, TB), pp. 332–336.
SEKE-1993-VazirgiannisPTH #design #fuzzy #hypermedia #information management #logic #object-oriented #representation: Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic (MV, KP, AT, MH), pp. 337–342.
SEKE-1993-BhaM #evolution #specification: Operations for Evolving Specifications (SB, KM), pp. 343–345.
SEKE-1993-YonezakiKSL #named #process: TAP: A New Model for Software Process: Tasks-Agents-Products (NY, TK, MS, JL), pp. 346–350.
SEKE-1993-SaekiIS #process #specification: Supporting Tool for Cooperative Specification Processes (MS, KI, MS), pp. 351–354.
SEKE-1993-StaesTV #agile #prototype #user interface: Rapid Prototyping of User Interfaces in the KIWIS System (FS, LT, DV), pp. 355–359.
SEKE-1993-SingletonB #declarative #in the large: A Case for Declarative Programming-in-the-Large (PS, PB), pp. 360–362.
SEKE-1993-YoshiuraY #logic #specification: More Expressive Temporal Logic for Specifications (NY, NY), pp. 363–366.
SEKE-1993-VossV #information management #reuse: Reuse-Oriented Knowledge Engineering with MoMo (HV, AV), pp. 367–371.
SEKE-1993-TsaiLN #approach #debugging #requirements #specification: Debugging Logic-Based Requirements Specifications — a FRORL Approach (JJPT, AL, KRN), pp. 372–379.
SEKE-1993-TsaiXZM #framework #specification #testing: A Framework for Systematic Testing of Software Specifications (WTT, WX, IAZ, SKM), pp. 380–387.
SEKE-1993-LeloucheV #automation #knowledge-based #testing #using: Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System (RL, LV), pp. 388–395.
SEKE-1993-Zhang #knowledge base #verification: Perspectives in Knowledge Base Verification (DZ), pp. 396–405.
SEKE-1993-HurleyC #design #towards #user interface: Towards a Formalized Context for Designing User Interface Management Systems (WDH, NVC), pp. 406–413.
SEKE-1993-QuiliciM #simulation: An Intelligent Environment for Spacecraft Simulation (AQ, LM), pp. 414–420.
SEKE-1993-LuciaNTT #development: The Tool Development Language TDL for the Software Development Environment WSDW (ADL, MN, GT, MT), pp. 421–428.
SEKE-1993-WangMLSN #documentation: An Intelligent Documentation Support Environment (JTLW, FSM, QL, WCS, PAN), pp. 429–436.
SEKE-1993-ChangCCL #branch #empirical #generative #testing: An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage (KHC, JHCI, WHC, SSL), pp. 437–444.
SEKE-1993-KushnerE #experience #rule-based #verification: Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS (TRK, DSE), pp. 445–452.
SEKE-1993-Porter #classification #component #predict: Developing and Analyzing Classification Rules for Predicting Faulty Software Components (AAP), pp. 453–461.
SEKE-1993-StaryF #design #how #semantics #specification: How Semantical Design Languages Help to Preserve Specification/Design-Consistency (CS, RF), pp. 462–471.
SEKE-1993-Eichmann #concurrent #experience #information management: Knowledge Engineering in Concurrent Engineering and Experience Factories (DE), p. 472.
SEKE-1993-BlumBCERY #re-engineering: Software Engineering in the Year 2000 (BIB, VRB, SKC, ME, CVR, RTY), p. 473.
SEKE-1993-Pirlein #independence #knowledge base #reuse #scalability: Reusing a Large Domain-Independent Knowledge Base (TP), pp. 474–482.
SEKE-1993-Bhansali #architecture #reuse #using: Architecture-driven Reuse of Code in KASE (SB), pp. 483–490.
SEKE-1993-HarandiL #design #reuse: Acquiring Design Schemas for Software Reuse (MTH, HYL), pp. 491–498.
SEKE-1993-ChunP #integration: An Environment for the Control and Software Integration of Expert Systems (RKC, BJP), pp. 499–506.
SEKE-1993-CanforaCCS #ada #animation #interactive #reverse engineering #source code: Reverse Engineering and Interactive Animation of Ada Programs (GC, AC, UdC, LS), pp. 507–516.
SEKE-1993-BlazyF #comprehension #fortran #partial evaluation #source code: Partial Evaluation for the Understanding of FORTRAN Programs (SB, PF), pp. 517–525.
SEKE-1993-AzemBJ #prolog #reliability #source code #testing: Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.
SEKE-1993-AbbattistaLV #concept #modelling: Recovering Conceptual Data Models is Human-Intensive (FA, FL, GV), pp. 534–543.
SEKE-1993-CallissUCR #reverse engineering: Reverse Engineering (FWC, JEU, JHCI, VR), pp. 544–545.
SEKE-1993-MagnanO #evolution: Object Evolution (MM, CO), pp. 546–553.
SEKE-1993-MineauGM #clustering #concept #induction #modelling: Induction of Generic Data Models by Conceptual Clustering (GWM, RG, RM), pp. 554–564.
SEKE-1993-Oivo #modelling #multi #re-engineering: Multiview Modeling in Software Engineering (MO), pp. 565–574.
SEKE-1993-Feather #evolution #specification: Cardinality Evolution in Specifications (MSF), pp. 575–583.
SEKE-1993-Evangelist #architecture #execution #specification: Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.
SEKE-1993-DeBellis93a #process: The KBSA ADM Process Model (MD), p. 585.
SEKE-1993-Deng #architecture #execution #specification: Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.
SEKE-1993-Scacchi #integration #process: Process Integration for KBSE Environments (WS), p. 587.
SEKE-1993-White #knowledge-based: The Knowledge-Based Software Assistant Program (DAW), p. 588.
SEKE-1993-Sandahl #knowledge-based: Developing Knowledge-Based Systems with Active Expert Participation (KS), pp. 589–595.
SEKE-1993-LindlandWGS #automation #prototype: Prototyping in Transformation-Based CASE Environments (OIL, GW, JAG, AS), pp. 596–603.
SEKE-1993-DampierLB #automation #prototype: Automated Merging of Software Prototypes (DAD, L, VB), pp. 604–611.
SEKE-1993-ChenWP #distributed #multi: A Packager for Multicast Software in Distributed Systems (CC, ELW, JMP), pp. 612–621.
SEKE-1993-HofmannPV #design: Situated Software Design (HFH, RP, EV), pp. 622–628.
SEKE-1993-TimpkaNSJ #design #modelling #process: Action Design: From Modeling To Support of the Software Process (TT, JMN, CS, MJ), pp. 629–636.
SEKE-1993-Russell: ISESS’93 A Reality Check (DWR), pp. 637–640.
SEKE-1993-Paul #maturity #metric #risk management: Software Maturity Measurement for Software Risk Management (RAP), pp. 641–648.
SEKE-1993-LiO #development: A Meta Knowledge Structure for Program Development Support (CL, SO), pp. 649–656.
SEKE-1993-JonkerG #design #development #implementation #modelling: KBS Development: From Design Models to Implementations (WJ, BG), pp. 657–664.
SEKE-1993-SassoD #knowledge-based #re-engineering: Plan-Based Guidance for Knowledge-Based Software Engineering (WCS, MD), pp. 665–672.
SEKE-1993-KirklenT #re-engineering #visual notation: Software Engineering Disciplines in the Visual Era (CRK, MMT), pp. 673–680.
SEKE-1993-LauxBC #development #ide #specification: An Integrated Development Environment for Formal Specifications (MRL, RHB, BHCC), pp. 681–688.
SEKE-1993-Li #development: Transforming Postconditions To Aid Program Development (JL), pp. 689–694.
SEKE-1993-DingK #behaviour #specification #state machine: Attributed State Machines For Behavior Specification of Reactive Systems (SD, TK), pp. 695–702.
SEKE-1993-Ameur #development #non-functional #source code: Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs (YAA), pp. 703–710.

Proceedings of the Fifth International Conference on Software Engineering and Knowledge EngineeringSEKE, 1993.

Contents (114 items)

Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering
SEKE, 1993.