ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Paolo Ciancarini, Leon Sterling, editors, ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994. 1994.

Conference: ICLP1994

Abstract is missing.

Z Specifications: Syntactic Sugar for PrologLeon Sterling.

An Intelligent LOTOS interpreter in AMLOGAtsushi Togashi, Glenn Mansfield, Norio Shiratori.

Applications of Logic Programming in Software Process ModelingPaolo Ciancarini.

Transformational Development of Logic Programs from Executable SpecificationsMarkus P. J. Fromherz, Norbert E. Fuchs.

A Prolog based Semantics of a Dedicated Process Modeling LanguageGerald Junkermann.

Executable requirements Specifications in a Logic Specification Language SPILL-2Feliks Kluzniak, Miroslawa Milkowska.

Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good CommentsSophie Renault, Pierre Deransart.

Specifying industrial real-time systems in a logical frameworkEmanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto.

Pandora: a Temporal Logic Based Process EnginePatricia Lago, G. Malnati.

SPELL: A Logic Programming Language for Process ModellingMinh Ngoc Nguyen, Reidar Conradi.

runs on WebDSL