Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/seke/seke1994.bht:"
download as .bib file
@inproceedings{DBLP:conf/seke/AbbattistaLV94,
author = {Fabio Abbattista and
Filippo Lanubile and
Giuseppe Visaggio},
title = {Open architecture for a process-centered development environment},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {405--413},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/seke/AbbattistaLV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Abd-El-HafizB94,
author = {Salwa K. Abd{-}El{-}Hafiz and
Victor R. Basili},
title = {A tool for assisting the understanding and formal development of software},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {36--45},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Abd-El-HafizB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AbranDMMS94,
author = {Alain Abran and
Jean{-}Marc Desharnais and
Dirk Meyerhoff and
Monika M{\"{u}}llerburg and
Denis St{-}Pierre},
title = {Structured hypertext for using and learning function point analysis},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {164--171},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Thu, 27 May 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/AbranDMMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Alexander94,
author = {Perry Alexander},
title = {Combining transformational and derivational analogy in Larch specification
generation},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {131--138},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Alexander94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArfaFMMS94,
author = {Latifa Ben Arfa Rabai and
Marc Frappier and
Rym Mili and
Ali Mili and
Douglas R. Skuce},
title = {A process for verification based inspections},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {100--107},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ArfaFMMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ArndtGPT94,
author = {Timothy Arndt and
Angela Guercio and
Giuliano Pacini and
Genny Tortora},
title = {Symbolic execution of logic programs},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {414--421},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ArndtGPT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AtchanE94,
author = {Hany M. Atchan and
Gordon C. Everest},
title = {An experiment in eliminating the separation between data, functional,
and behavioral models during requirements specification},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {2--9},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/AtchanE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Auguston94,
author = {Mikhail Auguston},
title = {A language for debugging automation},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {108--115},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Auguston94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AzemB94,
author = {Alireza Azem and
Fevzi Belli},
title = {Reliability determination of Prolog programs},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {422--429},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/AzemB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BadrL94,
author = {Salah Badr and
Luqi},
title = {Automation support for concurrent software engineering},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {46--53},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/BadrL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BarzdinsKPEAKKR94,
author = {Janis Barzdins and
Audris Kalnins and
Karlis Podnieks and
Ilona Etmane and
Andrejs J. Auzins and
A. Kalis and
P. Krastins and
S. Rozenfelds},
title = {{GRADE} Windows: an integrated {CASE} tool for information system
development},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {54--61},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/BarzdinsKPEAKKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BelliJ94,
author = {Fevzi Belli and
Oliver Jack},
title = {A test environment for Prolog},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {430--437},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/BelliJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Berzins94,
author = {Valdis Berzins},
title = {Software merge: models and properties},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {225--232},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Berzins94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BreretonS94,
author = {Pearl Brereton and
Paul Singleton},
title = {A deductive infrastructure for exploratory software evolution},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {62--69},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/BreretonS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CairoGB94,
author = {Osvaldo Cair{\'{o}} and
Silvia Guardati and
Tomhs Boom},
title = {A formal methodology for acquiring and representing knowledge from
multiple experts},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {281--288},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/CairoGB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CanforaLT94,
author = {Gerardo Canfora and
Giuseppe A. Di Lucca and
Maria Tortorella},
title = {Recovering object classes and inheritance relationships from existing
code},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {233--240},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/CanforaLT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Chang94,
author = {S. K. Chang},
title = {Visual Communications},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {1},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Chang94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChauC94,
author = {H. Lewis Chau and
K. Gary Chan},
title = {A visual logic specification of flexible manufacturing systems},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {438--445},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ChauC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CheathamFS94,
author = {Thomas E. Cheatham and
Amr F. Fahmy and
Dan C. Stefanescu},
title = {Supporting multiple evolving compilers},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {241--248},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/CheathamFS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChenU94,
author = {Yigang Chen and
Yutaka Usuda},
title = {Design and implementation of a knowledge based {BPA/BPR} tool: {EUOBFE}},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {446--453},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ChenU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChengBG94,
author = {Betty H. C. Cheng and
Robert H. Bourdeau and
Gerald C. Gannod},
title = {The object-oriented development of a distributed multimedia environmental
information system},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {70--77},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ChengBG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChiangWBN94,
author = {Steve C. Y. Chiang and
Jason Tsong{-}Li Wang and
Michael P. Bieber and
Peter A. Ng},
title = {DocFlow: an event-driven visual programming environment for office
automation through document processing},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {454--461},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ChiangWBN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CookeDGK94,
author = {Daniel E. Cooke and
Richard Duran and
Ann Q. Gates and
Vladik Kreinovich},
title = {Bag languages, concurrency, Horn logic programs, and linear logic},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {289--297},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Thu, 01 Mar 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/CookeDGK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Dunin-KepliczJLM94,
author = {Barbara Dunin{-}Keplicz and
Janusz Jablonowski and
Witold Lukaszewicz and
Ewa Madalinska{-}Bugaj},
title = {CAProDel: a system for computer aided program development},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {470--477},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Dunin-KepliczJLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DuranteSV94,
author = {Luca Durante and
Riccardo Sisto and
Adriano Valenzano},
title = {A {LOTOS} specification of the {SERCOS} field-bus protocol},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {139--147},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/DuranteSV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ElstHST94,
author = {John van den Elst and
Frank van Harmelen and
Guus Schreiber and
Monique Thonnat},
title = {A functional specification of reusing software components},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {374--381},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ElstHST94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FarrellRT94,
author = {Veronique Farrell and
Dave Riches and
Stewart Tansley},
title = {Giving {KBS} an OO! - object-oriented techniques and {KADS}},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {298--305},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/FarrellRT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/FigueiredoPC94,
author = {Jorge C. A. de Figueiredo and
Angelo Perkusich and
Shi{-}Kuo Chang},
title = {Timing analysis of real-time software systems using fuzzy time Petri
nets},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {257--266},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Mon, 01 Sep 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/FigueiredoPC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GirardiI94,
author = {M. R. Girardi and
Bertrand Ibrahim},
title = {A similarity measure for retrieving software artifacts},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {478--485},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/GirardiI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GuoSRD94,
author = {Sha Guo and
Wei Sun and
Naphtali Rishe and
Yi Deng},
title = {Semantic query optimization by class reference reduction in object-
oriented databases},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {306--313},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/GuoSRD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HauslerL94,
author = {Philip A. Hausler and
Richard C. Linger},
title = {From software craft to software engineering: the Cleanroom method},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {172--179},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/HauslerL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Holm94,
author = {Peter Holm},
title = {The {COMMODIOUS} method - COMmunication MODelling as an aid to Illustrate
the Organisational Use of Software},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {10--19},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Holm94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Hurley94,
author = {W. David Hurley},
title = {Deducing structure in systems with separable user interfaces},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {193--200},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Hurley94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/JablonowskiM94,
author = {Janusz Jablonowski and
Ewa Madalinska{-}Bugaj},
title = {Procedure handling in computer aided program development},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {486--492},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/JablonowskiM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/JacksonLP94,
author = {Ken Jackson and
Albert Llamosi and
Ram{\'{o}}n Puigjaner},
title = {Towards automatic building of performance models: Formal specification
of performance constraints},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {148--155},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/JacksonLP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/JarzabekL94,
author = {Stan Jarzabek and
Wie Ming Lim},
title = {Modeling in strategic reengineering},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {249--256},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/JarzabekL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Kalnins94,
author = {Audris Kalnins},
title = {Extensions of {GRAPES/4GL} for Windows style input/output},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {201--208},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Kalnins94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KirikovaB94,
author = {Marite Kirikova and
Janis A. Bubenko Jr.},
title = {Software requirements acquisition through enterprise modelling},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {20--27},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/KirikovaB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KoskinenPS94,
author = {Jussi Koskinen and
Jukka Paakki and
Airi Salminen},
title = {Program text as hypertext: using program dependences for transient
linking},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {209--216},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/KoskinenPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Kramer94,
author = {Bernd J. Kr{\"{a}}mer},
title = {Rule-enhanced Petri nets for software process modeling},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {493--500},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Tue, 23 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/Kramer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/KrogstieS94,
author = {John Krogstie and
Guttorm Sindre},
title = {Extending a temporal rule language with deontic operators},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {314--321},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/KrogstieS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Landes94,
author = {Dieter Landes},
title = {DesignKARL - {A} language for the design of knowledge-based systems},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {78--85},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Landes94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LuciaCTT94,
author = {Andrea De Lucia and
C. Di Cristo and
Genny Tortora and
Maurizio Tucci},
title = {Program parallelization in {WSDW}},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {462--469},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/LuciaCTT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LuqiG94,
author = {Luqi and
Joseph A. Goguen},
title = {Suggestions for progress in software analysis, synthesis and certification},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {501--507},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/LuqiG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Meskens94,
author = {Nadine Meskens},
title = {A knowledge-based system for software quality analysis},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {180--187},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Meskens94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/MiyakawaY94,
author = {Shin Miyakawa and
Naoki Yonezaki},
title = {Temporal logic extended with object creation and destruction},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {156--163},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/MiyakawaY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/PachetP94,
author = {Fran{\c{c}}ois Pachet and
Jean{-}Fran{\c{c}}ois Perrot},
title = {Rule firing with metarules},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {322--329},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/PachetP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ParkP94,
author = {Sooyong Park and
James D. Palmer},
title = {Automated support to system modeling from informal software requirements},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {86--93},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ParkP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Pliuskeviciene94,
author = {Aida Pliuskeviciene},
title = {Specialization of derivations in Hoare-like logic with recursive procedures},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {124--130},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Pliuskeviciene94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Pliuskevicius94,
author = {Regimantas Pliuskevicius},
title = {Saturated deductive systems for temporal specifications},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {267--273},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Pliuskevicius94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/PranevitchiusP94,
author = {Henrikas Pranevitchius and
Vytautas Pilkauskas},
title = {Tools for validation and simulation of Estelle/Ag specifications},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {94--99},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/PranevitchiusP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Ramachandran94,
author = {M. Ramachandran},
title = {Knowledge based support for reuse},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {382--386},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Ramachandran94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ReinfeldsK94,
author = {Juris Reinfelds and
Karlis Kaugars},
title = {Visualization and transformation of {SGML} knowledge representation
structures},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {330--335},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ReinfeldsK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ReynoldsZ94,
author = {Robert G. Reynolds and
Elena Zannoni},
title = {Learning to understand software from examples using cultural algorithms},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {188--192},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ReynoldsZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/RisheS94,
author = {Naphtali Rishe and
Wei Sun},
title = {A pipeline {CASE} tool for database design},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {336--343},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Mon, 12 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/RisheS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Rolland94,
author = {Colette Rolland},
title = {A contextual approach for the requirements engineering process},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {28--35},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Rolland94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Sakalauskaite94,
author = {Jurate Sakalauskaite},
title = {A complete sequent calculus for a first order branching temporal logic},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {274--280},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Sakalauskaite94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SheuY94,
author = {Phillip C.{-}Y. Sheu and
Song Bong Yoo},
title = {A deductive program transformation system},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {524--531},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/SheuY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ShiHB94,
author = {ShengLi Shi and
M. Elizabeth C. Hull and
David A. Bell},
title = {Belief: updating vs. combining},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {344--351},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ShiHB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SpanoudakisC94,
author = {George Spanoudakis and
Panos Constantopoulos},
title = {Measuring similarity between software artifacts},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {387--394},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/SpanoudakisC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SuzukiT94,
author = {Hideaki Suzuki and
Naohisa Takahashi},
title = {Associative program retrieval using partially-ordered behavioral abstractions
of a program},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {395--404},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/SuzukiT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Tovar94,
author = {Edmundo Tovar},
title = {Applicability of McCabe's complexity metric to knowledge engineering
products},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {508--515},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Tovar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/VanthienenW94,
author = {Jan Vanthienen and
Geert Wets},
title = {Managing decision table knowledge in a relational database environment},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {352--357},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/VanthienenW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Verkamo94,
author = {A. Inkeri Verkamo},
title = {Cooperation of {KBS} development environments and {CASE} environments},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {358--365},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Verkamo94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/VestliNS94,
author = {Mette Vestli and
Inge Nordb{\o} and
Arne S{\o}lvberg},
title = {Developing well-structured knowledge-based systems},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {366--373},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/VestliNS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WillisP94,
author = {Claire P. Willis and
Derek J. Paddon},
title = {Specification reuse for safety-critical software},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {516--523},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/WillisP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZajicekB94,
author = {Mary Zajicek and
Ken W. Brownsley},
title = {Investigating formal specification of graphical interface design for
an interactive constraint based resource allocation system},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {217--224},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Fri, 23 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZajicekB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhuHM94,
author = {Hong Zhu and
Patrick A. V. Hall and
John H. R. May},
title = {Knowledge engineering helps testing protection software},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {116--123},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Thu, 30 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/ZhuHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seke/1994,
title = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Mon, 05 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 11:46 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
