Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/seke/seke1996.bht:"
@inproceedings{DBLP:conf/seke/AdamsW96, author = {Rolf Adams and Hans Weigand}, title = {Generating Natural Language Interfaces for Terminological Knowledge Representation Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {585--594}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 17:19:18 +0100}, biburl = {https://dblp.org/rec/conf/seke/AdamsW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/AgyapongB96, author = {Owusu{-}Ansah Agyapong and Patrick O. Bobbie}, title = {Eliciting Domain Knowledge for Decision Support: {A} Case Study in the Criminal Justice System}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {129--135}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/AgyapongB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/AllouiO96, author = {Ilham Alloui and Fl{\'{a}}vio Oquendo}, title = {Peace+: {A} Multi-Agent System for Computer-supported Cooperative work in Software Process Centered Environments}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {465--473}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/AllouiO96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Balmas96, author = {Francoise Balmas}, title = {{ACL:} a Tool for Conceptual Programming}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {198--205}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Balmas96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Balmas96a, author = {Francoise Balmas}, title = {{PRISME:} Formalizing Programming Strategies as a Way to Understand Programs}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {361--368}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Balmas96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/BerraYLY96, author = {P. Bruce Berra and Seong{-}Joon Yoo and Yong Kyu Lee and Kyoungro Yoon}, title = {Version Management in Structured Document Retrieval Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {537--544}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/BerraYLY96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Berzins96, author = {Valdis Berzins}, title = {Recombining Changes to Software Specifications}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {136--144}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Berzins96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/BurnsteinMRST96, author = {Ilene Burnstein and Abdul Mirza and Katherine Roberson and Floyd Saner and Abdallah Tubaishat}, title = {Knowledge Engineering for Automated Program Recognition and Fault Localization}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {85--91}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/BurnsteinMRST96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CanforaCL96, author = {Gerardo Canfora and Aniello Cimitile and Giuseppe A. Di Lucca}, title = {Recovering a Conceptual Data Model from {COBOL} Code}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {277--284}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CanforaCL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CanforaLM96, author = {Gerardo Canfora and Andrea De Lucia and Malcolm Munro}, title = {An Integrated Environment for Reuse Reengineering {C} Code}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {214--221}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CanforaLM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Carver96, author = {Doris L. Carver}, title = {Reverse Engineering Procedural Code for Object Recovery}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {442--449}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Carver96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChandraR96, author = {Charu Chandra and C. V. Ramamoorthy}, title = {An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {181--188}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Tue, 22 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/ChandraR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChangDC96, author = {Elizabeth Chang and Tharam S. Dillon and D. Cook}, title = {Measurement of Usability of Software Using a Fuzzy Systems Approach}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {69--76}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Wed, 16 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ChangDC96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChangM96, author = {Shi{-}Kuo Chang and Piero Mussio}, title = {Customized Visual Language Design}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {553--562}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ChangM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChangW96, author = {Chia{-}Yo Chang and Jason Tsong{-}Li Wang}, title = {Scientific Data Mining: {A} Case Study}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {100--107}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ChangW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChangWCCWA96, author = {George Jyh{-}Shian Chang and Jason Tsong{-}Li Wang and Gung{-}Wei Chirn and Chia{-}Yo Chang and Weihong Wu and Firas Aljallad}, title = {A Visualization Tool for Pattern Matching and Discovery in Scientific Databases}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {563--570}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ChangWCCWA96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CheeJR96, author = {Chye{-}Lin Chee and Stan Jarzabek and C. V. Ramamoorthy}, title = {An Intelligent Process for Formulating and Anwering Project Queries}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {309--316}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CheeJR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ChenKPS96, author = {Xin Chen and Simon Kendal and I. Potts and Peter Smith}, title = {The Development of Hybrid Information Systems: a Process Model an Methodology}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {51--58}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Fri, 20 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/ChenKPS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CiancariniCM96, author = {Paolo Ciancarini and Stelvio Cimato and Cecilia Mascolo}, title = {Engineering Formal Requirements: Analysis and Testing}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {385--392}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CiancariniCM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CleavelandLLS96, author = {Rance Cleaveland and Insup Lee and Philip M. Lewis and Scott A. Smolka}, title = {A Theory of Testing for Soft Real-Time Processes}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {474--479}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CleavelandLLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CorellaK96, author = {Francisco Corella and Michelle Kim}, title = {Expertsheets: {A} Spreadsheet Paradigm for Authoring Expert Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {25--31}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CorellaK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CostaPF96, author = {Evandro de Barros Costa and Angelo Perkusich and Jorge C. A. de Figueiredo}, title = {A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {253--260}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CostaPF96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/CutilloV96, author = {F. Cutillo and Giuseppe Visaggio}, title = {Managing a Software System and Keeping it Internally Consistent During its Evolution}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {230--237}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/CutilloV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Debenham96, author = {John K. Debenham}, title = {Reduction of a Knowledge Model}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {45--50}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Debenham96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DengDAE96, author = {Yi Deng and Wenliang Du and Paul C. Attie and Michael Evangelist}, title = {A Formalism for Architectural Modeling of Distributed Real-Time Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {408--417}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/DengDAE96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/FoxBM96, author = {Richard Fox and Christian Bilke and James Mendoza}, title = {Automating the Debugging Process of Pascal Syntax Errors}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {92--99}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/FoxBM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/FoxvogT96, author = {Douglas Foxvog and Tapio Taipale}, title = {Variable Depth Resolution for Intelligent Real-Time Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {400--407}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/FoxvogT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Franca96, author = {Paulo Bianchi Franca}, title = {The Design of a Class Library to Support Teaching of Object Oriented Programming with {C++}}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {32--37}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Franca96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Garg96, author = {Vijay K. Garg}, title = {Observation of Global Properties in Distributed Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {418--425}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Garg96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Gates96, author = {Ann Q. Gates}, title = {On Defining a Class of Integrity Constraints}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {338--344}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Gates96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Gentleman96, author = {W. Morven Gentleman}, title = {Challenges in Deploying Software: Rollout, Field Support, Upgrades}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {426--433}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Gentleman96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/GillerHT96, author = {Verena Giller and G{\"{u}}nter Haring and Manfred Tscheligi}, title = {Scriptless Behaviour Definition of Visual Objects}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {499--505}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/GillerHT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/GokhaleMT96, author = {Swapna S. Gokhale and Peter N. Marinos and Kishor S. Trivedi}, title = {Important Milestones in Software Reliability Modeling}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {345--352}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/GokhaleMT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/GuilfoyleHSB96, author = {Peter S. Guilfoyle and John M. Hessenbruch and Richard V. Stone and P. Bruce Berra}, title = {Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {571--576}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/GuilfoyleHSB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Hassanein96, author = {Ehab Hassanein}, title = {Class Hierarchy Management System}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {38--44}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Hassanein96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HsiaLK96, author = {Pei Hsia and Xiaolin Li and David Chenho Kung}, title = {An Early Warning Approach for Method Sequence Testing}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {330--337}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/HsiaLK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HuangTS96, author = {Hai Huang and Wei{-}Tek Tsai and Satish Subramanian}, title = {Generalized Program Slicing for Software Maintenance}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {261--268}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 03 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/HuangTS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Hurley96, author = {W. David Hurley}, title = {Identifying Language Requirements for Specifying Industrial-Strength Software Agents}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {238--245}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Hurley96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/HwangCWS96, author = {Soochan Hwang and Sang{-}Young Cho and Taehyung Wang and Phillip C.{-}Y. Sheu}, title = {A Fast 3-D Visualization Methodology Using Characteristic Views of Objects}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {577--584}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/HwangCWS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/IzumiK96, author = {Naoko Izumi and Takuya Katayama}, title = {An Object Logic for Object Base Capable of Version Management}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {171--180}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/IzumiK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/JamoussiB96, author = {Anouar Jamoussi and Farokh B. Bastani}, title = {Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions"}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {17--24}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/JamoussiB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/KangB96, author = {Byung{-}Kyoo Kang and James M. Bieman}, title = {Using Design Cohesion to Visualize, Quantify, and Restructure Software}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {222--229}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/KangB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/KarallB96, author = {Oliver Karall and Stefan Biffl}, title = {Case Study: EasyCODE - {A} Language Independent Visualization Tool for Reengineering}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {353--360}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/KarallB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Kim96, author = {K. H. Kim}, title = {Towards Designing RTO.k Structured Server Objects with Service Time Guarantee}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {522--528}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Kim96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/KimSK96, author = {Han Gyoo Kim and Young{-}Chul Shim and Moon{-}hae Kim}, title = {Relationship Between Communication Capability and Goal Achievement in System of Agents}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {246--252}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/KimSK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/KnollSS96, author = {Heinz{-}Dieter Kn{\"{o}}ll and Thomas Slotos and Wolfgang Suk}, title = {Quality Assurance of Specification - The Users Point of View}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {450--456}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/KnollSS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/KramerK96, author = {Bernd J. Kr{\"{a}}mer and Thomas Koch}, title = {Knowledge-Based Support for Distributed Systems Management}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {480--487}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Fri, 27 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/KramerK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LawM96, author = {Chun Hung Roberts Law and R. Brien Maguire}, title = {Debugging of Object-Oriented Software}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {77--84}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 28 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/LawM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LiaoCSC96, author = {Shih{-}Sung Liao and Kai H. Chang and Stephen B. Seidman and Chun{-}Yu Chen}, title = {Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {9--16}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/LiaoCSC96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Liu96, author = {Xiaoqing Frank Liu}, title = {A Quantitative Approach for Assessing the Priorities of Software Quality Requirements}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {377--384}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Liu96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/LongMRW96, author = {Darrell D. E. Long and Patrick E. Mantey and Eric C. Rosen and Craig M. Wittenbrink}, title = {{REINAS:} {A} Real-time System for Managing Environmental Data}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {293--300}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/LongMRW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Luqi96, author = {Luqi}, title = {Specifications in Software Prototyping}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {189--197}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Luqi96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/MagelZ96, author = {Kenneth I. Magel and Ping Zhong}, title = {Data Structure Coverage Testing}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {1--8}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/MagelZ96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Menzies96, author = {Tim Menzies}, title = {Visual Programming, Knowledge Engineering, and Software Engineering}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {506--513}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Menzies96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/MillsG96, author = {Kevin L. Mills and Hassan Gomaa}, title = {A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {529--536}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/MillsG96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/MittermeirW96, author = {Roland T. Mittermeir and Lydia G. W{\"{u}}rfl}, title = {Greedy Reuse: Architectural Considerations for Extending the Reusability of Components}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {434--441}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 27 Apr 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/MittermeirW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/MonteroS96, author = {Luis Montero and Colin T. Scott}, title = {The Role of Knowledge Acquisition in Component Based System Construction}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {161--170}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/MonteroS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/OrjiN96, author = {Cyril U. Orji and Kingsley C. Nwosu}, title = {Data Layout for Interactive Video-on-Demand Storage Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {285--292}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/OrjiN96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/PaulKGDS96, author = {Raymond A. Paul and Azam Khan and Arif Ghafoor and Young Francis Day and Yoshihisa Shinagawa}, title = {A Visual Query Interface for Software Metrics Databases}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {317--322}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/PaulKGDS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/PrakashS96, author = {Ravi Prakash and Mukesh Singhal}, title = {A Dynamic Apporach Towards Location Management in Mobile Computing Systems}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {488--495}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Wed, 22 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/PrakashS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/RigoutsosD96, author = {Isidore Rigoutsos and Alex Delis}, title = {The Impact of Hashing Function Choice on the Load Balancing in Very Large Dartasets}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {301--308}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/RigoutsosD96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Robertson96, author = {David Stuart Robertson}, title = {An Empirical Study of the {LSS} Specification Toolkit in Use}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {153--160}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Tue, 13 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/Robertson96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Robertson96a, author = {David Robertson}, title = {Domain Specific Problem Description}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {206--213}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Robertson96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/RoscaW96, author = {Daniela Rosca and J. Christian Wild}, title = {Business Rules in the Real World: {A} Decision Support Approach}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {121--128}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/RoscaW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Shin96, author = {Dong{-}Keun Shin}, title = {The Theory of Massive Cross-Referencing}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {454--552}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Shin96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SimmonsEK96, author = {Dick B. Simmons and Newton C. Ellis and Way Kuo}, title = {Software Process Agents}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {323--329}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SimmonsEK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SlivaMS96, author = {Vladimir P. Sliva and Tadao Murata and Sol M. Shatz}, title = {A Method for Applying G-Nets To Communication Protocols}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {145--152}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SlivaMS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Starks96, author = {Scott A. Starks}, title = {Development of a Software Architecture for the Analysis of Geographic and Image-Based Data}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {116--120}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Starks96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SunM96, author = {Aggie Y. Sun and Bruce M. McMillin}, title = {Wheels: An Automated Program Analysis Tool}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {269--276}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SunM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/VerlageDMM96, author = {Martin Verlage and Barbara Dellen and Frank Maurer and J{\"{u}}rgen M{\"{u}}nch}, title = {A Synthesis of Two Process Support Approaches}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {59--68}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/VerlageDMM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/WangTCR96, author = {Yamin Wang and Wei{-}Tek Tsai and Xiaoping Chen and Sanjai Rayadurgam}, title = {The Role of Program Slicing in Ripple Effect Analysis}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {369--376}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/WangTCR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/XuZ96, author = {Jiafu Xu and Hong Zhu}, title = {Requirements Analysis and Specification as a Problem of Software Automation}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {457--464}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Mon, 04 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/XuZ96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/YoonH96, author = {Suk{-}Chung Yoon and Lawrence J. Henschen}, title = {Finding Interesting Knowledge in Object-Oriented Frameworks for Semantic Query Optimization}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {108--115}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/YoonH96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Zadrozny96, author = {Wlodek Zadrozny}, title = {Natural Language Processing: Structure and Complexity}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {595--602}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Zadrozny96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZengTW96, author = {Ziaomu Zeng and Jeffrey J. P. Tsai and Thomas J. Weigert}, title = {Verification Criterion Directed Testing for Formal Specifications}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {393--399}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/ZengTW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/ZhangZ96, author = {Kang Zhang and Da{-}Qian Zhang}, title = {Developing Visual Languages Through an Evolving Method}, booktitle = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, pages = {514--521}, publisher = {Knowledge Systems Institute}, year = {1996}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/ZhangZ96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/seke/1996, title = {The 8th International Conference on Software Engineering and Knowledge Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996}, publisher = {Knowledge Systems Institute}, year = {1996}, isbn = {0-9641699-3-2}, timestamp = {Thu, 04 Dec 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.