default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th SEKE 1993: San Francisco, CA, USA
- SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA. Knowledge Systems Institute 1993
Knowledge-Based Query Processing
- Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa:
A Framework for Query Processing Utilizing Knowledge. SEKE 1993: 1-10 - Qianhong Liu, Jason Tsong-Li Wang, Peter A. Ng:
An OI5ce Document Retrieval System with the Capability of Processing Incomplete and Vague Queries. SEKE 1993: 11-17 - Ralph D. Semmel:
Knowledge Representation for Intelligent Query Processing. SEKE 1993: 18-27 - Tak-Wai Chan, Wen-Chong Wang:
DARET: A Logic-Based Language in Object-Oriented Databases. SEKE 1993: 28-35
Object Orientation in SE & KE
- Shi-Kuo Chang, Angelo Perkusich, Jorge C. A. de Figueiredo, Bing Yu, Wolfgang D. Ehrenberger:
The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics. SEKE 1993: 36-45 - Yi Deng, Raimund K. Ege, Wei Sun:
Executable Specifications for the Design of Object-Oriented Systems. SEKE 1993: 46-53 - Toshimi Minoura, Sungwoon Choi, Anil Srivastava:
The SAOS Approach to Software Lifecycle Support. SEKE 1993: 54-61 - Vincenzo Loia, Michel Quaggetto:
CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming. SEKE 1993: 62-69
Panel: The Workshop on Software Automation
- Daniel E. Cooke:
Software Automation. SEKE 1993: 70-72
Reverse Engineering
- Nikolaos G. Bourbakis, D. Rice:
An Expert Tool For Automatic Visual VLSI Reverse Engineering. SEKE 1993: 73-77 - Antonio Massari, Gennaro Costagliola, Panos K. Chrysanthis, Shi-Kuo Chang:
Programs as Databases: Treating Code and Comments as First Class Objects. SEKE 1993: 78-85 - Don McFall, Gillian Fiona Sleith, John Hughes:
Reverse Engineering Structured Code to an Object-Oriented Representation. SEKE 1993: 86-93 - William C. Chu, Sukesh Patel:
A Re-cnginacring Tool for the Reuse of Large Scale Software Systems. SEKE 1993: 94-101
Small-Group Presentations
- Alfs T. Berztiss:
Catastrophe Prevention in Safety-Critical Systems. SEKE 1993: 102-108 - Brigitte Biébow, Sylvie Szulman:
Acquisition, Analysis and Validation of Informal Requirements. SEKE 1993: 109-116 - Daniel E. Cooke:
A High Level Programming Language Based Upon Ordered Multisets. SEKE 1993: 117-124 - Perry Alexander:
BENTON: A Multi-Agent System for Larch Specification Generation. SEKE 1993: 125-133 - Michel Dojat, Claudette Sayettat:
Temporal Reasoning in a Medical Expertise. SEKE 1993: 134-141 - Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey:
Rule-Based Programming for Real-Time Knowledge-Based Systems Development. SEKE 1993: 142-149 - Robert G. Reynolds, Jonathan I. Maletic:
The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process. SEKE 1993: 150-157 - Michael DeBellis:
Intelligent Assistance for Transformation-Based Environments. SEKE 1993: 158-165 - Eugeniusz Eberbach:
The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms. SEKE 1993: 166-173 - Mari Georges:
Closing the Knowledge Engineering Gap. SEKE 1993: 174-182 - Grigoris Antoniou:
Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. SEKE 1993: 183-190 - Trent Jaeger, Atul Prakash:
BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems. SEKE 1993: 191-198 - Cui Zhang, Qinping Zhao, Jiafu Xu:
A Knowledge Processing Language and Its Parallel Inference System. SEKE 1993: 199-206 - Wen-Ran Zhang, Meiying Cheng:
Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems. SEKE 1993: 207-214
Panels: Advances in SE & KE
- Aizhong Li, Xuhua Liu:
A Computational Theory of Knowledge Discovery and Revision. SEKE 1993: 215-218 - Atsushi Ohnishi:
Visual Software Requirements Specification Language: VRDL. SEKE 1993: 219-221 - Enrico Maim:
Restricted Abduction in Constraint Logic Programs. SEKE 1993: 222-224 - Salah Badr, Luqi:
A Version and Configuration Model for Software Evolution. SEKE 1993: 225-227 - Regine Laleau, Philippe Facon:
Modeling Semantic Data Concepts with VDM. SEKE 1993: 228-230 - Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki:
An Experimental Analysis for Classifying Specification Processes. SEKE 1993: 231-234 - Chau-Young Ivan Lin, Chih-Cheng Chien, Cheng-Seen Ho:
A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software. SEKE 1993: 235-238 - Dongwook Shin, Youngmin Chung, Hyunsoo Yoon:
Mode Based Type Inference for Prolog Programs. SEKE 1993: 239-243 - Albert Mo Kim Cheng:
A New Complexity Metric for OPS5 Rule-Based Systems. SEKE 1993: 244-247 - Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong:
VCFS: A File System for Transparent Version Control. SEKE 1993: 248-251 - Sen-Tarng Lai, Chien-Chiao Yang:
Multi-Layer Repertory Grid Classification for Increasing Software Reusability. SEKE 1993: 252-254 - Lianhui Chen, Paul Voumard:
Knowledge Engineering in Fault Diagnostic Problem Solving. SEKE 1993: 255-257 - Jeffrey S. Poulin:
Issues in the Development and Application of Reuse Metrics in a Corporate Environment. SEKE 1993: 258-262 - Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza:
An Expert Solution to Functional Testability Analysis of VLSI Circuits. SEKE 1993: 263-265 - T. Richard MacMillan, Martha L. Farinacci, Sharon J. Laskowski, Elaine P. Lusher, Leonard J. Seligman:
A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools. SEKE 1993: 266-270 - Gary D. Boetticher, K. Srinivas, David Eichmann:
A Neural Net-Based Approach to Software Metrics. SEKE 1993: 271-274 - Claire P. Willis, Derek J. Paddon:
Machine Learning for Program Transformations in Software Reuse. SEKE 1993: 275-277 - Israel Hilerio, Roger Lippert, Murat M. Tanik:
Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents. SEKE 1993: 278-281 - Natalia Juristo Juzgado:
Application of Testing Techniques in Conventional Software to Knowledge-Based Software. SEKE 1993: 282-284 - Michael Weis:
Object-Oriented Design of a Distributed Blackboard Kernel. SEKE 1993: 285-287 - Sang C. Suh, Clênio F. Salviano, Murat M. Tanik:
INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism. SEKE 1993: 288-290 - Sumio Mochizuki, Akira Yamauchi, Takuya Katayama:
Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. SEKE 1993: 291-295 - Kari Kaarela, Ari Okkonen:
Executable Graphic Specifications in Automation Projects. SEKE 1993: 296-300 - Javed I. Khan, Isao Miyamoto:
Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge. SEKE 1993: 301-303 - Fiora Pirri, Clara Pizzuti:
Using Datalog as a Language for Data Dictionary Design: A Deductive Support. SEKE 1993: 304-308 - H. Bachatène, Michel Coriat, Amal El Fallah Seghrouchni:
Using Software Engineering Principles to Design Intelligent Cooperative Systems. SEKE 1993: 309-313 - Fabio Paternò:
Definition of Properties of User Interfaces Using Action-Based Temporal Logic. SEKE 1993: 314-318 - Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Machine Learning Techniques for Knowledge Acquisition and Refinement. SEKE 1993: 319-323 - Ping Hung Karl R. Leung, Haizhou Li:
Structured Specifications, Semantics, and System Semantics. SEKE 1993: 324-326 - Zenya Koono, Behrouz H. Far, Takeshi Baba, Yasukiyo Yamasaki, Mari Ohmori, Ken-Ichiroh Hatae:
Software Creation: Towards Automatic Software Design By Simulating Human Designers. SEKE 1993: 327-331 - Zenya Koono, Behrouz H. Far, Takeshi Takizawa, Mari Ohmori, Ken-Ichiroh Hatae, Takeshi Baba:
Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design. SEKE 1993: 332-336 - Michalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos:
Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic. SEKE 1993: 337-342 - Sudin Bhat, Kanth Miriyala:
Operations for Evolving Specifications. SEKE 1993: 343-345 - Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg:
TAP: A New Model for Software Process: Tasks-Agents-Products. SEKE 1993: 346-350 - Motoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara:
Supporting Tool for Cooperative Specification Processes. SEKE 1993: 351-354 - François Staes, Laura Tarantino, Dirk Venneir:
Rapid Prototyping of User Interfaces in the KIWIS System. SEKE 1993: 355-359 - Paul Singleton, Pearl Brereton:
A Case for Declarative Programming-in-the-Large. SEKE 1993: 360-362 - Noriaki Yoshiura, Naoki Yonezaki:
More Expressive Temporal Logic for Specifications. SEKE 1993: 363-366 - Hans Voß, Angi Voß:
Reuse-Oriented Knowledge Engineering with MoMo. SEKE 1993: 367-371
Knowledge-Level V&V
- Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair:
Debugging Logic-Based Requirements Specifications - a FRORL Approach. SEKE 1993: 372-379 - Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula:
A Framework for Systematic Testing of Software Specifications. SEKE 1993: 380-387 - Ruddy Lelouche, Laurence Vignollet:
Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System. SEKE 1993: 388-395 - Du Zhang:
Perspectives in Knowledge Base Verification. SEKE 1993: 396-405
Tools and Environments
- W. David Hurley, Niels Vejrup Carlsen:
Towards a Formalized Context for Designing User Interface Management Systems. SEKE 1993: 406-413 - Alex Quilici, Lawrence Miller:
An Intelligent Environment for Spacecraft Simulation. SEKE 1993: 414-420 - Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci:
The Tool Development Language TDL for the Software Development Environment WSDW. SEKE 1993: 421-428 - Jason Tsong-Li Wang, Fortune S. Mhlanga, Qianhong Liu, Wen-Chung Shang, Peter A. Ng:
An Intelligent Documentation Support Environment. SEKE 1993: 429-436
Program-Level V&V
- Kai H. Chang, James H. Cross II, W. Homer Carlisle, Shih-Sung Liao:
An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage. SEKE 1993: 437-444 - Todd R. Kushner, Deborah S. Eisenberg:
Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS. SEKE 1993: 445-452 - Adam A. Porter:
Developing and Analyzing Classification Rules for Predicting Faulty Software Components. SEKE 1993: 453-461 - Christian Stary, Rudolf Freund:
How Semantical Design Languages Help to Preserve Specification/Design-Consistency. SEKE 1993: 462-471
Panel: KE in Concurrent Engineering and Experience Factories
- David Eichmann:
Knowledge Engineering in Concurrent Engineering and Experience Factories. SEKE 1993: 472
Panel: Software Engineering in the Year 2000
- Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh:
Software Engineering in the Year 2000. SEKE 1993: 473
Reuse
- Thomas Pirlein:
Reusing a Large Domain-Independent Knowledge Base. SEKE 1993: 474-482 - Sanjay Bhansali:
Architecture-driven Reuse of Code in KASE. SEKE 1993: 483-490 - Mehdi T. Harandi, Hing-Yan Lee:
Acquiring Design Schemas for Software Reuse. SEKE 1993: 491-498 - Robert K. Chun, Bradley J. Perry:
An Environment for the Control and Software Integration of Expert Systems. SEKE 1993: 499-506
Testing and Understanding Programs
- Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone:
Reverse Engineering and Interactive Animation of Ada Programs. SEKE 1993: 507-516 - Sandrine Blazy, Philippe Facon:
Partial Evaluation for the Understanding of FORTRAN Programs. SEKE 1993: 517-525 - Alireza Azem, Fevzi Belli, Oliver Jack:
Implementation-Oriented Testing and Reliability Determination of Prolog Programs. SEKE 1993: 526-533 - Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio:
Recovering Conceptual Data Models is Human-Intensive. SEKE 1993: 534-543
Panel: Knowledge-Based Support for Reverse Engineering
- Frank W. Calliss, Joseph E. Urban, James H. Cross II, Václav Rajlich:
Reverse Engineering. SEKE 1993: 544-545
The Dynamics of Model Construction
- Martine Magnan, Chabane Oussalah:
Object Evolution. SEKE 1993: 546-553 - Guy W. Mineau, Robert Godin, Rokia Missaoui:
Induction of Generic Data Models by Conceptual Clustering. SEKE 1993: 554-564 - Markku Oivo:
Multiview Modeling in Software Engineering. SEKE 1993: 565-574 - Martin S. Feather:
Cardinality Evolution in Specifications. SEKE 1993: 575-583
Panel: Future Directions of the KBSA Program
- Michael Evangelist:
Intermediate Executable Architectural Specifications for KBSA, Part I. SEKE 1993: 584 - Michael DeBellis:
The KBSA ADM Process Model. SEKE 1993: 585 - Yi Deng:
Intermediate Executable Architectural Specifications for KBSA, Part II. SEKE 1993: 586 - Walt Scacchi:
Process Integration for KBSE Environments. SEKE 1993: 587 - Douglas A. White:
The Knowledge-Based Software Assistant Program. SEKE 1993: 588
Prototyping
- Kristian Sandahl:
Developing Knowledge-Based Systems with Active Expert Participation. SEKE 1993: 589-595 - Odd Ivar Lindland, Geir Willumsen, Jon Atle Gulla, Arne Sølvberg:
Prototyping in Transformation-Based CASE Environments. SEKE 1993: 596-603 - David A. Dampier, Luqi, Valdis Berzins:
Automated Merging of Software Prototypes. SEKE 1993: 604-611 - Chen Chen, Elizabeth L. White, James M. Purtilo:
A Packager for Multicast Software in Distributed Systems. SEKE 1993: 612-621
A Context for Software Development
- Hubert F. Hofmann, Rolf Pfeifer, Erik Vinkhuyzen:
Situated Software Design. SEKE 1993: 622-628 - Toomas Timpka, James M. Nyce, Cecilia Sjöberg, Mikael Johansson:
Action Design: From Modeling To Support of the Software Process. SEKE 1993: 629-636 - David W. Russell:
ISESS '93 A Reality Check. SEKE 1993: 637-640 - Raymond A. Paul:
Software Maturity Measurement for Software Risk Management. SEKE 1993: 641-648
SE & KE Process Issues
- Chunye Li, Setsuo Ohsuga:
A Meta Knowledge Structure for Program Development Support. SEKE 1993: 649-656 - Willem Jonker, Bob Goedhart:
KBS Development: From Design Models to Implementations. SEKE 1993: 657-664 - William C. Sasso, Michael DeBellis:
Plan-Based Guidance for Knowledge-Based Software Engineering. SEKE 1993: 665-672 - Charles R. Kirklen, Murat M. Tanik:
Software Engineering Disciplines in the Visual Era. SEKE 1993: 673-680
Diversity in Formal Methods
- Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng:
An Integrated Development Environment for Formal Specifications. SEKE 1993: 681-688 - Jianxin Li:
Transforming Postconditions To Aid Program Development. SEKE 1993: 689-694 - Shiyuan Ding, Takuya Katayama:
Attributed State Machines For Behavior Specification of Reactive Systems. SEKE 1993: 695-702 - Yamine Aït Ameur:
Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. SEKE 1993: 703-710
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-29 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
