Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/iclp/iclp94-w7.bht:"
@inproceedings{DBLP:conf/iclp/Ciancarini94, author = {Paolo Ciancarini}, editor = {Paolo Ciancarini and Leon Sterling}, title = {Applications of Logic Programming in Software Process Modeling}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Ciancarini94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CiapessoniCMR94, author = {Emanuele Ciapessoni and Edoardo Corsetti and Manlio Migliorati and Elena Ratto}, editor = {Paolo Ciancarini and Leon Sterling}, title = {Specifying industrial real-time systems in a logical framework}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/CiapessoniCMR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/FromherzF94, author = {Markus P. J. Fromherz and Norbert E. Fuchs}, editor = {Paolo Ciancarini and Leon Sterling}, title = {Transformational Development of Logic Programs from Executable Specifications}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/FromherzF94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Junkermann94, author = {Gerald Junkermann}, editor = {Paolo Ciancarini and Leon Sterling}, title = {A Prolog based Semantics of a Dedicated Process Modeling Language}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Junkermann94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KluzniakM94, author = {Feliks Kluzniak and Miroslawa Milkowska}, editor = {Paolo Ciancarini and Leon Sterling}, title = {Executable requirements Specifications in a Logic Specification Language {SPILL-2}}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KluzniakM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/LagoM94, author = {Patricia Lago and G. Malnati}, editor = {Paolo Ciancarini and Leon Sterling}, title = {Pandora: a Temporal Logic Based Process Engine}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/LagoM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/NguyenC94, author = {Minh Ngoc Nguyen and Reidar Conradi}, editor = {Paolo Ciancarini and Leon Sterling}, title = {{SPELL:} {A} Logic Programming Language for Process Modelling}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Sun, 12 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/NguyenC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/RenaultD94a, author = {Sophie Renault and Pierre Deransart}, editor = {Paolo Ciancarini and Leon Sterling}, title = {Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/RenaultD94a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Sterling94, author = {Leon Sterling}, editor = {Paolo Ciancarini and Leon Sterling}, title = {Z Specifications: Syntactic Sugar for Prolog}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Sterling94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/TogashiMS94, author = {Atsushi Togashi and Glenn Mansfield and Norio Shiratori}, editor = {Paolo Ciancarini and Leon Sterling}, title = {An Intelligent {LOTOS} interpreter in {AMLOG}}, booktitle = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/TogashiMS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iclp/1994w7, editor = {Paolo Ciancarini and Leon Sterling}, title = {{ICLP} 1994 Workshop {W7:} Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/1994w7.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.