Search dblp for Publications

export results for "toc:db/conf/seke/seke1992.bht:"

 download as .bib file

@inproceedings{DBLP:conf/seke/AbateDNP92,
  author       = {Andrea F. Abate and
                  C. D'apolito and
                  Giancarlo Nota and
                  Giuliano Pacini},
  title        = {Querying and Analysis of Software Specifications},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {470--478},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227915},
  doi          = {10.1109/SEKE.1992.227915},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/AbateDNP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AkhrasM92,
  author       = {Fabio N. Akhras and
                  S. S. S. Melnikoff},
  title        = {Towards Dynamic Generation of Knowledge-Based Environments for Software
                  Process Assistance},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {79--86},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227944},
  doi          = {10.1109/SEKE.1992.227944},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/AkhrasM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AlcarazNHB92,
  author       = {Francisco Alcaraz and
                  Marlon N{\'{u}}{\~{n}}ez and
                  Alberto Hern{\'{a}}ndez and
                  Jos{\'{e}} L. Blazquez},
  title        = {Two Real-Time Expert Systems for Monitoring and Maintenance of Digital
                  Exchanges},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {364--369},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227967},
  doi          = {10.1109/SEKE.1992.227967},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/AlcarazNHB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Ameur92,
  author       = {Yamine A{\"{\i}}t Ameur},
  title        = {Formal Program Developments Directed by Operational Properties Evaluation},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227955},
  doi          = {10.1109/SEKE.1992.227955},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Ameur92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Antoniou92,
  author       = {Grigoris Antoniou},
  title        = {Modularity for Logical Knowledge Bases},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {87--93},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227943},
  doi          = {10.1109/SEKE.1992.227943},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Antoniou92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AquilinoAI92,
  author       = {Domenico Aquilino and
                  Patrizia Asirelli and
                  Paola Inverardi},
  title        = {Prototyping in the {GEDBLOG} System},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {194--199},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227929},
  doi          = {10.1109/SEKE.1992.227929},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/AquilinoAI92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArmeniseBGM92,
  author       = {Pasquale Armenise and
                  Sergio Bandinelli and
                  Carlo Ghezzi and
                  Angelo Morzenti},
  title        = {Software Processes Representation Languages: Survey and Assessment},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {455--462},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227957},
  doi          = {10.1109/SEKE.1992.227957},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ArmeniseBGM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArndtG92,
  author       = {Timothy Arndt and
                  Angela Guercio},
  title        = {Decomposition of Data Flow Diagrams},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {560--566},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227904},
  doi          = {10.1109/SEKE.1992.227904},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ArndtG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AvellisB92,
  author       = {Giovanna Avellis and
                  L. Borzacchini},
  title        = {A Blackboard Model to Design Integrated Intelligent Software Maintenance
                  Environment},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {325--332},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227972},
  doi          = {10.1109/SEKE.1992.227972},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/AvellisB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Bendix92,
  author       = {Lars Bendix},
  title        = {Automatic Configuration Management in a General Object-Based Environment},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {186--193},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227930},
  doi          = {10.1109/SEKE.1992.227930},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Bendix92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Bertolotti92,
  author       = {Emilio Bertolotti},
  title        = {Opportunistic Production Planning Through Interactive Problem Solving},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {404--411},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227962},
  doi          = {10.1109/SEKE.1992.227962},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Bertolotti92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Berztiss92,
  author       = {Alfs T. Berztiss},
  title        = {Operational Construction of Integrity Constraints},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {487--494},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227913},
  doi          = {10.1109/SEKE.1992.227913},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Berztiss92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Blum92,
  author       = {Bruce I. Blum},
  title        = {TEDIUM's Window into Design},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {200--205},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227928},
  doi          = {10.1109/SEKE.1992.227928},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Blum92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BrunoMG92,
  author       = {Giorgio Bruno and
                  Gianpaolo Macario and
                  Alvise Grammatica},
  title        = {A Software Engineering Environment for Modeling and Developing Knowledge-Intensive
                  Systems},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {519--533},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227909},
  doi          = {10.1109/SEKE.1992.227909},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/BrunoMG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CaporasoRFMP92,
  author       = {C. Caporaso and
                  G. De Rosa and
                  G. Fortunato and
                  F. A. Marra and
                  A. Pierri},
  title        = {{CASE} Approach in Telecom Software Development},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {443--454},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227958},
  doi          = {10.1109/SEKE.1992.227958},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/CaporasoRFMP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChanH92,
  author       = {Tak{-}Wai Chan and
                  Wei{-}Ren Hwang},
  title        = {Towards Integrating Logic, Object, Frame, and Production},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {463--469},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227916},
  doi          = {10.1109/SEKE.1992.227916},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ChanH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Chen92,
  author       = {Ziqiang Chen},
  title        = {Uncertain Temporal Knowledge Management},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {94--100},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227942},
  doi          = {10.1109/SEKE.1992.227942},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Chen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChunH92,
  author       = {Jonghoon Chun and
                  Lawrence J. Henschen},
  title        = {Compiling Rules and Queries in Knowledge Base Systems: {A} Substitution-Based
                  Approach},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {109--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227940},
  doi          = {10.1109/SEKE.1992.227940},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ChunH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChungL92,
  author       = {Chi{-}Ming Chung and
                  Ming{-}Chi Lee},
  title        = {Object-Oriented Programming Testing Methodology},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {378--385},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227965},
  doi          = {10.1109/SEKE.1992.227965},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ChungL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Cimitile92,
  author       = {Aniello Cimitile},
  title        = {Towards Reuse Reengineering of Old Software},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {140--149},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227936},
  doi          = {10.1109/SEKE.1992.227936},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Cimitile92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CookeG92,
  author       = {Daniel E. Cooke and
                  Aida Gutierrez},
  title        = {An Introduction to BagL},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {479--486},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227914},
  doi          = {10.1109/SEKE.1992.227914},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/CookeG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DengC92,
  author       = {Yi Deng and
                  Shi{-}Kuo Chang},
  title        = {Unifying Multi-Paradigms in Software System Design},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {386--393},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227964},
  doi          = {10.1109/SEKE.1992.227964},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/DengC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DoyleV92,
  author       = {P. Doyle and
                  R. Verbruggen},
  title        = {Applying Metrics to Rule-Based Systems},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {123--130},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227938},
  doi          = {10.1109/SEKE.1992.227938},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/DoyleV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Eichmann92,
  author       = {David Eichmann},
  title        = {Supporting Multiple Domains in a Single Reuse Repository},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {164--169},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227933},
  doi          = {10.1109/SEKE.1992.227933},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Eichmann92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FlautoM92,
  author       = {Pasquale Flauto and
                  Salvatore Musella},
  title        = {Quality Control Within an Expert System Prototype Development},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {435--442},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227959},
  doi          = {10.1109/SEKE.1992.227959},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/FlautoM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HacL92,
  author       = {Anna Hac and
                  Raghavendra Rao Loka},
  title        = {A Distributed Load Building Algorithm for Parallel Compilation of
                  Files in a Software Application},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {269--275},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227919},
  doi          = {10.1109/SEKE.1992.227919},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/HacL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HaoTJ92,
  author       = {Jin{-}Kao Hao and
                  F. Trousset and
                  Jean Jacques},
  title        = {Prototyping an Inconsistency Checking Tool for Software Process Models},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {227--234},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227924},
  doi          = {10.1109/SEKE.1992.227924},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/HaoTJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HarandiL92,
  author       = {Mehdi T. Harandi and
                  Hing{-}Yan Lee},
  title        = {A Support Envimnment for Knowledge-Based Software Design},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {71--79},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227945},
  doi          = {10.1109/SEKE.1992.227945},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/HarandiL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Hayes-RothETH92,
  author       = {Frederick Hayes{-}Roth and
                  Lee D. Erman and
                  Allan Terry and
                  Barbara Hayes{-}Roth},
  title        = {Distributed Intelligent Control and Management: Concepts, Methods
                  and Tools for Developing {DICAM} Applications},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {235--244},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227923},
  doi          = {10.1109/SEKE.1992.227923},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Hayes-RothETH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HazeyamaK92,
  author       = {Atsuo Hazeyama and
                  Seiichi Komiya},
  title        = {A Process Model for Software Process Management},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {582--589},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227901},
  doi          = {10.1109/SEKE.1992.227901},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/HazeyamaK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HofstedeVNW92,
  author       = {Arthur H. M. ter Hofstede and
                  T. F. Verhoef and
                  E. R. Nieuwland and
                  G. M. Wijers},
  title        = {Integrated Specification of Method and Graphic Knowledge},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {307--316},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227974},
  doi          = {10.1109/SEKE.1992.227974},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/HofstedeVNW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Huai92,
  author       = {Jinpeng Huai},
  title        = {A Knowledge Base Management System on Relation Model and Term Rewriting},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {102--108},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227941},
  doi          = {10.1109/SEKE.1992.227941},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Huai92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HuangSM92,
  author       = {Hai Huang and
                  Kazuo Sugihara and
                  Isao Miyamoto},
  title        = {A Rule-Based Tool for Reverse Engineering from Source Code to Graphical
                  Models},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {178--185},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227931},
  doi          = {10.1109/SEKE.1992.227931},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/HuangSM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Hwang92,
  author       = {Gwo{-}Jen Hwang},
  title        = {Knowledge Acquisition and Validation for Implicit Expertise},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {32--39},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227950},
  doi          = {10.1109/SEKE.1992.227950},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Hwang92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/JaccheriLC92,
  author       = {Letizia Jaccheri and
                  Jens{-}Otto Larsen and
                  Reidar Conradi},
  title        = {Software Process Modeling and Evolution in {EPOS}},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {574--581},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227902},
  doi          = {10.1109/SEKE.1992.227902},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/JaccheriLC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/JacquesSGL92,
  author       = {Michael St. Jacques and
                  Delano Stevens and
                  J. Getchius and
                  L. Lau},
  title        = {A Knowledge-Based Method for Engineering Navigational Capability into
                  User Interface Software},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {26--31},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227951},
  doi          = {10.1109/SEKE.1992.227951},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/JacquesSGL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KaoH92,
  author       = {Jung{-}Hong Kao and
                  Lawrence J. Henschen},
  title        = {A Graph Proof Procedure for Real Time Logic},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {300--306},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227975},
  doi          = {10.1109/SEKE.1992.227975},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/KaoH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KarssenT92,
  author       = {Zeger Karssen and
                  Catherine Toussaint},
  title        = {A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {55--62},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227947},
  doi          = {10.1109/SEKE.1992.227947},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/KarssenT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KimH92,
  author       = {K. Kim and
                  Lawrence J. Henschen},
  title        = {Network-Based Simple Recursive Answer Evaluation for Deductive Databases
                  in Parallel Environment},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {63--70},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227946},
  doi          = {10.1109/SEKE.1992.227946},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/KimH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KraiemB92,
  author       = {Naoufel Kra{\"{\i}}em and
                  Jo{\"{e}}l Brunet},
  title        = {Mapping of Conceptual Specifications into Object-Oriented Programs},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {624--639},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227907},
  doi          = {10.1109/SEKE.1992.227907},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/KraiemB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LanubileV92,
  author       = {Filippo Lanubile and
                  Giuseppe Visaggio},
  title        = {Maintainability via Structure Models and Software Metrics},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {590--599},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227900},
  doi          = {10.1109/SEKE.1992.227900},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LanubileV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiKL92,
  author       = {H. Li and
                  Jan van Katwijk and
                  A. M. Levy},
  title        = {The Reuse of Software Design and Software Architecture},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {170--177},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227932},
  doi          = {10.1109/SEKE.1992.227932},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LiKL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiS92,
  author       = {Xiaofeng Li and
                  O. Shigo},
  title        = {A Simulation-Based {SDL} Support System},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {284--291},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227917},
  doi          = {10.1109/SEKE.1992.227917},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LiS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiuTK92,
  author       = {Junbo Liu and
                  Owen Traynor and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Knowledge-Based Transfonnational Programming},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {632--639},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227953},
  doi          = {10.1109/SEKE.1992.227953},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LiuTK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LoiaCQ92,
  author       = {Vincenzo Loia and
                  Giuseppe Cattaneo and
                  Michel Quaggetto},
  title        = {Incremental, High Level Implementation of Prolog in an Open System
                  Framework},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {394--403},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227963},
  doi          = {10.1109/SEKE.1992.227963},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LoiaCQ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LuciaINTT92,
  author       = {Andrea De Lucia and
                  A. Imperatore and
                  Margherita Napoli and
                  Genny Tortora and
                  Maurizio Tucci},
  title        = {The Software Development Workbench {WSDW}},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {213--221},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227926},
  doi          = {10.1109/SEKE.1992.227926},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LuciaINTT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LudewigBDSS92,
  author       = {Jochen Ludewig and
                  Thomas Bassler and
                  Marcus Deininger and
                  Kurt Schneider and
                  J{\"{u}}rgen Schwille},
  title        = {{SESAM} - Simulating Software Projects},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {608--615},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227898},
  doi          = {10.1109/SEKE.1992.227898},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LudewigBDSS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LynchC92,
  author       = {Patricia A. Lynch and
                  Thomas A. Cooper},
  title        = {The {SEAR} Tool Suite: {CASE} for Expert System Development in {OPSS}},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {545--550},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227906},
  doi          = {10.1109/SEKE.1992.227906},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/LynchC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Macchini92,
  author       = {B. Macchini},
  title        = {Reusing Software with {ESTRO} (Evolving Software Repository)},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {150--157},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227935},
  doi          = {10.1109/SEKE.1992.227935},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Macchini92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Maim92,
  author       = {Enrico Maim},
  title        = {Recognizing Objects from Constraints},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {47--54},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227948},
  doi          = {10.1109/SEKE.1992.227948},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Maim92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/MillerQ92,
  author       = {Lawrence Miller and
                  Alex Quilici},
  title        = {A Knowledge-Based Approach to Encouraging Reuse of Simulation and
                  Modeling Programs},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {158--163},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227934},
  doi          = {10.1109/SEKE.1992.227934},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/MillerQ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Olson92,
  author       = {Andrew M. Olson},
  title        = {An Object-Oriented Analysis Model of an Iconic Interface to Macsyma},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {253--260},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227921},
  doi          = {10.1109/SEKE.1992.227921},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Olson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Parisi-PresicceP92,
  author       = {Francesco Parisi{-}Presicce and
                  Alfonso Pierantonio},
  title        = {System Design as Derivation via Rewriting},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {317--324},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227973},
  doi          = {10.1109/SEKE.1992.227973},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Parisi-PresicceP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Rauterberg92,
  author       = {Matthias Rauterberg},
  title        = {An Iterative-Cyclic Software Process Model},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {600--607},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227899},
  doi          = {10.1109/SEKE.1992.227899},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Rauterberg92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Reif92,
  author       = {Wolfgang Reif},
  title        = {Correctness of Full First-Order Specifications},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {276--283},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227918},
  doi          = {10.1109/SEKE.1992.227918},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Reif92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ReynoldsMZ92,
  author       = {Robert G. Reynolds and
                  Jonathan I. Maletic and
                  Elena Zannoni},
  title        = {Extracting Procedural Knowledge from Software Systems Using Inductive
                  Leaning in the {PM} system},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {131--139},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227937},
  doi          = {10.1109/SEKE.1992.227937},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ReynoldsMZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SatoH92,
  author       = {Masakazu Sato and
                  Masaaki Hashimoto},
  title        = {A Constraint Satisfaction System on the Entity and Relationship Model},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {503--510},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227911},
  doi          = {10.1109/SEKE.1992.227911},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SatoH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SatoMI92,
  author       = {Yasuomi Sato and
                  Yasuhiko Morimoto and
                  Tadao Ichikawa},
  title        = {Program Refinement Using Generic Object},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {18--25},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227952},
  doi          = {10.1109/SEKE.1992.227952},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SatoMI92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Schaschinger92,
  author       = {Harald Schaschinger},
  title        = {Expert-Supported Object-Oriented Analysis in Knowledge Engineering},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {116--122},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227939},
  doi          = {10.1109/SEKE.1992.227939},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Schaschinger92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Semmel92,
  author       = {Ralph D. Semmel},
  title        = {An Integrated System for Query Formulation and Database Design},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {40--46},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227949},
  doi          = {10.1109/SEKE.1992.227949},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Semmel92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ShimuraLM92,
  author       = {Teruhiro Shimura and
                  Jorge Lobo and
                  Tadao Murata},
  title        = {A Petri Net Semantics for Logic Programs with Negation},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {292--299},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227976},
  doi          = {10.1109/SEKE.1992.227976},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ShimuraLM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SohnGG92,
  author       = {Andrea Sohn and
                  Jean{-}Luc Gaudiot and
                  Michel Guyot},
  title        = {Parallelism Profiling of an Ops5 Production System Interpreter},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {534--543},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227908},
  doi          = {10.1109/SEKE.1992.227908},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SohnGG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SotiropoulouP92,
  author       = {V. V. Sotiropoulou and
                  Theodore S. Papatheodorou},
  title        = {A Case Study of Knowledge Engineering in the Application Area of Elliptic
                  Partial Differential Equations (PDE's)},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {261--268},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227920},
  doi          = {10.1109/SEKE.1992.227920},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SotiropoulouP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/StamperTM92,
  author       = {Richard Stamper and
                  Bryan S. Todd and
                  P. M. MacPherson},
  title        = {A Software Engineering Approach to the Design of a Medical Expert
                  System},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {341--348},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227970},
  doi          = {10.1109/SEKE.1992.227970},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/StamperTM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SubramaniamTHRR92,
  author       = {Shankar Subramaniam and
                  David K. Tcheng and
                  K. Hu and
                  Harish Ragavan and
                  Larry A. Rendell},
  title        = {Knowledge Engineering for Protein Structure and Motifs: Design of
                  a Prototype System},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {420--435},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227960},
  doi          = {10.1109/SEKE.1992.227960},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SubramaniamTHRR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SugiharaYM92,
  author       = {Kazuo Sugihara and
                  Kazunari Yamamoto and
                  Isao Miyamoto},
  title        = {Automatic Layout of Diagrams for Software Specification},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {245--252},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227922},
  doi          = {10.1109/SEKE.1992.227922},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SugiharaYM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SunGAT92,
  author       = {Wei Sun and
                  Sha Guo and
                  Farah Arafi and
                  Shengru Tu},
  title        = {Supporting Inheritance in Relational Database Systems},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {511--518},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227910},
  doi          = {10.1109/SEKE.1992.227910},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/SunGAT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/TaT92,
  author       = {K. P. Ta and
                  T. C. Tan},
  title        = {Layout Algorithms for {DFD} Processors},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {567--573},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227903},
  doi          = {10.1109/SEKE.1992.227903},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/TaT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/TakedaCM92,
  author       = {Koji Takeda and
                  David N. Chin and
                  Isao Miyamoto},
  title        = {{MERA:} Meta Language for Software Engineering},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {495--502},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227912},
  doi          = {10.1109/SEKE.1992.227912},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/TakedaCM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Tervonen92,
  author       = {Ilkka Tervonen},
  title        = {Quality-Driven Validation: {A} Link Between Four Research Traditions},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {370--377},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227966},
  doi          = {10.1109/SEKE.1992.227966},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Tervonen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ToddS92,
  author       = {Bryan S. Todd and
                  Richard Stamper},
  title        = {Formal Specification of a Rule-Based Expert System},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {333--340},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227971},
  doi          = {10.1109/SEKE.1992.227971},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ToddS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/TuS92,
  author       = {Shengru Tu and
                  Wei Sun},
  title        = {Linear Programming Supporting Ada-Tasking Static Analysis: {A} Petri
                  Net Approach},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {222--226},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227925},
  doi          = {10.1109/SEKE.1992.227925},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/TuS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/VranesS92,
  author       = {Sanja Vranes and
                  Mladen Stanojevic},
  title        = {Multiparadigm Blackboard Framework},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {101},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  timestamp    = {Mon, 07 May 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/VranesS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Wagner92,
  author       = {Johann Wagner},
  title        = {The Renaissance of {CASE} Through Computer Aided Reverse Engineering
                  {(CARE)}},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {551--559},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227905},
  doi          = {10.1109/SEKE.1992.227905},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Wagner92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangG92,
  author       = {Shiwei Wang and
                  Ugo O. Gagliardi},
  title        = {An Optomized Concurrency Control Algorithm for Transaction Brocessing},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {9--16},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227954},
  doi          = {10.1109/SEKE.1992.227954},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/WangG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WatsonBB92,
  author       = {Ian Watson and
                  Peter Brandon and
                  Andrew Basden},
  title        = {The Development of a Knowledge-Based System for Predicting Strategic
                  Building Maintenance},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {356--363},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227968},
  doi          = {10.1109/SEKE.1992.227968},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/WatsonBB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WatsonN92,
  author       = {Ian Watson and
                  Margaret Norman},
  title        = {ProTest: {A} Knowledge Analysis Tool for the Development of Expert
                  Systems},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {206--212},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227927},
  doi          = {10.1109/SEKE.1992.227927},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/WatsonN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WeissS92,
  author       = {Michael Weiss and
                  Franz Stetter},
  title        = {A Hierarchical Blackboard Architecture for Distributed {AI} Systems},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {349--355},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227969},
  doi          = {10.1109/SEKE.1992.227969},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/WeissS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Wong92,
  author       = {Yu Chung Wong},
  title        = {Using Version Spaces to Support Incremental Searches in a Software
                  Library},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {412--419},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227961},
  doi          = {10.1109/SEKE.1992.227961},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/Wong92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhangWG92,
  author       = {Wen{-}Ran Zhang and
                  Wenhua Wang and
                  Angela Guercio},
  title        = {An Open System Protocol for Agent-Oriented Programming},
  booktitle    = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  pages        = {616--623},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SEKE.1992.227897},
  doi          = {10.1109/SEKE.1992.227897},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ZhangWG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seke/1992,
  title        = {SEKE'92, The 4th International Conference on Software Engineering
                  and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/413/proceeding},
  isbn         = {0-8186-2830-8},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics